Automorphisms of the lattice of equational theories of commutative semigroups

Grech, Mariusz

doi:10.1090/S0002-9947-09-04849-1

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

by Mariusz Grech PDF

Trans. Amer. Math. Soc. 361 (2009), 3435-3462 Request permission

Abstract:

In this paper we complete the study of the first-order definability in the lattice of equational theories of commutative semigroups started by A. Kisielewicz in [Trans. Amer. Math. Soc. 356 (2004), 3483-3504]. We describe the group of automorphisms of this lattice and characterize first-order definable theories, thus solving the problems posed by R. McKenzie and A. Kisielewicz.

References

Mariusz Grech, Irreducible varieties of commutative semigroups, J. Algebra 261 (2003), no. 1, 207–228. MR 1967162, DOI 10.1016/S0021-8693(02)00674-9
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
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
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
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
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
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, Definability in the lattice of equational theories of commutative semigroups, Trans. Amer. Math. Soc. 356 (2004), no. 9, 3483–3504. MR 2055743, DOI 10.1090/S0002-9947-03-03351-8
Andrzej Kisielewicz, Permutability class of a semigroup, J. Algebra 226 (2000), no. 1, 295–310. MR 1749890, DOI 10.1006/jabr.1999.8174
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
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