Definability in the lattice of equational theories of commutative semigroups

Kisielewicz, Andrzej

doi:10.1090/S0002-9947-03-03351-8

Definability in the lattice of equational theories of commutative semigroups
HTML articles powered by AMS MathViewer

by Andrzej Kisielewicz PDF

Trans. Amer. Math. Soc. 356 (2004), 3483-3504 Request permission

Abstract:

In this paper we study first-order definability in the lattice of equational theories of commutative semigroups. In a series of papers, J. Ježek, solving problems posed by A. Tarski and R. McKenzie, has proved, in particular, that each equational theory is first-order definable in the lattice of equational theories of a given type, up to automorphism, and that such lattices have no automorphisms besides the obvious syntactically defined ones (with exceptions for special unary types). He has proved also that the most important classes of theories of a given type are so definable. In a later paper, Ježek and McKenzie have “almost proved" the same facts for the lattice of equational theories of semigroups. There were good reasons to believe that the same can be proved for the lattice of equational theories of commutative semigroups. In this paper, however, we show that the case of commutative semigroups is different.

References

M. Grech, Irreducible varieties of commutative semigroups, J. Algebra, to appear.
Mariusz Grech and Andrzej Kisielewicz, Covering relation for equational theories of commutative semigroups, J. Algebra 232 (2000), no. 2, 493–506. MR 1792743, DOI 10.1006/jabr.2000.8383
Pierre Antoine Grillet, Fully invariant congruences on free commutative semigroups, Acta Sci. Math. (Szeged) 67 (2001), no. 3-4, 571–600. MR 1876455
A. A. Iskander, Coverings in the lattice of varieties, Contributions to universal algebra (Colloq., József Attila Univ., Szeged, 1975) Colloq. Math. Soc. János Bolyai, Vol. 17, North-Holland, Amsterdam, 1977, pp. 189–203. MR 0498323
Awad A. Iskander, Definability in the lattice of ring varieties, Pacific J. Math. 76 (1978), no. 1, 61–67. MR 480270, DOI 10.2140/pjm.1978.76.61
Jaroslav Ježek, The lattice of equational theories. I. Modular elements, Czechoslovak Math. J. 31(106) (1981), no. 1, 127–152. With a loose Russian summary. MR 604120, DOI 10.21136/CMJ.1981.101731
Jaroslav Ježek, The lattice of equational theories. I. Modular elements, Czechoslovak Math. J. 31(106) (1981), no. 1, 127–152. With a loose Russian summary. MR 604120, DOI 10.21136/CMJ.1981.101731
Jaroslav Ježek, The lattice of equational theories. I. Modular elements, Czechoslovak Math. J. 31(106) (1981), no. 1, 127–152. With a loose Russian summary. MR 604120, DOI 10.21136/CMJ.1981.101731
Jaroslav Ježek, The lattice of equational theories. IV. Equational theories of finite algebras, Czechoslovak Math. J. 36(111) (1986), no. 2, 331–341. MR 831318, DOI 10.21136/CMJ.1986.102094
Jaroslav Ježek and Ralph McKenzie, Definability in the lattice of equational theories of semigroups, Semigroup Forum 46 (1993), no. 2, 199–245. MR 1200214, DOI 10.1007/BF02573566
Andrzej Kisielewicz, Varieties of commutative semigroups, Trans. Amer. Math. Soc. 342 (1994), no. 1, 275–306. MR 1211411, DOI 10.1090/S0002-9947-1994-1211411-0
Andrzej Kisielewicz, All pseudovarieties of commutative semigroups, Semigroups with applications (Oberwolfach, 1991) World Sci. Publ., River Edge, NJ, 1992, pp. 78–89. MR 1197847
Andrzej Kisielewicz, Unification in commutative semigroups, J. Algebra 200 (1998), no. 1, 246–257. MR 1603273, DOI 10.1006/jabr.1997.7212
Ralph McKenzie, Definability in lattices of equational theories, Ann. Math. Logic 3 (1971), no. 2, 197–237. MR 280349, DOI 10.1016/0003-4843(71)90007-6
Evelyn Nelson, The lattice of equational classes of commutative semigroups, Canadian J. Math. 23 (1971), 875–895. MR 288197, DOI 10.4153/CJM-1971-098-0
Peter Perkins, Bases for equational theories of semigroups, J. Algebra 11 (1969), 298–314. MR 233911, DOI 10.1016/0021-8693(69)90058-1
A. Tarski, Equational logic and equational theories of algebras, Contributions to Math. Logic (Colloquium, Hannover, 1966) North-Holland, Amsterdam, 1968, pp. 275–288. MR 0237410
B. M. Vernikov, Definable varieties of associative rings, Mat. Issled. 90, Algebry i Kol′tsa (1986), 41–47, 148 (Russian). MR 883725