G. Birkhoff's theorems for \(M\)-solid varieties (Q1966156)

Let \(M\) be a submonoid of hypersubstitutions of type \(\tau \). For an algebra \(A=(A,(f_i\); \(i\in I))\) of type \(\tau \) and for \(\delta \in M\), an algebra \((A,(\delta (f_i)\); \(i\in I))\) is called an \(M\)-derived algebra of \(A\). Further, \(D_M\) denotes the operator of taking \(M\)-derived algebras. An \(M\)-hypervariety of type \(\tau \) is a nonempty class of algebras of type \(\tau \) which is closed under \(H, S, P\) and \(D_M\). Main result: A class \(K\) of algebras of the same type is an \(M\)-hypervariety iff the set of all identities valid in \(K\) is closed under Birkhoff's rules of derivation and under \(M\)-hypersubstitutions.