## Abstract

This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integers*p* such that*p* is a divisor of the cardinality of some finite algebra inV. Such varieties are called*narrow*.

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 called*directly 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 congruences*x* and*y* 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 rings*R* with identity element for which the variety of all unitary left*R*-modules is directly representable. (In the terminology of [7], the condition is that*R* 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.

## Preview

Unable to display preview. Download preview PDF.

### References

- [1]
- [2]S. Burris,
*Arithmetical varieties and Boolean product representations*, Preprint (1978).Google Scholar - [3]
- [4]D. Clark andP. Krauss,
*Para primal algebras*, Alg. Univ.*6*(1976), 165–192.MATHMathSciNetGoogle Scholar - [5]D. Clark andP. Krauss,
*Varieties generated by para primal algebras*, Alg. Univ.*7*(1977), 93–114.MATHMathSciNetGoogle Scholar - [6]
- [7]V. Dlab andC. M. Ringel,
*On algebras of finite representation type*, J. Algebra*33*(1975), 306–394.MATHMathSciNetCrossRefGoogle Scholar - [8]V. Dlab andC. M. Ringel,
*Indecomposable representations of graphs and algebras*, Memoirs A.M.S. 6, number*173*(1976), 57 pages.Google Scholar - [9]R. Freese andR. McKenzie,
*Residually small varieties with modular congruence lattices*, Trans. Amer. Math. Soc. 264 (1981), 419–430.MATHMathSciNetCrossRefGoogle Scholar - [10]
- [11]G. Gratzer,
*A characterization of neutral elements in lattices*, Publications of the Math. Institute of the Hungarian Academy of Sciences,*7*(1962), 191–192.MathSciNetGoogle Scholar - [12]H. P. Gumm,
*Algebras in permutable varieties: geometrical properties of affine algebras*, Alg. Univ.*9*(1979), 8–34.MATHMathSciNetGoogle Scholar - [13]J. Hagemann andC. Herrmann,
*A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity*, Arch. Math. (Basel)*32*(1979), 234–245.MATHMathSciNetGoogle Scholar - [14]C. Herrmann,
*Affine algebras in congruence modular varieties*, Acta Sci. Math. (Szeged),*41*(1979), 119–125.MATHMathSciNetGoogle Scholar - [15]R. McKenzie,
*On minimal, locally finite varieties with permuting congruence relations*(unpublished).Google Scholar - [16]R. McKenzie,
*Para primal varieties: A study of finite aziomatizability and definable principal congruences in locally finite varieties*, Alg. Univ.*8*(1978), 336–348.MATHMathSciNetGoogle Scholar - [17]R. McKenzie,
*Residually small varieties of K-algebras*, Alg. Univ.*14*(1982), 181–196.MATHMathSciNetGoogle Scholar - [18]
- [19]R. Quackenbush,
*Algebras with minimal spectrum*, Alg. Univ.*10*(1980), 117–129.MATHMathSciNetCrossRefGoogle Scholar - [20]R. Quackenbush,
*A new proof of Rosenberg's primal algebra characterization theorem*, Preprint (1980).Google Scholar - [21]
- [22]
- [23]
- [24]