The order of generalized hypersubstitutions of type .
The monoid of generalized hypersubstitutions of type τ = (n)
A (usual) hypersubstitution of type τ is a function which takes each operation symbol of the type to a term of the type, of the same arity. The set of all hypersubstitutions of a fixed type τ forms a monoid under composition, and semigroup properties of this monoid have been studied by a number of authors. In particular, idempotent and regular elements, and the Green’s relations, have been studied for type (n) by S.L. Wismath. A generalized hypersubstitution of type τ=(n) is a mapping σ which takes...
Page 1