Commutator theory without join-distributivity

Author:
Paolo Lipparini

Journal:
Trans. Amer. Math. Soc. **346** (1994), 177-202

MSC:
Primary 08B10; Secondary 08A30, 08B05

MathSciNet review:
1257643

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We develop Commutator Theory for congruences of general algebraic systems (henceforth called algebras) assuming only the existence of a ternary term such that , whenever is a congruence and .

Our results apply in particular to congruence modular and -permutable varieties, to most locally finite varieties, and to inverse semigroups.

We obtain results concerning permutability of congruences, abelian and solvable congruences, connections between congruence identities and commutator identities. We show that many lattices cannot be embedded in the congruence lattice of algebras satisfying our hypothesis. For other lattices, some intervals are forced to be abelian, and others are forced to be nonabelian.

We give simplified proofs of some results about the commutator in modular varieties, and generalize some of them to single algebras having a modular congruence lattice.

**[BS]**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****[DF]**Alan Day and Ralph Freese,*A characterization of identities implying congruence modularity. I*, Canad. J. Math.**32**(1980), no. 5, 1140–1167. MR**596102**, 10.4153/CJM-1980-087-6**[DG]**A. Day and H. P. Gumm,*Some characterizations of the commutator*, Algebra Universalis**29**(1992), no. 1, 61–78. MR**1145556**, 10.1007/BF01190756**[FLT]**Ralph Freese, William A. Lampe, and Walter Taylor,*Congruence lattices of algebras of fixed similarity type. I*, Pacific J. Math.**82**(1979), no. 1, 59–68. MR**549832****[FMK]**Ralph Freese and Ralph McKenzie,*Commutator theory for congruence modular varieties*, London Mathematical Society Lecture Note Series, vol. 125, Cambridge University Press, Cambridge, 1987. MR**909290****[FN]**Ralph Freese and J. B. Nation,*Congruence lattices of semilattices*, Pacific J. Math.**49**(1973), 51–58. MR**0332590****[Gu]**H. Peter Gumm,*Geometrical methods in congruence modular algebras*, Mem. Amer. Math. Soc.**45**(1983), no. 286, viii+79. MR**714648**, 10.1090/memo/0286**[He]**Christian Herrmann,*Affine algebras in congruence modular varieties*, Acta Sci. Math. (Szeged)**41**(1979), no. 1-2, 119–125. MR**534504****[HH]**Joachim Hagemann and Christian Herrmann,*A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity*, Arch. Math. (Basel)**32**(1979), no. 3, 234–245. MR**541622**, 10.1007/BF01238496**[HMK]**David Hobby and Ralph McKenzie,*The structure of finite algebras*, Contemporary Mathematics, vol. 76, American Mathematical Society, Providence, RI, 1988. MR**958685****[Jo]**Bjarni Jónsson,*Congruence varieties*, Algebra Universalis**10**(1980), no. 3, 355–394. MR**564122**, 10.1007/BF02482916**[Ke]**Keith A. Kearnes,*An order-theoretic property of the commutator*, Internat. J. Algebra Comput.**3**(1993), no. 4, 491–533. MR**1250248**, 10.1142/S0218196793000299**[KMK]**Keith Kearnes and Ralph McKenzie,*Commutator theory for relatively modular quasivarieties*, Trans. Amer. Math. Soc.**331**(1992), no. 2, 465–502. MR**1062872**, 10.1090/S0002-9947-1992-1062872-X**[Ki]**Emil W. Kiss,*Three remarks on the modular commutator*, Algebra Universalis**29**(1992), no. 4, 455–476. MR**1201171**, 10.1007/BF01190773**[KP]**Emil W. Kiss and Péter Pröhle,*Problems and results in tame congruence theory. A survey of the ’88 Budapest Workshop*, Algebra Universalis**29**(1992), no. 2, 151–171. MR**1157431**, 10.1007/BF01190604**[Lp]**P. Lipparini,*𝑛-permutable varieties satisfy nontrivial congruence identities*, Algebra Universalis**33**(1995), no. 2, 159–168. MR**1318980**, 10.1007/BF01190927**[Lp1]**-,*Varieties satisfying some form of the Herrmann Theorem*(in preparation).**[MK]**Ralph McKenzie,*Some interactions between group theory and the general theory of algebras*, Groups—Canberra 1989, Lecture Notes in Math., vol. 1456, Springer, Berlin, 1990, pp. 32–48. MR**1092221**, 10.1007/BFb0100729**[MKNT]**Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor,*Algebras, lattices, varieties. Vol. I*, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987. MR**883644****[Pe]**Mario Petrich,*Inverse semigroups*, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1984. A Wiley-Interscience Publication. MR**752899****[Qu]**Robert W. Quackenbush,*Quasi-affine algebras*, Algebra Universalis**20**(1985), no. 3, 318–327. MR**811692**, 10.1007/BF01195141**[Sm]**Jonathan D. H. Smith,*Mal′cev varieties*, Lecture Notes in Mathematics, Vol. 554, Springer-Verlag, Berlin-New York, 1976. MR**0432511****[Ta]**Walter Taylor,*Some applications of the term condition*, Algebra Universalis**14**(1982), no. 1, 11–24. MR**634412**, 10.1007/BF02483903**[Ta1]**Walter Taylor,*Characterizing Mal′cev conditions*, Algebra Universalis**3**(1973), 351–397. MR**0349537****[Wi]**Ross Willard,*𝑀_{𝑛} as a 0,1-sublattice of 𝐶𝑜𝑛𝐴 does not force the term condition*, Proc. Amer. Math. Soc.**104**(1988), no. 2, 349–356. MR**962797**, 10.1090/S0002-9939-1988-0962797-6

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
08B10,
08A30,
08B05

Retrieve articles in all journals with MSC: 08B10, 08A30, 08B05

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9947-1994-1257643-7

Keywords:
Commutator,
congruence lattice,
difference term,
congruence identity,
abelian,
solvable,
permutable

Article copyright:
© Copyright 1994
American Mathematical Society