Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Congruence lattices of algebras---
the signed labelling


Author: S. W. Seif
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
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: For an arbitrary algebra $\mathbf{A}$ a new labelling, called the signed labelling, of the Hasse diagram of $\CON\mathbf{A}$ is described. Under the signed labelling, each edge of the Hasse diagram of $\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 $\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 $\CON \mathbf{S}/U$ $(=\CON\mathbf{S}/\approx_+)$ satisfies the semimodular law.


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

  • [A-K] P. Agliano and K. Kearnes, Congruence semimodular varieties. I, II, Algebra Universalis, 32 (1994), 224--269, 270--296. MR 95i:08010; MR 95i: 08011
  • [Bu-Sa] S. Burris and H. P. Sankappanavar, A course in universal algebra, Graduate Texts in Math., Springer-Verlag, Berlin and New York, 1981. MR 83k:08001
  • [De-D-K] J. Demel, M. Demlová, and V. Koubek, Fast algorithms for constructing minimal subalgebras, congruences, and ideals in a finite algebra, Theoret. Comput. Sci. 36 (1985) 203--216. MR 87c:68036
  • [D-K] M. Demlová and V. Koubek, Minimal congruence and coextensions in semigroups, Lecture Notes in Math., vol. 1320 (H. Jürgensen, G. Lallement, and H. J. Weinert, eds.), Springer-Verlag, Berlin and New York, 1988, pp. 28--84. MR 89i:20091
  • [H-M] D. Hobby and R. McKenzie, The structure of finite algebras, Contemp. Math., vol. 76, Amer. Math. Soc., Providence, RI, 1988. MR 89m:08001
  • [J1] P. R. Jones, On congruence lattices of regular semigroups, J. Algebra 82 (1983), 18--39. MR 85c:20055
  • [J2] ------, Congruence semimodular varieties of semigroups, Lecture Notes in Math., vol. 1320 (H. Jürgensen, G. Lallement, and H. J. Weinert, eds.), Springer-Verlag, Berlin and New York 1986. MR 89h:20085
  • [P-P] F. Pastijn and M. Petrich, The congruence lattice of a regular semigroup, J. Pure Appl. Algebra 53 (1988), 93--123. MR 89j:20067
  • [R] J. Rhodes, A homomorphism theorem for finite semigroups, Math. System Theory 1 (1967), 289--304. MR 36:6521
  • [S] S. Seif, Congruence semimodular and congruence Jordan chain condition algebras characterized (submitted).

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 08A30

Retrieve articles in all journals with MSC (1991): 08A30


Additional Information

S. W. Seif
Affiliation: Department of Mathematics, University of Louisville, Louisville, Kentucky 40292
Email: swseif01@homer.louisville.edu

DOI: https://doi.org/10.1090/S0002-9939-96-03102-4
Keywords: Congruence lattice, semimodularity
Received by editor(s): September 21, 1993
Received by editor(s) in revised form: September 7, 1994
Communicated by: Lance W. Small
Article copyright: © Copyright 1996 American Mathematical Society

American Mathematical Society