Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
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 Free Access

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

DOI: http://dx.doi.org/10.1090/S0002-9947-1982-0642343-6
PII: S 0002-9947(1982)0642343-6
Keywords: Inverse semigroups, congruences, lattice of congruences, implications, kernel and trace of a congruence
Article copyright: © Copyright 1982 American Mathematical Society