The second, or diamond, group isomorphism theorem, states that if is a group with , and , then and , where indicates that is a normal subgroup of
and
indicates that and are isomorphic groups.
This theorem is so named because of the diamond shaped lattice of subgroups of
involved.