Congruences on strong semilattices of regular simple semigroups.
On the lattice of varieties of completely regular semigroups considered as algebras with the binary multiplication and unary inversion within maximal subgroups, we study the relations , , , , , , and . Here is the kernel relation, is the trace relation, and are the left and the right trace relations, respectively, for , is the core relation and is the local relation. We give an alternative definition for each of these relations of the form for some subclasses of ....
Relations introduced by Conrad, Drazin, Hartwig, Mitsch and Nambooripad are discussed on general, regular, completely semisimple and completely regular semigroups. Special properties of these relations as well as possible coincidence of some of them are investigated in some detail. The properties considered are mainly those of being a partial order or compatibility with multiplication. Coincidences of some of these relations are studied mainly on regular and completely regular semigroups.
An inverse semigroup is pure if , , implies ; it is cryptic if Green’s relation on is a congruence; it is a Clifford semigroup if it is a semillatice of groups. We characterize the pure ones by the absence of certain subsemigroups and a homomorphism from a concrete semigroup, and determine minimal nonpure varieties. Next we characterize the cryptic ones in terms of their group elements and also by a homomorphism of a semigroup constructed in the paper. We also characterize groups and...
Let be a semigroup. For such that , we say that is an associate of . A subgroup of which contains exactly one associate of each element of is called an associate subgroup of . It induces a unary operation in an obvious way, and we speak of a unary semigroup satisfying three simple axioms. A normal cryptogroup is a completely regular semigroup whose -relation is a congruence and is a normal band. Using the representation of as a strong semilattice of Rees matrix semigroups,...
Completely regular semigroups equipped with the unary operation of inversion within their maximal subgroups form a variety, denoted by . The lattice of subvarieties of is denoted by . For each variety in an -subsemilattice of , we construct at least one basis of identities, and for some important varieties, several. We single out certain remarkable types of bases of general interest. As an application for the local relation , we construct -classes of all varieties in . Two figures illustrate...
Page 1 Next