The primal algebra characterization theorem revisited (Q1185231)

The main theorem of the paper is, as a strong version of Rosenberg's primal algebra characterization theorem, a classification of finite simple algebras having no proper subalgebra into six independent classes. As the core of the proof of the theorem, certain semi-affine algebras that come up unexpectedly in the proof of Rosenberg's theorem are studied. It is shown that these algebras are isomorphic to reducts of matrix powers of 2-element unary algebras and that all other semi-affine algebras related to Rosenberg's theorem are affine. The main theorem is applied to some sorts of algebras and some corollaries are obtained.