Congruence pairs of principal MS-algebras and perfect extensions

Abd El-Mohsen Badawy, Miroslav Haviar, Miroslav Ploščica

The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras \cite{6}, is introduced. It is proved that the congruences of the…