Remarks on NQ-Critical Commutative Unary Algebras

Let (M) denote the lattice of all subquasivarieties of the quasivariety M under inclusion. There is a strong correlation between the properties of the lattice (M) and algebraic systems from M. A. I. Maltsev first drew attention to this fact in a report at the International Congress of Mathematicians in 1966 in Moscow.In this paper, we obtain a characterization of the class of all distributive lattices, each of which is isomorphic to the lattice of some quasivariety of unars. A unar is an algebra with one unary operation. Obviously, any unar can be considered as an automaton with one input signal without output signals, or as an act over a cyclic semigroup.We construct partially ordered sets ∞ and ( ∈ N 0 ), where N 0 is the set of all nonnegative integers. It is proved that a distributive lattice is isomorphic to the lattice (M) for some quasivariety of unars M if and only if it is isomorphic to some principal ideal of one of the lattices ( )( ∈ N 0 ) or ( ∞ ), where ( )( ∈ N 0 ) is the ideal lattice of the poset ( ∈ N 0 ) and ( ∞ ) is the ideal lattice with a distinguished element of the poset ∞ . The proof of the main theorem is based on the description of Q-critical unars. A finitely generated algebra is called Q-critical if it does not decompose into a subdirect product of its proper subalgebras. It was previously shown that each quasivariety of unars is determined by its Q-critical unars. This fact is often used to investigate quasivarieties of unars.

show abstract

Section: заключениеunclassified

Сharacterization of distributive lattices of quasivarieties of unars

Kartashov

Kartashova

2021

Chebyshevskii Sbornik

View full text Add to dashboard Cite

show abstract

Remarks on NQ-Critical Commutative Unary Algebras

Cited by 1 publication

References 8 publications

Сharacterization of distributive lattices of quasivarieties of unars

Сharacterization of distributive lattices of quasivarieties of unars

Contact Info

Product

Resources

About