|
Definability in the lattice of equational theories of commutative semigroups
Author(s):
Andrzej
Kisielewicz
Journal:
Trans. Amer. Math. Soc.
356
(2004),
3483-3504.
MSC (2000):
Primary 03C07;
Secondary 03C05, 08B15, 20M07
Posted:
October 28, 2003
Retrieve article in:
PDF DVI PostScript
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.
References:
-
- 1.
- M. Grech, Irreducible varieties of commutative semigroups, J. Algebra, to appear.
- 2.
- M. Grech, A. Kisielewicz, Covering relation for equational theories of commutative semigroups, J. Algebra 232 (2000), 493-506. MR 2002g:20102
- 3.
- P. A. Grillet, Fully invariant congruences on free commutative semigroups, Acta Sci. Math. (Szeged) 67 (2001), 571-600. MR 2003d:20093
- 4.
- A. A. Iskander, Coverings in the lattice of varieties, in Contributions to universal algebra, pp. 189-203., Colloq. Math. Soc. Janos Bolyai, Vol. 17, North-Holland, Amsterdam, 1977. MR 58:16462
- 5.
- A. A. Iskander, Definability in the lattice of ring varieties, Pacific J. Math. 76 (1978), 61-67. MR 58:448
- 6.
- J. Jezek, The lattice of equational theories I: Modular elements, Czech. Math. J. 31 (1981), 127-152. MR 84e:08007a
- 7.
- --- , The lattice of equational theories II: The lattice of full sets of terms, Czech. Math. J. 31 (1981), 127-152. MR 84e:08007b
- 8.
- --- , The lattice of equational theories III: Definability and automorphisms, Czech. Math. J. 32 (1982), 129-164. MR 84e:08007c
- 9.
- --- , The lattice of equational theories IV: Equational theories of finite algebras, Czech. Math. J. 36 (1986), 331-341. MR 87g:08015
- 10.
- J. Jezek, R. McKenzie, Definability in the lattice of equational theories of semigroups, Semigroup Forum 46 (1993), 199-245. MR 94a:03052
- 11.
- A. Kisielewicz, Varieties of commutative semigroups, Trans. Amer. Math. Soc. 342 (1994), 275-306. MR 94j:20065
- 12.
- --- , All pseudovarieties of commutative semigroups, in Semigroups with applications (Oberwolfach, 1991), (J. M. Howie et al. eds), World Scientific, Singapore, 1992, pp. 78-89. MR 93k:20086
- 13.
- --- , Unification in commutative semigroups, J. Algebra 200 (1998), 246-257. MR 99g:20107
- 14.
- R. McKenzie, Definability in lattices of equational theories, Annals of Math. Logic 3 (1971), 197-237. MR 43:6069
- 15.
- E. Nelson, The lattices of equational classes of commutative semigroups, Canad. J. Math. 23 (1971), 875-895. MR 44:5395
- 16.
- P. Perkins, Bases for equational theories of semigroups, J. Algebra 11 (1969), 298-314. MR 38:2232
- 17.
- A. Tarski, Equational logic and equational theories of algebras, Contributions to Mathematical Logic (Hannover, 1966), 275-288, North-Holland, Amsterdam, 1968. MR 38:5692
- 18.
- Vernikov, B. M., Definable varieties of associative rings, Mat. Issled. No. 90, Algebry i Koltsa (1986), 41-47, (Russian). MR 88e:08012
Similar Articles:
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 Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw, Poland
Email:
kisiel@math.uni.wroc.pl
DOI:
10.1090/S0002-9947-03-03351-8
PII:
S 0002-9947(03)03351-8
Received by editor(s):
June 14, 2002
Received by editor(s) in revised form:
March 21, 2003
Posted:
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
Copyright of article:
Copyright
2003,
American Mathematical Society
|
Comments: webmaster@ams.org