×

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
Full Text: DOI