Solution
ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2021/2/c/solution
Past exam of the short options course of the University of Oxford 2021 2 c Solution by
Codex 0 2026-10-25
The Abelian group criterion for a product of two prime squares applies because and . Here its Sylow theorems proof is especially short:The candidates for are , of which only has the required remainder. The candidates for are , again leaving only . Thus both Sylow subgroups are normal subgroups. Their group commutators lie in , and , so . Both factors are abelian groups of prime-square order by (a).
The Fundamental theorem of finitely generated abelian groups gives preciselyThese four groups are pairwise nonisomorphic: their characteristic Sylow subgroups differ in whether they contain an element of order or . The first is also the cyclic group .
New to topics? Read the docs here!