Let $T$ denote an algebraic theory. 



> 
> **Terminological Question.** Let $X$ denote a $T$-algebra. Is there a name for the preorder $\mid$ defined on $X$ by asserting that $a \mid b$ iff there is a term operation $f : X^n \times X \rightarrow X$ such that $f(\tilde{x},a)=b$ for some $\tilde{x} \in X^n$?
> 
> 
> 


Even if no such name exists, I am interested to read more about this relation. In particular, I'd like to know:



> 
> **Main Question.** For which algebraic theories $T$ does it hold that the $\mid$ preorder (as defined above) is antisymmetric on all free $T$-algebras?
> 
> 
> 


**Examples/counterexamples.**


* Let $T$ denote the theory of Abelian monoids. Then every free $T$-algebra has the property of interest.
* Let $T$ denote the theory of Abelian groups. Then no non-trivial $T$-algebra has the property of interest.


[Here](https://math.stackexchange.com/questions/865476/what-do-we-call-those-functions-that-can-be-obtained-from-term-operations-by-par) is a related terminological question I asked the other day.



Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?
Here is an idea to construct examples generalizing those above. It certainly works for varieties of algebras with a binary operation and should work more generally. 


I prefer to give an answer using the old-fashioned language of universal algebra. Suppose we have some signature $\Omega$. Infinitely many operations are ok but let me assume they are all finitary to be safe. 


The free algebra of type $\Omega$ on a set $X$ is built up inductively by starting with variables and applying formally operations in $\Omega$. We can represent elements as strings in the obvious way. Let us define the length of an expression as the total number of symbols appearing in the term including all parentheses. 


Now let $\mathcal V$ be a variety of algebras of type $\Omega$ defined by identities in which each side has the same length and the variables appearing on each side are the same with multiplicities. Then the preorder is an order for the free objects because equivalent terms in $\mathcal V$ will have the same length and so length is well defined on the free objects and gives an obstruction to what you want. There are some details to check. 


For example commutative monoids are defined by identities $ab=ba$ and $(xy)z=x(yz)$ satisfy the above conditions. 


