The order of normalform hypersubstitutions of type (2)
Klaus Denecke, Kazem Mahdavi (2000)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
In [2] it was proved that all hypersubstitutions of type τ = (2) which are not idempotent and are different from the hypersubstitution whichmaps the binary operation symbol f to the binary term f(y,x) haveinfinite order. In this paper we consider the order of hypersubstitutionswithin given varieties of semigroups. For the theory of hypersubstitution see [3].