Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 21 4 1 Solution Created 2026-10-03 Updated 2026-10-07
We use the standard characteristic- absolute Galois-group theorem, , and the cohomological identification . Both are clearly stated inputs permitted for this question.
In characteristic , the map on is injective, although it need not be surjective: th roots are purely inseparable. Thus it gives an exact sequence of discrete Galois modulesThe quotient is killed by . Since , . The long exact cohomology sequence containsTherefore multiplication by on is surjective. This is Brauer p-divisibility in characteristic p. The quotient-module sequence is the relevant one in characteristic ; the separable Kummer sequence with a nontrivial is not available there.