Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-4/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 4 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Put and choose a generator of . In characteristic , , soA module is a vector space with a nilpotent operator whose nilpotence index is at most . The nilpotent Jordan normal form, valid over every field, splits it into Jordan blocks. One block of size isIt is indecomposable: its endomorphism ring is , a local ring with no nontrivial idempotents. Distinct have distinct dimensions. Conversely a direct sum of at least two Jordan blocks is decomposable. Thus there are exactly indecomposable isomorphism classes.
A homomorphism is determined by the image of , which can be any element of annihilated by . If this is all of , of dimension ; if it is the span of , of dimension . HenceThis realizes the indecomposable modules for a cyclic p-group.
New to topics? Read the docs here!