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 leftR-modules is directly representable. (In the terminology of , 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.
Unable to display preview. Download preview PDF.
- S. Burris,A note on directly indecomposable algebras, Preprint (1979).Google Scholar
- S. Burris,Arithmetical varieties and Boolean product representations, Preprint (1978).Google Scholar
- S. Burris andR. McKenzie,Decidability and Boolean representations, Preprint (1980).Google Scholar
- D. Clark andP. Krauss,Plain para primal algebras, Alg. Univ. (to appear).Google Scholar
- V. Dlab andC. M. Ringel,Indecomposable representations of graphs and algebras, Memoirs A.M.S. 6, number173 (1976), 57 pages.Google Scholar
- R. Freese andR. McKenzie,The commutator, an overview, Preprint (1981).Google Scholar
- R. McKenzie,On minimal, locally finite varieties with permuting congruence relations (unpublished).Google Scholar
- R. Quackenbush,Algebras with small fine spectrum (unpublished).Google Scholar
- R. Quackenbush,A new proof of Rosenberg's primal algebra characterization theorem, Preprint (1980).Google Scholar
- J. D. H. Smith,Malcev Varieties, Springer Lecture Notes 554 (Berlin, 1976).Google Scholar