Back to A Complete Introduction to Abstract Algebra

Further Properties of Homomorphisms

The image and kernel of a homomorphism between groups, and why the kernel always turns out to be a normal subgroup of the domain.

A Complete Introduction to Abstract Algebra, Further Properties of Homomorphisms

Status
FlagsLoading your progress…

11 exercises

Exercise 1

Consider the map ϕ:Z3→Z6,n↦2n\phi:\mathbb{Z}_{3}\to\mathbb{Z}_{6},n\mapsto 2n. Determine whether ϕ\phi is a homomorphism and, if so, find its image.

3.0

Exercise 2

Let ii be the imaginary unit, i.e. i2=−1i^{2}=-1. Let G=(Z,+)G=(\mathbb{Z},+) and H=(⟨i⟩,×)H=(\langle i\rangle,\times). Let the map ϕ:G→H,n↦in\phi:G\to H,n\mapsto i^{n}. Show that ϕ\phi is a homomorphism and hence find ker⁡ϕ\ker\phi.

3.0

Exercise 3

Let GG and HH be groups. Prove that a homomorphism ϕ:G→H\phi:G\to H is injective if and only if ker⁡ϕ\ker\phi is trivial, i.e. ker⁡ϕ={eG}\ker\phi=\{e_{G}\}.

3.0

Exercise 4

Let ϕ:G→H\phi:G\to H be a homomorphism between finite groups GG and HH. Prove that ∣G∣=∣im  ϕ∣×∣ker⁡ϕ∣|G|=|\mathrm{im}\;\phi|\times|\ker\phi|.

3.0

Exercise 5

Let GG be a finite group. Let HH be a subgroup of GG and let NN be a normal subgroup of GG. Prove that

3.0

Exercise 6

Suppose xx and yy are positive integers such that y=mxy=mx for some integer mm. Let H=xZH=x\mathbb{Z} and N=yZN=y\mathbb{Z} be groups under addition.

  1. Explain why N⊆HN\subseteq H.

  2. Find a group GG such that both HH and NN are normal subgroups of GG.

  3. Hence find the order of H/NH/N.

3.0

Problem 1

Let GG be a group. Prove that G/GG/G is isomorphic to the trivial group.

3.0

Problem 2

Let the group R=(R,+)R=(\mathbb{R},+). Also let the groups G=R2G=R^{2} and H={(r×2,r×3)∣r∈R}H=\left\{(r\times\sqrt{2},r\times\sqrt{3})\mid r\in R\right\} be under component-wise addition. Prove that G/H≅RG/H\cong R.

3.0

Problem 3

Let GG be a group. Let HH and KK be subgroups of GG such that K⊆HK\subseteq H. Prove that HK=HHK=H.

3.0

Problem 4

Let GG be an abelian group under the operation ∗\ast. Let I={(g,g−1)∣g∈G}I=\{(g,g^{-1})\mid g\in G\} be a group under component-wise application of ∗\ast.

  1. Show that I≅GI\cong G.

  2. Prove that G2/I≅GG^{2}/I\cong G.

3.0

Problem 5

Let G=mZG=m\mathbb{Z} and H=nZH=n\mathbb{Z} be groups under addition, where m∣nm\mid n and m≠nm\neq n. Let the map ϕ:G→Z/(nmZ)\phi:G\to\mathbb{Z}/({\frac{n}{m}}\mathbb{Z}) be defined such that

Prove that G/H≅ZnmG/H\cong\mathbb{Z}_{\frac{n}{m}}.

3.0

Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.