Definability in the lattice of equational theories of commutative semigroups |
| |
Authors: | Andrzej Kisielewicz |
| |
Institution: | Institute of Mathematics, University of Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw, Poland |
| |
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. |
| |
Keywords: | |
|
| 点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息 |
| 点击此处可从《Transactions of the American Mathematical Society》下载免费的PDF全文 |
|