Varieties whose countable embeddability skeletons are semilattices
For a class of algebras \(\mathcal K\), let \({\mathcal I}{\mathcal K}_{\aleph_ 0}\) denote the class of isomorphism types of finite or countable algebras from \(\mathcal K\). For \(a,b\in {\mathcal I}{\mathcal K}_{\aleph_ 0}\) being the isomorphism types of the algebras \(A,B\in {\mathcal K}\) respectively, let be \(a\leq b\) whenever \(A\) is isomorphic to a subalgebra of \(B\) and \(a\equiv b\) whenever \(a\leq b\) and \(b\leq a\). The quasiordered set \(\langle {\mathcal I}{\mathcal K}_{\aleph_ 0},\leq\rangle\) is called the countable embeddability skeleton of the class \(\mathcal K\). The author proves that, for a locally finite discriminator variety \(\mathcal M\) of a finite type, the ordered set \(\langle{\mathcal I}{\mathcal M}_{\aleph_ 0}/\equiv,\leq\rangle\) is an upper semilattice only if a) every simple algebra \(A\in {\mathcal M}\) is quasiprimal, b) every proper subalgebra in \(A\) is one-element, and c) for any two one-element subalgebras of \(A\), there exists an automorphism of \(A\) which maps one of these subalgebras to the other. The same conditions are necessary for \(\langle {\mathcal I}{\mathcal M}_{\aleph_ 0}/\equiv, \leq\rangle\) to be a lower semilattice, but, besides that, d) every simple algebra \(A\in {\mathcal M}\) has a one-element subalgebra. Conversely, if a discriminatory variety \(\mathcal M\) of a finite type is generated by a finite set of algebras satisfying a)--c) [resp. a)--d)] then the ordered set \(\langle{\mathcal I}{\mathcal K}_{\aleph_ 0}/\equiv, \leq\rangle\) is an upper [a lower] semilattice and has rather a transparent structure. Reviewer's remark: The same problem was studied for non-locally finite discriminator varieties by \textit{A. G. Pinus} in the paper reviewed below.
- Relations of imbeddability and epimorphism on congruence-distributive varieties
- Countable skeletons of finitely generated discriminator varieties
- Embeddability skeletons of non-locally finite discriminator varieties with a poor algebra
- On lattices in skeletons of embeddability of varieties
- Letter to the editors: ``On skeletons of embeddability of nonlocally finite discriminator varieties with a poor algebra
- An elementary theory of imbeddability skeleta of discriminator varieties
- scientific article; zbMATH DE number 4154515 (Why is no real title available?)
- scientific article; zbMATH DE number 1047531 (Why is no real title available?)
- scientific article; zbMATH DE number 774082 (Why is no real title available?)
- Varieties with a simple countable embeddability skeleton
- Countable embeddability skeletons of discriminator varieties
- On the number of discriminator varieties incomparable in countable epimorphism skeletons
This page was built for publication: Varieties whose countable embeddability skeletons are semilattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346899)
