THE IDEMPOTENTS IN A PERIODIC SEMIGROUP

1996 ◽  
Vol 06 (05) ◽  
pp. 511-540 ◽  
Author(s):  
FRANCIS PASTIJN

Let [Formula: see text] be the semigroup variety determined by the identity xm=xm+k. For [Formula: see text] we define operations on the set E(S) of idempotents of S and thus obtain the idempotent algebra of S. For any subvariety [Formula: see text] of [Formula: see text] the idempotent algebras of the members of [Formula: see text] form a variety [Formula: see text] and [Formula: see text] yields a complete homomorphism of the lattice [Formula: see text] of subvarieties of [Formula: see text] onto the lattice [Formula: see text] of subvarieties of [Formula: see text]. The lattice [Formula: see text] contains a ∩-semilattice isomorphic to the ∩-semilattice [Formula: see text] of group varieties of exponent dividing k for every m≥1. In particular, for appropriate k, the lattice of subvarieties of the variety of all idempotent algebras of the completely regular semigroups over groups that belong to [Formula: see text] is of the power of the continuum. For any [Formula: see text], ρ→ρ|E(S) yields a complete homomorphism of the congruence lattice of S into the lattice of equivalence relations on E(S).

1997 ◽  
Vol 40 (3) ◽  
pp. 457-472 ◽  
Author(s):  
Mario Petrich

Let S be a regular semigroup and be its congruence lattice. For ρ ∈ , we consider the sublattice Lρ of generated by the congruences pw where w ∈ {K, k, T, t}* and w has no subword of the form KT, TK, kt, tk. Here K, k, T, t are the operators on induced by the kernel and the trace relations on . We find explicitly the least lattice L whose homomorphic image is Lρ for all ρ ∈ and represent it as a distributive lattice in terms of generators and relations. We also consider special cases: bands of groups, E-unitary regular semigroups, completely simple semigroups, rectangular groups as well as varieties of completely regular semigroups.


Author(s):  
Norman R. Reilly

AbstractIf CS(respectively, O) denotes the class of all completely simple semigroups (respectively, semigroups that are orthodox unions of groups) then CS(respectively, O) is a variety of algebras with respect to the operations of multiplication and inversion. The main result shows that the lattice of subvarieties of is a precisely determined subdirect product of the lattice of subvarieties of CSand the lattice of subvarieties of O. A basis of identities is obtained for any variety in terms of bases of identities for . Several operators on the lattice of subvarieties of are also introduced and studied.


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.


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).


1998 ◽  
Vol 43 (5) ◽  
pp. 379-381
Author(s):  
Xueming Ren ◽  
Yuqi Guo ◽  
Jiaping Cen

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 12 (04) ◽  
pp. 1950058
Author(s):  
Nares Sawatraksa ◽  
Chaiwat Namnak ◽  
Ronnason Chinram

Let [Formula: see text] be the semigroup of all transformations on a set [Formula: see text]. For an arbitrary equivalence relation [Formula: see text] on [Formula: see text] and a cross-section [Formula: see text] of the partition [Formula: see text] induced by [Formula: see text], let [Formula: see text] [Formula: see text] Then [Formula: see text] and [Formula: see text] are subsemigroups of [Formula: see text]. In this paper, we characterize left regular, right regular and completely regular elements of [Formula: see text] and [Formula: see text]. We also investigate conditions for which of these semigroups to be left regular, right regular and completely regular semigroups.


2013 ◽  
Vol 94 (3) ◽  
pp. 397-416 ◽  
Author(s):  
MARIO PETRICH

AbstractWe consider several familiar varieties of completely regular semigroups such as groups and completely simple semigroups. For each of them, we characterize their members in terms of absence of certain kinds of subsemigroups, as well as absence of certain divisors, and in terms of a homomorphism of a concrete semigroup into the semigroup itself. For each of these varieties $ \mathcal{V} $ we determine minimal non-$ \mathcal{V} $ varieties, provide a basis for their identities, determine their join and give a basis for its identities. Most of this is complete; one of the items missing is a basis for identities for minimal nonlocal orthogroups. Three tables and a figure illustrate the results obtained.


Sign in / Sign up

Export Citation Format

Share Document