|
Сharacterization of distributive lattices of quasivarieties of unars
V. K. Kartashov, A. V. Kartashova Volgograd State Social and
Pedagogical University (Volgograd)
Abstract:
Let Lq(M) denote the lattice of all subquasivarieties of the quasivariety M under inclusion. There is a strong correlation between the properties of the lattice Lq(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 P∞ and Ps(s∈N0), where N0 is the set of all non-negative integers. It is proved that a distributive lattice is isomorphic to the lattice Lq(M) for some quasivariety of unars M if and only if it is isomorphic to some principal ideal of one of the lattices O(Ps)(s∈N0) or Oc(P∞), where O(Ps)(s∈N0) is the ideal lattice of the poset Ps(s∈N0) and Oc(P∞) is the ideal lattice with a distinguished element c of the poset P∞.
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.
Keywords:
quasivariety, unars, distributive lattices.
Received: 12.12.2020 Accepted: 21.02.2021
Citation:
V. K. Kartashov, A. V. Kartashova, “Сharacterization of distributive lattices of quasivarieties of unars”, Chebyshevskii Sb., 22:1 (2021), 177–187
Linking options:
https://www.mathnet.ru/eng/cheb995 https://www.mathnet.ru/eng/cheb/v22/i1/p177
|
Statistics & downloads: |
Abstract page: | 149 | Full-text PDF : | 35 | References: | 28 |
|