Given groups \(G\) and \(G^{\ast}\), a homomorphism \(\theta : G \rightarrow G^{\ast}\) is called an isomorphism if
\(\theta\) is surjective and inclusive
—>> \(\theta\) is injective and surjective
\(\theta\) is normal in \(G\)
\(\theta\) is inclusive and injective
