Total algebras and weak independence. II

The theory of primal algebras has recently been generalized in several ways. In particular the concept has been extended on the one hand by the admission of subalgebras and internal isomorphisms to the successively larger classes of semi-primal, infra-primal and quasi-primal algebras [1, 3, 8], and on the other hand by the admission of proper congruences to the hemi-primal algebras [-23. In [53 the authors introduced the concept of "total" algebras: finite algebras in which all mappings which preserve all subalgebras, automorphisms and congruences are representable by polynomials. So defined, this class of algebras was shown to comprehend both the infra-primal and hemi-primal algebras, but, on the other hand, it is easy to see that the quasi-primal algebras (since they may possess non-identical isomorphic subalgebras) are not always total. In the present paper we enlarge the class of total algebras to include the quasi-primals as well as the semi-, infra-, and hemi-primals. Our principal focus is on systems of weakly independent quasi-primal algebras, their products, and the varieties generated by them.

[1]  Alfred L. Foster.  The identities of — and unique subdirect factorization within — classes of universal algebras , 1955 .

[2]  Alfred L. Foster.  Generalized “Boolean” theory of universal algebras , 1953 .

[3]  Algebraic and equational semi-maximality; equational spectra. I , 1966 .

[4]  A. Pixley,et al.  Functionally complete algebras generating distributive and permutable classes , 1970 .

[5]  Alfred L. Foster.  Semi-primal algebras; Characterization and normal-decomposition , 1967 .

[6]  T. Hu.  On the fundamental subdirect factorization theorems of primal algebra theory , 1969 .

[7]  Alfred L. Foster.  Congruence relations and functional completeness in universal algebras; Structure theory of hemi-primals, I. , 1970 .

[8]  A. Pixley,et al.  Semi-categorical algebras. I , 1964 .

[9]  F. M. Sioson.  Some primal clusters , 1961 .

[10]  Alfred L. Foster.  Families of algebras with unique (sub-) direct factorization: Equational characterization of factorization , 1966 .

[11]  A. Astromoff.  Some structure theorems for primal and categorical algebras , 1965 .

[12]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[13]  Heinrich Werner,et al.  Eine Charakterisierung funktional vollständiger Algebren , 1970 .

[14]  A. Pixley,et al.  The ternary discriminator function in universal algebra , 1971 .

[15]  A. Pixley,et al.  Semi-categorical algebras. II , 1964 .

[16]  Alfred L. Foster.  Automorphisms and functional completeness in universal algebras , 1969 .

[17]  Alfred L. Foster.  Functional completeness in the small algebraic structure theorems and identities , 1961 .