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.











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)