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)



A network of congruences on an inverse semigroup

Authors: Mario Petrich and Norman R. Reilly
Journal: Trans. Amer. Math. Soc. 270 (1982), 309-325
MSC: Primary 20M10
MathSciNet review: 642343
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A congruence $ \rho $ on an inverse semigroup $ S$ is determined uniquely by its kernel and its trace. Denoting by $ {\rho ^{\min }}$ and $ {\rho _{\min }}$ the least congruence on $ S$ having the same kernel and the same trace as $ \rho $, respectively, and denoting by $ \omega $ the universal congruence on $ S$, we consider the sequence $ \omega $, $ {\omega ^{\min }}$, $ {\omega _{\min }}$, $ {({\omega ^{\min }})_{\min }}$, $ {({\omega _{\min }})^{\min }} \ldots $. These congruences, together with the intersections of corresponding pairs, form a sublattice of the lattice of all congruences on $ S$. We study the properties of these congruences and establish several properties of the quasivarieties of inverse semigroups induced by them.

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

Similar Articles

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

Retrieve articles in all journals with MSC: 20M10

Additional Information

Keywords: Inverse semigroups, congruences, lattice of congruences, implications, kernel and trace of a congruence
Article copyright: © Copyright 1982 American Mathematical Society

American Mathematical Society