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
Additional Information
- Mariusz Grech
- Affiliation: Institute of Mathematics, University of Wrocław, pl. Grunwaldzki 2, 50-384 Wrocław, Poland
- Email: Mariusz.Grech@math.uni.wroc.pl
- Received by editor(s): May 15, 2006
- Published electronically: February 23, 2009
- © Copyright 2009 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 361 (2009), 3435-3462
- MSC (2000): Primary 03C07; Secondary 03C05, 08B15
- DOI: https://doi.org/10.1090/S0002-9947-09-04849-1
- MathSciNet review: 2491887