Congruence lattices of algebras— the signed labelling
HTML articles powered by AMS MathViewer
- by S. W. Seif PDF
- Proc. Amer. Math. Soc. 124 (1996), 1361-1370 Request permission
Abstract:
For an arbitrary algebra $\mathbf {A}$ a new labelling, called the signed labelling, of the Hasse diagram of $\operatorname {Con}\mathbf {A}$ is described. Under the signed labelling, each edge of the Hasse diagram of $\operatorname {Con}\mathbf {A}$ receives a label from the set $\{+,-\}$. The signed labelling depends completely on a subset of the unary polynomials of $\mathbf {A}$ and its inspiration comes from semigroup theory. For finite algebras, the signed labelling complements the labelled congruence lattices of tame congruence theory (TCT). It provides a different kind of information about those algebras than the TCT labelling particularly with regard to congruence semimodularity. The main result of this paper shows that the congruence lattice of any algebra $\mathbf {A}$ admits a natural join congruence, denoted $\approx _+$, such that $\operatorname {Con} \mathbf {A}/\approx _+$ satisfies the semimodular law. In an application of that result, it is shown that for a regular semigroup $\mathbf {S}$, for which $\mathcal {J}=\mathcal {D}$ in $\mathbf {H}(\mathbf {S})$, $\approx _+$ is actually a lattice congruence, $\approx _+$ coincides with $U$, and $\operatorname {Con} \mathbf {S}/U$ $(=\operatorname {Con}\mathbf {S}/\approx _+)$ satisfies the semimodular law.References
- P. Aglianò and K. A. Kearnes, Congruence semimodular varieties. I. Locally finite varieties, Algebra Universalis 32 (1994), no. 2, 224–269. MR 1290160, DOI 10.1007/BF01191540
- Stanley Burris and H. P. Sankappanavar, A course in universal algebra, Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York-Berlin, 1981. MR 648287, DOI 10.1007/978-1-4613-8130-3
- J. Demel, M. Demlová, and V. Koubek, Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra, Theoret. Comput. Sci. 36 (1985), no. 2-3, 203–216. MR 796299, DOI 10.1016/0304-3975(85)90042-8
- Marie Demlová and Václav Koubek, Minimal congruences and coextensions in semigroups, Semigroups, theory and applications (Oberwolfach, 1986) Lecture Notes in Math., vol. 1320, Springer, Berlin, 1988, pp. 28–83. MR 957758, DOI 10.1007/BFb0083422
- David Hobby and Ralph McKenzie, The structure of finite algebras, Contemporary Mathematics, vol. 76, American Mathematical Society, Providence, RI, 1988. MR 958685, DOI 10.1090/conm/076
- P. R. Jones, On congruence lattices of regular semigroups, J. Algebra 82 (1983), no. 1, 18–39. MR 701034, DOI 10.1016/0021-8693(83)90171-0
- Peter R. Jones, Congruence semimodular varieties of semigroups, Semigroups, theory and applications (Oberwolfach, 1986) Lecture Notes in Math., vol. 1320, Springer, Berlin, 1988, pp. 162–171. MR 957765, DOI 10.1007/BFb0083429
- Francis Pastijn and Mario Petrich, The congruence lattice of a regular semigroup, J. Pure Appl. Algebra 53 (1988), no. 1-2, 93–123. MR 955613, DOI 10.1016/0022-4049(88)90015-1
- John Rhodes, A homomorphism theorem for finite semigroups, Math. Systems Theory 1 (1967), 289–304. MR 223473, DOI 10.1007/BF01695164
- S. Seif, Congruence semimodular and congruence Jordan chain condition algebras characterized (submitted).
Additional Information
- S. W. Seif
- Affiliation: Department of Mathematics, University of Louisville, Louisville, Kentucky 40292
- Email: swseif01@homer.louisville.edu
- Received by editor(s): September 21, 1993
- Received by editor(s) in revised form: September 7, 1994
- Communicated by: Lance W. Small
- © Copyright 1996 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 124 (1996), 1361-1370
- MSC (1991): Primary 08A30
- DOI: https://doi.org/10.1090/S0002-9939-96-03102-4
- MathSciNet review: 1301526