Transactions of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Help
ISSN 1088-6850(e) ISSN 0002-9947(p)

The structure and definability in the lattice of equational theories of strongly permutative semigroups

Author: Mariusz Grech
Journal: Trans. Amer. Math. Soc. 364 (2012), 2959-2985
MSC (2000): Primary 03C07; Secondary 03C05, 08B15
Posted: January 26, 2012
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper, we study the structure and the first-order definability in the lattice $\mathcal L(SP)$ of equational theories of strongly permutative semigroups, that is, semigroups satisfying a permutation identity

$\displaystyle x_1 \cdots x_n = x_{\sigma (1)} \cdots x_{\sigma (n)}$

with $\sigma (1) > 1$ and $\sigma (n) < n$ . We show that each equational theory of such semigroups is described by five objects: an order filter, an equivalence relation, and three integers. We fully describe the lattice $\mathcal L(SP)$ ; inclusion, operations $\vee$ and $\wedge$ , and covering relation. Using this description, we prove, in particular, that each individual theory of strongly permutative semigroups is definable, up to duality.

References

1. Jorge Almeida, Some order properties of the lattice of varieties of commutative semigroups, Canad. J. Math. 38 (1986), no. 1, 19–47. MR 835034 (87h:20108), http://dx.doi.org/10.4153/CJM-1986-002-x
2. John D. Dixon and Brian Mortimer, Permutation groups, Graduate Texts in Mathematics, vol. 163, Springer-Verlag, New York, 1996. MR 1409812 (98m:20003)
3. Trevor Evans, The lattice of semigroup varieties, Semigroup Forum 2 (1971), no. 1, 1–43. MR 0284528 (44 #1753)
4. Mariusz Grech, Irreducible varieties of commutative semigroups, J. Algebra 261 (2003), no. 1, 207–228. MR 1967162 (2004a:20067), http://dx.doi.org/10.1016/S0021-8693(02)00674-9
5. Mariusz Grech, Well- and better-quasi-orderings in the lattice of varieties of commutative semigroups, Internat. J. Algebra Comput. 17 (2007), no. 4, 869–879. MR 2340821 (2008f:20146), http://dx.doi.org/10.1142/S0218196707003834
6. Mariusz Grech, Automorphisms of the lattice of equational theories of commutative semigroups, Trans. Amer. Math. Soc. 361 (2009), no. 7, 3435–3462. MR 2491887 (2009k:08006), http://dx.doi.org/10.1090/S0002-9947-09-04849-1
7. Mariusz Grech and Andrzej Kisielewicz, Covering relation for equational theories of commutative semigroups, J. Algebra 232 (2000), no. 2, 493–506. MR 1792743 (2002g:20102), http://dx.doi.org/10.1006/jabr.2000.8383
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 (84e:08007a)
9. 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 (84e:08007b)
10. Jaroslav Ježek, The lattice of equational theories. III. Definability and automorphisms, Czechoslovak Math. J. 32(107) (1982), no. 1, 129–164. MR 646718 (84e:08007c)
11. 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 (87g:08015)
12. 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 (94a:03052), http://dx.doi.org/10.1007/BF02573566
13. Andrzej Kisielewicz, Varieties of commutative semigroups, Trans. Amer. Math. Soc. 342 (1994), no. 1, 275–306. MR 1211411 (94j:20065), http://dx.doi.org/10.1090/S0002-9947-1994-1211411-0
14. Andrzej Kisielewicz, Definability in the lattice of equational theories of commutative semigroups, Trans. Amer. Math. Soc. 356 (2004), no. 9, 3483–3504. MR 2055743 (2005a:08011), http://dx.doi.org/10.1090/S0002-9947-03-03351-8
15. Andrzej Kisielewicz, Permutability class of a semigroup, J. Algebra 226 (2000), no. 1, 295–310. MR 1749890 (2001c:20122), http://dx.doi.org/10.1006/jabr.1999.8174
16. Ralph McKenzie, Definability in lattices of equational theories, Ann. Math. Logic 3 (1971), no. 2, 197–237. MR 0280349 (43 #6069)
17. C. St. J. A. Nash-Williams, On well-quasi-ordering infinite trees, Proc. Cambridge Philos. Soc. 61 (1965), 697–720. MR 0175814 (31 #90)
18. Peter Perkins, Bases for equational theories of semigroups, J. Algebra 11 (1969), 298–314. MR 0233911 (38 #2232)
19. G. Pollák, On the consequences of permutation identities, Acta Sci. Math. (Szeged) 34 (1973), 323–333. MR 0322084 (48 #448)
20. Mohan S. Putcha and Adil Yaqub, Semigroups satisfying permutation identities, Semigroup Forum 3 (1971/72), no. 1, 68–73. MR 0292969 (45 #2050)
21. Olga Sapir, Finitely generated permutative varieties, Semigroup Forum 78 (2009), no. 3, 427–449. MR 2511777 (2010d:20061), http://dx.doi.org/10.1007/s00233-009-9146-0
22. 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 (38 #5692)

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|