Lower-Modular Elements of the Lattice of Semigroup Varieties

We call a semigroup variety modular [upper-modular, lower-modular, neutral] if it is a modular [respectively upper-modular, lower-modular, neutral] element of the lattice of all semigroup varieties. It is proved that if V is a lower-modular variety then either V coincides with the variety of all semigroups or V is periodic and the greatest nil-subvariety of V may be given by 0-reduced identities only. We completely determine all commutative lower-modular varieties. In particular, it turns out that a commutative variety is lower-modular if and only if it is neutral. A number of corollaries of these results are obtained.     

Distributive and neutral elements of the lattice of commutative semigroup varieties

We completely describe commutative semigroup varieties that are distributive, standard, or neutral elements of the lattice of all commutative semigroup varieties. In particular, we prove that the properties of being a distributive element and of being a standard element in this lattice are equivalent.     

Semigroups with Boolean congruence lattices

A construction of all globally idempotent semigroups with Boolean (complemented modular, relatively complemented, sectionally complemented, respectively) congruence lattice is given. Furthermore, it is shown that an arbitrary semigroup has Boolean (...) congruence lattice if and only if it is a special kind of inflation of a semigroup of the foregoing type. As applications, all commutative, finite, and completely semisimple semigroups, respectively, with Boolean (...) congruence lattice are completely determined.     

Varieties of Structurally Trivial Semigroups II

Abstract. Melnik [5] determined completely the lattice of all 2-nilpotent extensions of rectangular band varieties; and Koselev [4] determined a distributive sublattice formed by certain varieties of n-nilpotent extensions of left zero bands. In [2] the author described the skeleton of the lattice of all 3-nilpotent extensions of rectangular bands. We generalize these results by proving that a certain family of semigroup varieties which includes all the varieties mentioned above, and referred to here as planar varieties, consisting of certain n-nilpotent extensions of rectangular bands forms a distributive sublattice that looks somewhat like an inverted pyramid. Our proof makes use of a countably infinite family of injective endomorphisms on the lattice of all semigroup varieties that was introduced by the author in [1]. Although we do not determine completely the lattice of all n-nilpotent extensions of rectangular band varieties, our result unifies certain previously known results and provides a framework for further research.     

Varieties of structurally trivial semigroups II

Melnik [5] determined completely the lattice of all 2-nilpotent extensions of rectangular band varieties; and Koselev [4] determined a distributive sublattice formed by certain varieties of n-nilpotent extensions of left zero bands. In [2] the author described the skeleton of the lattice of all 3-nilpotent extensions of rectangular bands. We generalize these results by proving that a certain family of semigroup varieties which includes all the varieties mentioned above, and referred to here as planar varieties, consisting of certain n-nilpotent extensions of rectangular bands forms a distributive sublattice that looks somewhat like an inverted pyramid. Our proof makes use of a countably infinite family of injective endomorphisms on the lattice of all semigroup varieties that was introduced by the author in [1]. Although we do not determine completely the lattice of all n-nilpotent extensions of rectangular band varieties, our result unifies certain previously known results and provides a framework for further research.     

Shades of orthodoxy in Rees-Sushkevich varieties

It is shown that, within the class of Rees-Sushkevich varieties that are generated by completely (0-) simple semigroups over groups of exponent dividing n, there is a hierarchy of varieties determined by the lengths of the products of idempotents that will, if they fall into a group ℋ-class, be idempotent. Moreover, the lattice of varieties generated by completely (0-) simple semigroups over groups of exponent dividing n, with the property that all products of idempotents that fall into group ℋ-classes are idempotent, is shown to be isomorphic to the direct product of the lattice of varieties of groups with exponent dividing n and the lattice of exact subvarieties of a variety generated by a certain five element completely 0-simple semigroup.     

Power Centralized Semigroups

A semigroup is said to be power centralized if for every pair of elements x and y there exists a power of x commuting with y. The structure of power centralized groups and semigroups is investigated. In particular, we characterize 0-simple power centralized semigroups and describe subdirectly irreducible power centralized semigroups. Connections between periodic semigroups with central idempotents and periodic power commutative semigroups are discussed.     

Upper-modular elements of the lattice of semigroup varieties. II

A semigroup variety is called a variety of degree ≤2 if all its nilsemigroups are semigroups with zero multiplication, and a variety of degree >2 otherwise. We completely determine all semigroup varieties of degree >2 that are upper-modular elements of the lattice of all semigroup varieties and find quite a strong necessary condition for semigroup varieties of degree ≤2 to have the same property.     

