Definability in the lattice of equational theories of commutative semigroups

Author:
Andrzej Kisielewicz

Journal:
Trans. Amer. Math. Soc. **356** (2004), 3483-3504

MSC (2000):
Primary 03C07; Secondary 03C05, 08B15, 20M07

DOI:
https://doi.org/10.1090/S0002-9947-03-03351-8

Published electronically:
October 28, 2003

MathSciNet review:
2055743

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we study first-order definability in the lattice of equational theories of commutative semigroups. In a series of papers, J. Jezek, 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, Jezek 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.

**1.**M. Grech,*Irreducible varieties of commutative semigroups*, J. Algebra, to appear.**2.**Mariusz Grech and Andrzej Kisielewicz,*Covering relation for equational theories of commutative semigroups*, J. Algebra**232**(2000), no. 2, 493–506. MR**1792743**, https://doi.org/10.1006/jabr.2000.8383**3.**Pierre Antoine Grillet,*Fully invariant congruences on free commutative semigroups*, Acta Sci. Math. (Szeged)**67**(2001), no. 3-4, 571–600. MR**1876455****4.**A. A. Iskander,*Coverings in the lattice of varieties*, Contributions to universal algebra (Colloq., József Attila Univ., Szeged, 1975) North-Holland, Amsterdam, 1977, pp. 189–203. Colloq. Math. Soc. János Bolyai, Vol. 17. MR**0498323****5.**Awad A. Iskander,*Definability in the lattice of ring varieties*, Pacific J. Math.**76**(1978), no. 1, 61–67. MR**0480270****6.**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. II. The lattice of full sets of terms*, Czechoslovak Math. J.**31(106)**(1981), no. 4, 573–603. MR**631604**

Jaroslav Ježek,*The lattice of equational theories. III. Definability and automorphisms*, Czechoslovak Math. J.**32(107)**(1982), no. 1, 129–164. MR**646718****7.**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. II. The lattice of full sets of terms*, Czechoslovak Math. J.**31(106)**(1981), no. 4, 573–603. MR**631604**

Jaroslav Ježek,*The lattice of equational theories. III. Definability and automorphisms*, Czechoslovak Math. J.**32(107)**(1982), no. 1, 129–164. MR**646718****8.**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. II. The lattice of full sets of terms*, Czechoslovak Math. J.**31(106)**(1981), no. 4, 573–603. MR**631604**

Jaroslav Ježek,*The lattice of equational theories. III. Definability and automorphisms*, Czechoslovak Math. J.**32(107)**(1982), no. 1, 129–164. MR**646718****9.**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****10.**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**, https://doi.org/10.1007/BF02573566**11.**Andrzej Kisielewicz,*Varieties of commutative semigroups*, Trans. Amer. Math. Soc.**342**(1994), no. 1, 275–306. MR**1211411**, https://doi.org/10.1090/S0002-9947-1994-1211411-0**12.**Andrzej Kisielewicz,*All pseudovarieties of commutative semigroups*, Semigroups with applications (Oberwolfach, 1991) World Sci. Publ., River Edge, NJ, 1992, pp. 78–89. MR**1197847****13.**Andrzej Kisielewicz,*Unification in commutative semigroups*, J. Algebra**200**(1998), no. 1, 246–257. MR**1603273**, https://doi.org/10.1006/jabr.1997.7212**14.**Ralph McKenzie,*Definability in lattices of equational theories*, Ann. Math. Logic**3**(1971), no. 2, 197–237. MR**0280349**, https://doi.org/10.1016/0003-4843(71)90007-6**15.**Evelyn Nelson,*The lattice of equational classes of commutative semigroups*, Canad. J. Math.**23**(1971), 875–895. MR**0288197**, https://doi.org/10.4153/CJM-1971-098-0**16.**Peter Perkins,*Bases for equational theories of semigroups*, J. Algebra**11**(1969), 298–314. MR**0233911**, https://doi.org/10.1016/0021-8693(69)90058-1**17.**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****18.**B. M. Vernikov,*Definable varieties of associative rings*, Mat. Issled.**90, Algebry i Kol′tsa**(1986), 41–47, 148 (Russian). MR**883725**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
03C07,
03C05,
08B15,
20M07

Retrieve articles in all journals with MSC (2000): 03C07, 03C05, 08B15, 20M07

Additional Information

**Andrzej Kisielewicz**

Affiliation:
Institute of Mathematics, University of Wrocław, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland

Email:
kisiel@math.uni.wroc.pl

DOI:
https://doi.org/10.1090/S0002-9947-03-03351-8

Received by editor(s):
June 14, 2002

Received by editor(s) in revised form:
March 21, 2003

Published electronically:
October 28, 2003

Additional Notes:
This research was done while the author was a Fulbright Visiting Scholar at Vanderbilt University. Supported in part by Polish KBN grant P03A 00916.

Dedicated:
To Professor Ralph McKenzie

Article copyright:
© Copyright 2003
American Mathematical Society