Arithmetic for Quotient Groups – How exaclty does it work

I have just received some help from Euge regarding the proof of part of the Correspondence Theorem (Lattice Isomorphism Theorem) for groups …
…