Abstract
Quasivarieties (and varieties) which are categorical in some power not less than the power of their language have been completely characterized by S. Givant [6], [7] and independently by E. A. Palyutin [11], [12]. These classes fall into two radically different families. A class in the first family is derived from the class of permutational representations of a group. Its members are [n]-th powers of algebras whose operations are unary, for some fixed positive integern. A class in the second family consists of affine algebras. Its members are polynomially equivalent (but not usually definitionally equivalent) to modules over a ring which is isomorphic to the ring ofn-by-n matrices with entries in a division ring.
The general results are faithfully represented in the family ofω-categorical quasivarieties of countable type. Each of them is generated by a finite algebra, and the results can be viewed as very interesting facts about finite algebras and the classes they generate. In this paper, we offer simple new characterizations ofω-categorical quasivarieties and varieties of countable type. Our arguments are distinguished by the absence of any sophisticated model theory. In the beginning we use some very basic model theory, but after that we find that combinatorial reasoning about finite sets and elementary algebraic arguments, combined with two classical theorems describing the structure of finite simple rings and their modules, suffice to derive the results. Theorems 3.1 and 4.12 combine to give the characterization ofω-categorical quasivarieties. Theorems 3.2 and 4.13 combine to give the characterization ofω-categorical varieties.
The heart of this paper is §2. There we prove that a nontrivial algebra of least cardinality in anω-categorical quasivariety (which must generate the class) is a finite “tame” algebra. Tameness is the principal tool used in a relatively quick and painless proof that the generating algebra must be affine or an [n]-th power of a unary algebra. The concept of a tame algebra was introduced in [9] where we proved, among other things, that finite simple algebras are tame. When we had gained some experience with this concept, it became clear to us that the arguments in this present paper should exist (and it didn't take long to find them).
Similar content being viewed by others
References
A. I. Abakumov, E. A. Palyutin, M. A. Taitslin andYu. E. Shishmarev,Categorical quasivarieties, Algebra and Logic11 (1973), 1–21. [Russian original in Algebra i Logika11 (1972), 3–38.]
J. T. Baldwin andA. H. Lachlan,On universal Horn classes categorical in some infinite power, Algebra Universalis3 (1973), 98–111.
J. T. Baldwin andR. McKenzie,Counting models in universal Horn classes, Algebra Universalis 15 (1982), 359–384.
S.Burris and H. P.Sankappanavar,A COURSE IN UNIVERSAL ALGEBRA, Springer- Verlag, Graduate Texts in Mathematics, 1981.
R.Freese and R.McKenzie,The commutator, an overview, (preprint).
S. Givant,Universal Horn classes categorical or free in power, Annals of Math. Logic15 (1978), 1–53.
S. Givant,A representation theorem for universal Horn classes categorical in power, Annals of Math. Logic17 (1979), 91–116.
N. Jacobson, BASIC ALGEBRA II, W. H. Freeman and Co., San Francisco (1980).
R.McKenzie,Finite forbidden lattices, in: Universal Algebra and Lattice Theory, Lecture Notes in Mathematics, No. 1004, Springer 1983 (pp. 176–205).
E. A. Palyutin,Models with countable-categorical universal theories, Algebra and Logic10 (1972), 15–20. [Russian original in Algebra i Logika10 (1971), 23–32].
E. A. Palyutin,Categorical quasivarieties of arbitrary signature, Sibir. Math. J.14 (1974), 904–916. [Russian original in Siber. Mat. Zh.14 (1973), 1285–1303.]
E. A. Palyutin,The description of categorical quasivarieties, Algebra and Logic14 (1976), 86–111. [Russian original in Algebra i Logika14 (1975), 145–185.]
W. Taylor,The fine spectrum of a variety, Algebra Universalis3 (1975), 263–303.
W. Taylor,Some applications of the term condition, Algebra Universalis 14 (1982), 11–24.
Author information
Authors and Affiliations
Additional information
The author thanks the referee for a thoughtful critique of the first submitted version of this paper.
Research supported by United States National Science Foundation grant MCS 8103455.
Rights and permissions
About this article
Cite this article
Mckenzie, R. Categorical quasivarieties revisited. Algebra Universalis 19, 273–303 (1984). https://doi.org/10.1007/BF01201096
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01201096