Projective Algebras and Primitive Subquasivarieties in Varieties with Factor Congruences

Alex Citkin

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is pro…