Congruence lattices of algebras---

the signed labelling

Author:
S. W. Seif

Journal:
Proc. Amer. Math. Soc. **124** (1996), 1361-1370

MSC (1991):
Primary 08A30

MathSciNet review:
1301526

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: For an arbitrary algebra a new labelling, called the signed labelling, of the Hasse diagram of is described. Under the signed labelling, each edge of the Hasse diagram of receives a label from the set . The signed labelling depends completely on a subset of the unary polynomials of 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 admits a natural join congruence, denoted , such that satisfies the semimodular law. In an application of that result, it is shown that for a regular semigroup , for which in , is actually a lattice congruence, coincides with , and satisfies the semimodular law.

**[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]**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****[De-D-K]**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**, 10.1016/0304-3975(85)90042-8**[D-K]**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**, 10.1007/BFb0083422**[H-M]**David Hobby and Ralph McKenzie,*The structure of finite algebras*, Contemporary Mathematics, vol. 76, American Mathematical Society, Providence, RI, 1988. MR**958685****[J1]**P. R. Jones,*On congruence lattices of regular semigroups*, J. Algebra**82**(1983), no. 1, 18–39. MR**701034**, 10.1016/0021-8693(83)90171-0**[J2]**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**, 10.1007/BFb0083429**[P-P]**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**, 10.1016/0022-4049(88)90015-1**[R]**John Rhodes,*A homomorphism theorem for finite semigroups*, Math. Systems Theory**1**(1967), 289–304. MR**0223473****[S]**S. Seif,*Congruence semimodular and congruence Jordan chain condition algebras characterized*(submitted).

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