G. Birkhoff's theorems for \(M\)-solid varieties (Q1966156)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | G. Birkhoff's theorems for \(M\)-solid varieties |
scientific article |
Statements
G. Birkhoff's theorems for \(M\)-solid varieties (English)
0 references
27 February 2000
0 references
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.
0 references
hypersubstitution
0 references
\(M\)-solid algebra
0 references
rules of derivation
0 references
\(M\)-hypervariety
0 references