Narrowness implies uniformity
 Ralph McKenzie
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integersp such thatp is a divisor of the cardinality of some finite algebra inV. Such varieties are callednarrow.
The variety (or equational class) generated by a classK of similar algebras is denoted by V(K)=HSPK. We define Pr (K) as the set of prime integers which divide the cardinality of a (some) finite member ofK. We callK narrow if Pr (K) is finite. The key result proved here states that for any finite setK of finite algebras of the same type, the following are equivalent: (1) SPK is a narrow class. (2) V(K) has uniform congruence relations. (3) SK has uniform congruences and (3) SK has permuting congruences. (4) Pr (V(K))= Pr(SK).
A varietyV is calleddirectly representable if there is a finite setK of finite algebras such thatV= V(K) and such that all finite algebras inV belong to PK. An equivalent definition states thatV is finitely generated and, up to isomorphism,V has only finitely many finite directly indecomposable algebras. Directly representable varieties are narrow and hence congruence modular. The machinery of modular commutators is applied in this paper to derive the following results for any directly representable varietyV. Each finite, directly indecomposable algebra inV is either simple or abelian.V satisfies the commutator identity [x,y]=x·y·[1,1] holding for congruencesx andy over any member ofV. The problem of characterizing finite algebras which generate directly representable varieties is reduced to a problem of ring theory on which there exists an extensive literature: to characterize those finite ringsR with identity element for which the variety of all unitary leftRmodules is directly representable. (In the terminology of [7], the condition is thatR has finite representation type.) We show that the directly representable varieties of groups are precisely the finitely generated abelian varieties, and that a finite, subdirectly irreducible, ring generates a directly representable variety iff the ring is a field or a zero ring.
 S. Burris,A note on directly indecomposable algebras, Preprint (1979).
 S. Burris,Arithmetical varieties and Boolean product representations, Preprint (1978).
 S. Burris andR. McKenzie,Decidability and Boolean representations, Preprint (1980).
 Clark, D., Krauss, P. (1976) Para primal algebras. Alg. Univ. 6: pp. 165192
 Clark, D., Krauss, P. (1977) Varieties generated by para primal algebras. Alg. Univ. 7: pp. 93114
 D. Clark andP. Krauss,Plain para primal algebras, Alg. Univ. (to appear).
 Dlab, V., Ringel, C. M. (1975) On algebras of finite representation type. J. Algebra 33: pp. 306394 CrossRef
 V. Dlab andC. M. Ringel,Indecomposable representations of graphs and algebras, Memoirs A.M.S. 6, number173 (1976), 57 pages.
 Freese, R., McKenzie, R. (1981) Residually small varieties with modular congruence lattices. Trans. Amer. Math. Soc. 264: pp. 419430 CrossRef
 R. Freese andR. McKenzie,The commutator, an overview, Preprint (1981).
 Gratzer, G. (1962) A characterization of neutral elements in lattices. Publications of the Math. Institute of the Hungarian Academy of Sciences 7: pp. 191192
 Gumm, H. P. (1979) Algebras in permutable varieties: geometrical properties of affine algebras. Alg. Univ. 9: pp. 834
 Hagemann, J., Herrmann, C. (1979) A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity. Arch. Math. (Basel) 32: pp. 234245
 Herrmann, C. (1979) Affine algebras in congruence modular varieties. Acta Sci. Math. (Szeged) 41: pp. 119125
 R. McKenzie,On minimal, locally finite varieties with permuting congruence relations (unpublished).
 McKenzie, R. (1978) Para primal varieties: A study of finite aziomatizability and definable principal congruences in locally finite varieties. Alg. Univ. 8: pp. 336348
 McKenzie, R. (1982) Residually small varieties of Kalgebras. Alg. Univ. 14: pp. 181196
 R. Quackenbush,Algebras with small fine spectrum (unpublished).
 Quackenbush, R. (1980) Algebras with minimal spectrum. Alg. Univ. 10: pp. 117129 CrossRef
 R. Quackenbush,A new proof of Rosenberg's primal algebra characterization theorem, Preprint (1980).
 J. D. H. Smith,Malcev Varieties, Springer Lecture Notes 554 (Berlin, 1976).
 Taylor, W. (1974) Uniformity of congruences. Alg. Univ. 4: pp. 342360
 Taylor, W. (1975) The fine spectrum of a variety. Alg. Univ. 5: pp. 263303
 Scott, W. R. (1974) Group Theory. PrenticeHall, New Jersey
 Title
 Narrowness implies uniformity
 Journal

algebra universalis
Volume 15, Issue 1 , pp 6785
 Cover Date
 19821201
 DOI
 10.1007/BF02483709
 Print ISSN
 00025240
 Online ISSN
 14208911
 Publisher
 BirkhäuserVerlag
 Additional Links
 Topics
 Authors

 Ralph McKenzie ^{(1)}
 Author Affiliations

 1. University of California, Berkeley, California, U.S.A.