Primitive varieties of algebras
From MaRDI portal
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.
Recommendations
Cited in
(10)- Reflection-closed varieties of multisorted algebras and minor identities
- scientific article; zbMATH DE number 4053010 (Why is no real title available?)
- On matrix types of prime varieties of associative algebras.
- scientific article; zbMATH DE number 1107756 (Why is no real title available?)
- scientific article; zbMATH DE number 750695 (Why is no real title available?)
- scientific article; zbMATH DE number 7161245 (Why is no real title available?)
- Prime and primitive Kumjian–Pask algebras
- Primitive lattice varieties
- Demi-primal algebras
- Primitive localizations of an enveloping algebra
This page was built for publication: Primitive varieties of algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966121)