scholarly journals Canonical Varieties of Completely Regular Semigroups

2007 ◽  
Vol 83 (1) ◽  
pp. 87-104 ◽  
Author(s):  
Mario Petrich

AbstractCompletely regular semigroups CR are regarded here as algebras with multiplication and the unary operation of inversion. Their lattice of varieties is denoted by L(CR). Let B denote the variety of bands and L(B) the lattice of its subvarieties. The mapping V → V ∩ B is a complete homomorphism of L(CR) onto L(B). The congruence induced by it has classes that are intervals, say VB = [VB, VB] for V ∈ L(CR). Here VB = V ∩ B. We characterize VB in several ways, the principal one being an inductive way of constructing bases for v-irreducible band varieties. We term the latter canonical. We perform a similar analysis for the intersection of these varieties with the varieties BG, OBG and B.

1990 ◽  
Vol 32 (2) ◽  
pp. 137-152 ◽  
Author(s):  
Mario Petrich ◽  
Norman R. Reilly

A semigroup endowed with a unary operation satisfying the identitiesis a completely regular semigroup. In several recent papers devoted to the study of the lattice of subvarieties of the variety of completely regular semigroups, various results have been obtained which decompose special intervals in into either direct products or subdirect products. Petrich [14], Hall and Jones [6] and Rasin [20] have shown that certain intervals of the form , where is the trivial variety and are subdirect products of and Pastijn and Trotter [13] show that certain intervals of the form are direct products of the intervals and The main objective of this paper is to develop an appropriate lattice theoretic framework for these representations.


Author(s):  
P. R. Jones

AbstractSeveral morphisms of this lattice V(CR) are found, leading to decompostions of it, and various sublattices, into subdirect products of interval sublattices. For example the map V → V ∪ G (where G is the variety of groups) is shown to be a retraction of V(CR); from modularity of the lattice V(BG) of varieties of bands of groups it follows that the map V → (V ∪ V V G) is an isomorphism of V(BG).


Author(s):  
Mario Petrich ◽  
Norman R. Reilly

AbstractThe class CR of completely regular semigroups (unions of groups or algebras with the associative binary operation of multiplication and the unary operation of inversion subject to the laws x = xx-1, (x−1)-1 = x and xx-1 = x-1x) is a variety. Among the important subclasses of CR are the classes M of monoids and I of idempotent generated members. For each C ∈ {I, M}, there are associated mappings ν → ν ∩ C and ν → (Ν ∩ C), the variety generated by ν ∩ C. The lattice theoretic properties of these mappings and the interactions between these mappings are studied.


2019 ◽  
Vol 69 (3) ◽  
pp. 541-556
Author(s):  
Mario Petrich

Abstract The class 𝒞ℛ of completely regular semigroups considered with the unary operation of inversion within maximal subgroups forms a variety. The B-relation on the lattice ℒ(𝒞ℛ) of subvarieties of 𝒞ℛ identifies two varieties if they contain the same bands. Its classes are intervals with the set Δ of upper ends of these intervals. Canonical varieties form part of Δ. Previously we determined the sublattice Ψ of ℒ(𝒞ℛ) generated by the variety 𝒞𝒮 of completely simple semigroups and six canonical varieties. The conjecture is that the sublattice of ℒ(𝒞ℛ) generated by 𝒞𝒮 and canonical varieties follows the pattern of the structure of Ψ.


2018 ◽  
Vol 55 (1) ◽  
pp. 1-22 ◽  
Author(s):  
Mario Petrich

The class CR of completely regular semigroups considered as algebras with binary multiplication and unary operation of inversion forms a variety. Kernel, trace, local and core relations, denoted by K, T, L and C, respectively, are quite useful in studying the structure of the lattice L(CR) of subvarieties of CR. They are equivalence relations whose classes are intervals. Their ends are used for defining operators on L(CR). Starting with a few band varieties, we repeatedly apply operators induced by upper ends of classes of these relations and characterize corresponding classes up to certain variety low in the lattice L(CR). We consider only varieties whose origin are “central” band varieties, that is those in the middle column of the lattice L(B) of band varieties. Several diagrams represent the (semi)lattices studied.


Sign in / Sign up

Export Citation Format

Share Document