The first group isomorphism theorem, also known as the fundamental homomorphism theorem, states that if is a group homomorphism,
then
and ,
where
indicates that is a normal subgroup of
,
denotes the group kernel, and indicates that and are isomorphic groups.