Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



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

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 $ \cap $homomorphism but not a $ \vee$-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.

References [Enhancements On Off] (What's this?)

  • [1] A. H. Clifford and G. B. Preston, The algebraic theory of semigroups, Vol. II, Amer. Math. Soc, Providence, R. I., 1967. MR 0218472 (36:1558)
  • [2] G. Duchamp, Étude du treillis des congruences à droite, Semigroup Forum 33 (1986), 31-46. MR 834548 (87c:20104)
  • [3] J. B. Fountain and P. Lockley, Semilattices of groups with distributive congruence lattices, Semigroup Forum 14 (1977), 81-91. MR 0437660 (55:10584)
  • [4] M. Hall, The theory of groups, Macmillan, New York, 1959. MR 0103215 (21:1996)
  • [5] P. R. Jones, Semimodular inverse semigroups, J. London Math. Soc. 17 (1978), 446-456. MR 500629 (80a:20075)
  • [6] -, Distributive inverse semigroups, J. London Math. Soc. 17 (1978), 457-466. MR 500630 (80a:20076)
  • [7] J. Meakin, One-sided congruences on inverse semigroups, Trans. Amer. Math. Soc. 206 (1975), 67-82. MR 0369580 (51:5813)
  • [8] W. R. Nico, A classification of indecomposable $ S$-sets, J. Algebra 54 (1978), 260-272. MR 511464 (80b:20083)
  • [9] M. Petrich, Inverse semigroups, Wiley-Interscience, New York, 1984. MR 752899 (85k:20001)
  • [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 semigroups, J. London Math. Soc. 29 (1954), 396-403. MR 0064036 (16:215c)
  • [13] H. E. Scheiblich, Kernels of inverse semigroup homomorphisms, J. Austral. Math. Soc. 18 (1974), 289-292. MR 0360887 (50:13334)
  • [14] V. V. Wagner, The theory of generalized heaps and generalized groups, Mat. Sb. 32 (1953), 545-632. (Russian) MR 0059267 (15:501c)

Similar Articles

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

Retrieve articles in all journals with MSC: 20M18

Additional Information

Keywords: Right congruences, inverse semigroup, regular semigroup, kernel, trace, right kernel system, Clifford semigroup
Article copyright: © Copyright 1992 American Mathematical Society

American Mathematical Society