No label defined (Q4802805)

For any quasivariety \(R\) of algebras and an algebra \(A\), a congruence \(\theta\in \operatorname{Con}A\) of \(A\) is an \(R\)-congruence if the factor \(A/\theta\) belongs to \(R\). The set of all \(R\)-congruences \(\operatorname{Con}_RA\) of \(A\) is an algebraic lattice with respect to the inclusion relation. It is called the lattice of \(R\)-congruences of \(A\). A lattice \(L\) is a lattice of relative congruences if there are a quasivariety \(R\) of algebras and an algebra \(A\) such that \(L\) is isomorphic to \(\operatorname{Con}_RA\). The author proves that every finite lattice is isomorphic to the lattice of relative congruences for some finite unar or Abelian group.