Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ia/paper-3/2e/solution
Past exam of the mathematics course of the University of Cambridge 2017 ia Paper 3 2E Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
A subgroup of a group is a normal subgroup when for every , equivalently . The quotient group has the left cosets as elements, with , identity and inverse . Normality makes this multiplication independent of representatives.
The first isomorphism theorem for groups says that for a group homomorphism , its kernel of a group homomorphism is normal andThe image is taken with the induced group operation; surjectivity onto all of is not required.
For the given upper triangular matrices, take diagonal entries:The target is a direct product of groups, with multiplication of nonzero real numbers in each coordinate. Indeed the product of two such matrices has diagonal , proving the group homomorphism property. Any pair of nonzero diagonal entries is attained by a diagonal matrix, so is surjective. Its kernel of a group homomorphism consists precisely of the matrices with , namely . Hencewith coordinatewise multiplication, not addition on .
New to topics? Read the docs here!