A new proof of Reiterman's theorem
Malt’tsev–Neumann products of semi-simple classes of associative rings are studied and some conditions which ensure that such a product is again a semi-simple class are obtained. It is shown that both products, and of semi-simple classes and are semi-simple classes if and only if they are equal.
A class ℱ of universal algebras is called a formation if the following conditions are satisfied: 1) Any homomorphic image of A ∈ ℱ is in ℱ; 2) If α₁, α₂ are congruences on A and , i = 1,2, then A/(α₁∩α₂) ∈ ℱ. We prove that any formation generated by a simple algebra with permutable congruences is minimal, and hence any formation containing a simple algebra, with permutable congruences, contains a minimum subformation. This result gives a partial answer to an open problem of Shemetkov and Skiba...