The kernel-trace approach to right congruences on an inverse semigroup

Authors:
Mario Petrich and Stuart Rankin

Journal:
Trans. Amer. Math. Soc. **330** (1992), 917-932

MSC:
Primary 20M18

MathSciNet review:
1041051

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A kernel-trace description of right congruences on an inverse semigroup is developed. It is shown that the trace mapping is a complete homomorphism but not a -homomorphism. However, the trace classes are intervals in the complete lattice of right congruences. In contrast, each kernel class has a maximum element, namely the principal right congruence on the kernel, but in general there is no minimum element in a kernel class. The kernel mapping preserves neither intersections nor joins.

The set of axioms presented in [7] for right kernel systems is reviewed. A new set of axioms is obtained as a consequence of the fact that a right congruence is the intersection of the principal right congruences on the idempotent classes.

Finally, it is shown that even though a congruence on a regular semigroup is the intersection of the principal congruences on the idempotent classes, the situation is not the same for right congruences on a regular semigroup. Right congruences on a regular, even orthodox, semigroup are not, in general, determined by their idempotent classes.

**[1]**A. H. Clifford and G. B. Preston,*The algebraic theory of semigroups. Vol. II*, Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I., 1967. MR**0218472****[2]**Gérard Duchamp,*Étude du treillis des congruences à droite sur le monoïde bicyclique*, Semigroup Forum**33**(1986), no. 1, 31–46 (French). MR**834548**, 10.1007/BF02573180**[3]**J. B. Fountain and P. Lockley,*Semilattices of groups with distributive congruence lattice*, Semigroup Forum**14**(1977), no. 1, 81–91. MR**0437660****[4]**Marshall Hall Jr.,*The theory of groups*, The Macmillan Co., New York, N.Y., 1959. MR**0103215****[5]**P. R. Jones,*Semimodular inverse semigroups*, J. London Math. Soc. (2)**17**(1978), no. 3, 446–456. MR**500629**, 10.1112/jlms/s2-17.3.446**[6]**P. R. Jones,*Distributive inverse semigroups*, J. London Math. Soc. (2)**17**(1978), no. 3, 457–466. MR**500630**, 10.1112/jlms/s2-17.3.457**[7]**John Meakin,*One-sided congruences on inverse semigroups*, Trans. Amer. Math. Soc.**206**(1975), 67–82. MR**0369580**, 10.1090/S0002-9947-1975-0369580-9**[8]**William R. Nico,*A classification of indecomposable 𝑆-sets*, J. Algebra**54**(1978), no. 1, 260–272. MR**511464**, 10.1016/0021-8693(78)90029-7**[9]**Mario Petrich,*Inverse semigroups*, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1984. A Wiley-Interscience Publication. MR**752899****[10]**M. Petrich and S. A. Rankin,*Right congruences on a Brandt semigroup*, preprint.**[11]**-,*A classification of inverse semigroups whose full inverse subsemigroups form a chain*, preprint.**[12]**G. B. Preston,*Inverse semi-groups*, J. London Math. Soc.**29**(1954), 396–403. MR**0064036****[13]**H. E. Scheiblich,*Kernels of inverse semigroup homomorphisms*, J. Austral. Math. Soc.**18**(1974), 289–292. MR**0360887****[14]**V. V. Vagner,*The theory of generalized heaps and generalized groups*, Mat. Sbornik N.S.**32(74)**(1953), 545–632 (Russian). MR**0059267**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
20M18

Retrieve articles in all journals with MSC: 20M18

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1992-1041051-6

Keywords:
Right congruences,
inverse semigroup,
regular semigroup,
kernel,
trace,
right kernel system,
Clifford semigroup

Article copyright:
© Copyright 1992
American Mathematical Society