Exercise · ZW-KERNEL-OF-A-HOMOMORPHISM-006 · ★★☆ Intermediate

A homomorphism \(\varphi\colon G\to H\) is injective. What can be stated for sure?

Choose one option.

Show answer
  • D. The kernel is \(\{e_G\}\)

Explanation

If \(\varphi(g)=e_H=\varphi(e_G)\), injectivity gives \(g=e_G\); so the kernel is trivial. Surjectivity and equal orders do not follow.

Study Modern algebra I in ZWMath →

Review the concept: Kernel of a homomorphism

The kernel of a group homomorphism \(\varphi\colon G\to H\) is the set of elements of \(G\) that \(\varphi\) sends to the identity \(e_H\) of \(H\).

\[\ker\varphi=\{g\in G:\ \varphi(g)=e_H\}\]

More practice problems: kernel of a homomorphism

← ZW-KERNEL-OF-A-HOMOMORPHISM-005 ZW-KERNEL-OF-A-HOMOMORPHISM-007 →