Exercise 973Algebra › GroupsL1Added 3 Nov 2026
Group homomorphisms
#homomorphism#kernel#image
Statement
Let be a group homomorphism. Show that:
1. ;
2. ;
3. is a subgroup of ;
4. is a subgroup of .
Hint
Use the homomorphism property .
Show solutionHide solution
Solution
1. , so multiplying by : .
2. , so .
3. . Contains (by 1). If : , so . Subgroup.
4. . Nonempty (contains ). If , then . Subgroup.
Conclusion. All four properties hold.