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.
