Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/18f/solution
Past exam of the mathematics course of the University of Cambridge 2026 ii Paper 1 18F Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Orbits of the root action are precisely roots belonging to the same irreducible factor, proving transitivity iff irreducibility.
For a same-degree counterexample, let ,Both split in , but the first action has two orbits of size two while the second is transitive, so the subgroups are not conjugate in .
Over a finite field, Frobenius cycle type proves the assertion. The given quartic reduces over to , which is irreducible, so its group there is cyclic of order four generated by a -cycle.
Over the polynomial is irreducible by the same reduction. Modulo it factors as linear times irreducible cubic, so Dedekind factorization cycle test gives a -cycle; modulo it gives a -cycle. Its discriminant is , and modulo its factor degrees are , giving a transposition. These cycle types force the transitive group to be .
New to topics? Read the docs here!