Commutator theory without join-distributivity
HTML articles powered by AMS MathViewer
- by Paolo Lipparini PDF
- Trans. Amer. Math. Soc. 346 (1994), 177-202 Request permission
Abstract:
We develop Commutator Theory for congruences of general algebraic systems (henceforth called algebras) assuming only the existence of a ternary term $d$ such that $d(a,b,b)[\alpha ,\alpha ]a[\alpha ,\alpha ]d(b,b,a)$, whenever $\alpha$ is a congruence and $a\alpha b$. Our results apply in particular to congruence modular and $n$-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.References
- 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
- Alan Day and Ralph Freese, A characterization of identities implying congruence modularity. I, Canadian J. Math. 32 (1980), no. 5, 1140–1167. MR 596102, DOI 10.4153/CJM-1980-087-6
- A. Day and H. P. Gumm, Some characterizations of the commutator, Algebra Universalis 29 (1992), no. 1, 61–78. MR 1145556, DOI 10.1007/BF01190756
- 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
- 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
- Ralph Freese and J. B. Nation, Congruence lattices of semilattices, Pacific J. Math. 49 (1973), 51–58. MR 332590
- H. Peter Gumm, Geometrical methods in congruence modular algebras, Mem. Amer. Math. Soc. 45 (1983), no. 286, viii+79. MR 714648, DOI 10.1090/memo/0286
- Christian Herrmann, Affine algebras in congruence modular varieties, Acta Sci. Math. (Szeged) 41 (1979), no. 1-2, 119–125. MR 534504
- 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, DOI 10.1007/BF01238496
- 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
- Bjarni Jónsson, Congruence varieties, Algebra Universalis 10 (1980), no. 3, 355–394. MR 564122, DOI 10.1007/BF02482916
- Keith A. Kearnes, An order-theoretic property of the commutator, Internat. J. Algebra Comput. 3 (1993), no. 4, 491–533. MR 1250248, DOI 10.1142/S0218196793000299
- Keith Kearnes and Ralph McKenzie, Commutator theory for relatively modular quasivarieties, Trans. Amer. Math. Soc. 331 (1992), no. 2, 465–502. MR 1062872, DOI 10.1090/S0002-9947-1992-1062872-X
- Emil W. Kiss, Three remarks on the modular commutator, Algebra Universalis 29 (1992), no. 4, 455–476. MR 1201171, DOI 10.1007/BF01190773
- 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, DOI 10.1007/BF01190604
- P. Lipparini, $n$-permutable varieties satisfy nontrivial congruence identities, Algebra Universalis 33 (1995), no. 2, 159–168. MR 1318980, DOI 10.1007/BF01190927 —, Varieties satisfying some form of the Herrmann Theorem (in preparation).
- 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, DOI 10.1007/BFb0100729
- 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
- Mario Petrich, Inverse semigroups, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1984. A Wiley-Interscience Publication. MR 752899
- Robert W. Quackenbush, Quasi-affine algebras, Algebra Universalis 20 (1985), no. 3, 318–327. MR 811692, DOI 10.1007/BF01195141
- Jonathan D. H. Smith, Mal′cev varieties, Lecture Notes in Mathematics, Vol. 554, Springer-Verlag, Berlin-New York, 1976. MR 0432511
- Walter Taylor, Some applications of the term condition, Algebra Universalis 14 (1982), no. 1, 11–24. MR 634412, DOI 10.1007/BF02483903
- Walter Taylor, Characterizing Mal′cev conditions, Algebra Universalis 3 (1973), 351–397. MR 349537, DOI 10.1007/BF02945141
- Ross Willard, $M_n$ as a $0,1$-sublattice of $\textrm {Con}\,A$ does not force the term condition, Proc. Amer. Math. Soc. 104 (1988), no. 2, 349–356. MR 962797, DOI 10.1090/S0002-9939-1988-0962797-6
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 346 (1994), 177-202
- MSC: Primary 08B10; Secondary 08A30, 08B05
- DOI: https://doi.org/10.1090/S0002-9947-1994-1257643-7
- MathSciNet review: 1257643