Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 138 1 a Solution Created 2026-10-03 Updated 2026-10-05
Let be the group norm element. This is a nonzero vector in the group algebra , and is a trivial submodule of its left regular module. If were a semisimple algebra, this submodule would have a -linear projection . Write . Since for every , we would havewhereas a projection onto satisfies . Thus .