Congruence Networks on Regular Semigroups Associated with π±-Relation
Ying-Ying Feng, Limin Wang Β· Communications in Algebra Β· 2010
In this article, the congruence lattice on a regular semigroup is studied through π―π±-networks. Let S be a regular semigroup and π(S) the congruence lattice of S. The π¦ [π―]-relation identifies 2 congruences on S if they have the same kernel [trace]. For Ο, ΞΈ β π(S), , . For every Ο β π(S) there exist a greatest congruence ΟT (respectively, ΟK, ΟU, and ΟV) and a smallest congruence Οt (respectively, Οk, Οu, and Οv) on S in the same π― (respectively, π¦, π°, and π±)-class as Ο. It is shown that the π―-class with ΟT a rectangular band congruence consists exactly of completely simple congruences. We go 1 step further and find that the π―π±-min network and the π―π±-network of the universal relation Ο are finite. A corresponding analysis for the equality relation Ο΅ and a similar study for the least semilattice congruence Ξ· are also performed. Finally, we investigate the sublattice L Ο of π(S) generated by the congruences Οw where w β {V, v, T, t}* and w has no subword of the form VT, TV, vt, and tv. The least lattice L whose homomorphic image is L Ο for all Ο β π(S) is found explicitly and represented as a distributive lattice in terms of generators and relations.