A property of finite algebras having \(M_ n's\) as congruence lattices (Q800950)

In the problem whether every finite lattice is represantable as the congruence lattice of a finite algebra, the lattices \(M_ n\) are tested. In a paper of Feit it was shown, that \(M_ 7\) is representable as a congruence lattice of a finite algebra. In that example the universal congruence is principal. In this paper it is proved that that must be so necessarily by the following theorem: Let the congruence lattice Con (A,F) of the finite algebra (A,F) be isomorphic to one of the lattices \(M_ n\), n a positive integer and n-1 not a prime power. Then \(A\times A\) is a principal congruence of (A,F).