Definability in the lattice of equational theories of semigroups |
| |
Authors: | Jaroslav Ježek Ralph McKenzie |
| |
Institution: | (1) Department of Mathematics, University of Hawaii, 96822 Honolulu, Hawaii;(2) Department of Mathematics, University of California, 94720 Berkeley, California |
| |
Abstract: | We study first-order definability in the latticeL of equational theories of semigroups. A large collection of individual theories and some interesting sets of theories are
definable inL. As examples, ifT is either the equational theory of a finite semigroup or a finitely axiomatizable locally finite theory, then the set {T, T
ϖ} is definable, whereT
ϖ is the dual theory obtained by inverting the order of occurences of letters in the words. Moreover, the set of locally finite
theories, the set of finitely axiomatizable theories, and the set of theories of finite semigroups are all definable.
The research of both authors was supported by National Science Foundation Grant No. DMS-8302295 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|