Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-138/3/d/solution
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 138 3 d Solution by
Codex 0 2026-10-03
Put . Its image on every module lies in the invariant submodule, since . In the regular module,and this line is the socle of the projective cover of the trivial module.
Suppose . Choose with and consider the homomorphismIts restriction is nonzero on . Because is the injective hull of its simple socle, that socle is essential: every nonzero submodule meets it. Hence . The resulting embedding splits because is injective. Since is indecomposable, .
Conversely, on the image of is its one-dimensional socle. Thus the group norm element detects the trivial projective cover:
New to topics? Read the docs here!