Refine
Has Fulltext
- no (106)
Year of publication
Document Type
- Article (94)
- Monograph/Edited Volume (11)
- Doctoral Thesis (1)
Is part of the Bibliography
- yes (106)
Keywords
- linear term (5)
- clone (4)
- linear hypersubstitution (4)
- partial clone (4)
- formula (2)
- linear formula (2)
- linear tree language (2)
- term (2)
- Menger algebra of rank n (1)
- Operation (1)
Institute
- Institut für Mathematik (106) (remove)
A hypersubstitution is a map which takes n-ary operation symbols to n-ary terms. Any such map can be uniquely extended to a map defined on the set W-tau(X) of all terms of type tau, and any two such extensions can be composed in a natural way. Thus, the set Hyp(tau) of all hypersubstitutions of type tau forms a monoid. In this paper, we characterize Green's relation R on the monoid Hyp(tau) for the type tau = (n, n). In this case, the monoid of all hypersubstitutions is isomorphic with the monoid of all Clone endomorphisms. The results can be applied to mutually derived varieties