Congruences of lattices and ideals of rings