The monoid of hypersubstitutions of type \((n)\) (Q1586844): Difference between revisions

A hypersubstitution of type \((n)\) is a map which takes the \(n\)-ary operation symbol to an \(n\)-ary term. It can be inductively extended to a map on the set of all terms of type \((n)\) and two such extensions can be composed in a natural way. Thus the set \(\text{Hyp}(n)\) of all hypersubstitutions of type \((n)\) forms a monoid. The author studies the semigroup properties of \(\text{Hyp}(n)\). In particular, she characterizes the projection, dual and idempotent hypersubstitutions and describes the classes of these elements under Green's relations.