Non-deterministic linear hypersubstitutions. (English) Zbl 1463.08008
Summary: A non-deterministic hypersubstitution maps operation symbols to sets of terms of the corresponding arity. A non-deterministic hypersubstitution of type \(\tau\) is said to be linear if it maps any operation symbol to a set of linear terms of the corresponding arity. We show that the extension of non-deterministic linear hypersubstitutions of type \(\tau\) map sets of linear terms to sets of linear terms. As a consequence, the collection of all non-deterministic linear hypersubstitutions forms a monoid. Non-deterministic linear hypersubstitutions can be applied to identities and to algebras of type \(\tau\).
MSC:
08A40 | Operations and polynomials in algebraic structures, primal algebras |
08B15 | Lattices of varieties |
08B25 | Products, amalgamated products, and other kinds of limits and colimits |