Primitive varieties of algebras (Q1966121)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Primitive varieties of algebras |
scientific article |
Statements
Primitive varieties of algebras (English)
0 references
27 February 2000
0 references
Let \(\Omega \) be a set of finitary functional symbols and \(f,g \in \Omega \). Then \(f(x_1,\ldots ,x_n)=g(x_1,\ldots ,x_m)\) is called a primitive identity. A set \(\Sigma \) of primitive identities is closed if \(\Sigma \models \Sigma '\) implies \(\Sigma ' \subseteq \Sigma \). A variety \(V\) is primitive if it is defined by a set of primitive identities. The main results are descriptions of closed sets of primitive identities and of free objects of primitive varieties.
0 references
free algebra
0 references
primitive variety
0 references
primitive identity
0 references