Mathematics · Advanced university
Homomorphisms, kernels and quotient structure
A structure-preserving map respects the relevant operation.
Prerequisites
Groups, linear maps and equivalence classes.
Study notes
Homomorphism
A structure-preserving map respects the relevant operation.
Kernel
Elements mapped to the identity form the kernel; for a group homomorphism it is a normal subgroup.
Quotient
Cosets identify points differing by a kernel or a specified normal subgroup.
First isomorphism theorem
The quotient by the kernel is isomorphic to the image, with the induced map well-defined.
Worked examples
A linear map from R^8 has a kernel of dimension 3. What is the dimension of its image?
Rank-nullity gives 8−3=5.
5
For φ:Z→Z/5Z given by reduction modulo 5, describe its kernel.
Credit exactly those integers mapped to the zero residue class.
The multiples of 5, namely 5Z.
Check your understanding
A group homomorphism is injective exactly when its kernel is what?
- Empty
- The whole codomain
- The identity subgroup
- A set with two elements
A finite group of order 24 has a homomorphism with kernel order 6. What is the image order?
Why must a group subgroup be normal before the usual coset multiplication defines a quotient group?
What object is isomorphic to G/ker φ?
- The set of all subgroups
- The image of φ
- Only ker φ itself
- Every codomain of φ automatically
Answers and marking guidance
Answers and marking notes
- The identity subgroup
A trivial kernel means no two distinct domain elements have the same image.
- 4
The first isomorphism theorem or equal fibers gives 24/6=4.
- Normality ensures the product of cosets is independent of the representative choices.
Credit well-defined multiplication and representative independence.
- The image of φ
Surjectivity onto the whole codomain is not automatic, so the theorem identifies the image.
Further reading and review references
These are reference links, not copied exercises, institutional endorsement or proof of independent review.
AI-assisted preview; independent educational review required. Level labels describe prerequisites, not accreditation or official curriculum alignment.