Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-136/3/c/solution

For odd , contains exactly the Teichmuller roots of unity; for it contains , so there are two. For odd , adjoining adds the roots of unity of -power order and no primitive th root, because the latter would enlarge the degree by . Combining the coprime-order groups gives
For , already lies in , so the answer remains two.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!