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
11 exercises
Exercise 1
Consider the map . Determine whether is a homomorphism and, if so, find its image.
Exercise 2
Let be the imaginary unit, i.e. . Let and . Let the map . Show that is a homomorphism and hence find .
Exercise 3
Let and be groups. Prove that a homomorphism is injective if and only if is trivial, i.e. .
Exercise 4
Let be a homomorphism between finite groups and . Prove that .
Exercise 5
Let be a finite group. Let be a subgroup of and let be a normal subgroup of . Prove that
Exercise 6
Suppose and are positive integers such that for some integer . Let and be groups under addition.
-
Explain why .
-
Find a group such that both and are normal subgroups of .
-
Hence find the order of .
Problem 1
Let be a group. Prove that is isomorphic to the trivial group.
Problem 2
Let the group . Also let the groups and be under component-wise addition. Prove that .
Problem 3
Let be a group. Let and be subgroups of such that . Prove that .
Problem 4
Let be an abelian group under the operation . Let be a group under component-wise application of .
-
Show that .
-
Prove that .
Problem 5
Let and be groups under addition, where and . Let the map be defined such that
Prove that .
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.