Source author record

B. M. Vernikov

B. M. Vernikov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2019arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2015arXiv

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.