Cryptic Semigroup Varieties

We describe all minimal noncryptic periodic semigroup [monoid] varieties. We prove that there are exactly three distinct maximal cryptic semigroup [monoid] varieties contained in the variety determined by xⁿ ≈ x ^n+m, n ≥ 2, m ≥ 2. Analogous results are obtained for pseudovarieties: there are exactly three maximal cryptic pseudovarieties of semigroups [monoids]. It is shown that if a cryptic variety or pseudovariety of monoids contains a nonabelian group, then it consists of bands of groups only. Several characterizations are given of the cryptic overcommutative semigroup [monoid] varieties.     

Regular principal factors in free objects in Rees-Sushkevich varieties

In a previous paper, the author showed how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges. In the main theorem, it is shown how these fundamental semigroups can be used to describe the regular principal factors of the free objects in certain Rees-Sushkevich varieties, namely, the varieties of semigroups that are generated by all completely 0-simple semigroups over groups in a variety of finite exponent. This approach is then used to solve the word problem for each of these varieties for which the corresponding group variety has solvable word problem.     

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.     

Varieties of structurally trivial semigroups I

Some useful recursive relations involving certain varieties of structurally trivial semigroups are proved. Using these relations, the skeleton of the lattice of all varieties of 3-nilpotent extensions of rectangular bands is shown to look somewhat like an inverted pyramid. In a subsequent paper [4] these results are generalised further to the variety of all n-nilpotent extensions of rectangular bands.     

Modular and lower-modular elements of lattices of semigroup varieties

The paper contains three main results. First, we show that if a commutative semigroup variety is a modular element of the lattice Com of all commutative semigroup varieties then it is either the variety $\mathcal{COM}$ of all commutative semigroups or a nilvariety or the join of a nilvariety with the variety of semilattices. Second, we prove that if a commutative nilvariety is a modular element of Com then it may be given within $\mathcal{COM}$ by 0-reduced and substitutive identities only. Third, we completely classify all lower-modular elements of Com. As a corollary, we prove that an element of Com is modular whenever it is lower-modular. All these results are precise analogues of results concerning modular and lower-modular elements of the lattice of all semigroup varieties obtained earlier by Je?ek, McKenzie, Vernikov, and the author. As an application of a technique developed in this paper, we provide new proofs of the ??prototypes?? of the first and the third our results.     

Complete Congruences on the Lattice of Rees–Sushkevich Varieties

We study the lattice ?(RS_n) of subvarieties of the variety of semigroups generated by completely 0-simple semigroups over groups with exponent dividing n, with a particular focus on the lattice ??(RS_n) consisting of those varieties that are generated by completely 0-simple semigroups. The sublattice of ??(RS_n) consisting of the aperiodic varieties is described and several endomorphisms of ?(RS_n) considered. The complete congruence on ??(RS_n) that relates varieties containing the same aperiodic completely 0-simple semigroups is considered in some detail.     

Cancellable Elements of the Lattice of Epigroup Varieties

We completely describe all commutative epigroup varieties that are cancellable elements of the lattice EPI of all epigroup varieties. In particular, we prove that a commutative epigroup variety is a cancellable element of the lattice EPI if and only if it is a modular element of this lattice.     

On the Lattice of Overcommutative Varieties of Monoids

We study the lattice of varieties of monoids, i.e., algebras with two operations, namely, an associative binary operation and a 0-ary operation that fixes the neutral element. It was unknown so far, whether this lattice satisfies some non-trivial identity. The objective of this paper is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic image of some sublattice of the lattice of overcommutative varieties of monoids (i.e., varieties that contain the variety of all commutative monoids). This implies that the lattice of overcommutative varieties of monoids, and therefore, the lattice of all varieties of monoids does not satisfy any non-trivial identity.     

Completely regular semigroups in the variety generated by the bicyclic semigroup

We shall show that a completely regular semigroup is in the semigroup variety generated by the bicyclic semigroup if and only if it is an orthogroup whose maximal subgroups are abelian. Therefore the lattice of subvarieties of the variety generated by the bicyclic semigroup contains as a sublattice a countably infinite distributive lattice of semigroup varieties, each of which consists of orthogroups with maximal subgroups that are torsion abelian groups. In particular, every band divides a power of the bicyclic semigroup.Presented by B. M. Schein.