Searcharxiv⌕ Search

arXiv subjects

B. M. Vernikov

Publications and source records attributed to B. M. Vernikov.

11 recordsLinked to original sources
arXiv2021

Special elements in lattices of semigroup varieties

We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain its sublattices, mainly in the lattices of all commutative varieties and of all overcommutative ones. Several open questions are formulated. The work is regularly updated and modified as new results and/or articles appear.

math.GR↗
arXiv2019

The lattice of varieties of implication semigroups

In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such algebras are called implication zroupoids. They invesigated in a number of articles by the second author and J.M.Cornejo. In these articles several varieties of implication zroupoids satisfying the associative law appeared. Implication zroupoids satisfying the associative law are called implication semigroups. Here we completely describe the lattice of all varieties of implication semigroups. It turns out that this lattice is non-modular and consists of 16 elements.

math.GR↗
arXiv2016

Endomorphisms of the lattice of epigroup varieties

We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of injective endomorphisms of the lattice of all epigroup varieties. An epigroup variety is said to be a variety of finite degree if all its nilsemigroups are nilpotent. The second result of the article provides a characterization of epigroup varieties of finite degree in a language of identities and in terms of minimal forbidden subvarieties. Note that the first result is essentially used in the proof of the second one.

math.GR↗
arXiv2016

Special elements of the lattice of epigroup varieties

We study special elements of eight types (namely, neutral, standard, costandard, distributive, codistributive, modular, lower-modular and upper-modular elements) in the lattice EPI of all epigroup varieties. Neutral, standard, costandard, distributive and lower-modular elements are completely determined. A strong necessary condition and a sufficient condition for modular elements are found. Modular elements are completely classified within the class of commutative varieties, while codistributive and upper-modular elements are completely determined within the wider class of strongly permutative varieties. It is verified that an element of EPI is costandard if and only if it is neutral; is standard if and only if it is distributive; is modular whenever it is lower-modular; is neutral if and only if it is lower-modular and upper-modular simultaneously. We found also an application of results concerning neutral and lower-modular elements of EPI for studying of definable sets of epigroup varieties.

math.GR↗
arXiv2015

Upper-modular and related elements of the lattice of commutative semigroup varieties

We completely determine upper-modular, codistributive and costandard elements in the lattice of all commutative semigroup varieties. In particular, we prove that the properties of being upper-modular and codistributive elements in the mentioned lattice are equivalent. Moreover, in the nil-case the properties of being elements of all three types turn out to be equivalent.

math.GR↗
arXiv2009

Chains and anti-chains in the lattice of epigroup varieties

Let $\mathcal E_n$ be the variety of all epigroups of index $\le n$. We prove that, for an arbitrary natural number $n$, the interval $[\mathcal E_n, \mathcal E_{n+1}]$ of the lattice of epigroup varieties contains a chain isomorphic to the chain of real numbers with the usual order and an anti-chain of the cardinality continuum.

math.GR↗