Exercise · ZW-FIRST-ISOMORPHISM-THEOREM-004 · ★☆☆ Basic

If \(\varphi:G\to H\) is a homomorphism with \(\ker\varphi=\{e\}\), the first isomorphism theorem says that \(G\) is isomorphic to…

Choose one option.

Show answer
  • B. the image of \(\varphi\)

Explanation

With trivial kernel, \(G/\{e\}\cong G\), so \(G\cong\operatorname{im}\varphi\). It would be all of \(H\) only if \(\varphi\) were also surjective.

Study Modern algebra I in ZWMath →

Review the concept: First isomorphism theorem

Every group homomorphism \(\varphi:G\to H\) induces an isomorphism between the quotient of \(G\) by the kernel of \(\varphi\) and the image of \(\varphi\).

\[G/\ker\varphi\;\cong\;\varphi(G),\qquad a\ker\varphi\mapsto\varphi(a)\]

More practice problems: first isomorphism theorem

← ZW-FIRST-ISOMORPHISM-THEOREM-003 ZW-FIRST-ISOMORPHISM-THEOREM-005 →