Paper 3, Section II, H
Part II, 2010
Let be a field of characteristic 0 . It is known that soluble extensions of are contained in a succession of cyclotomic and Kummer extensions. We will refine this statement.
Let be a positive integer. The -th cyclotomic field over a field is denoted by . Let be a primitive -th root of unity in .
(i) Write in terms of radicals. Write and as a succession of Kummer extensions.
(ii) Let , and . Show that can be written as a succession of Kummer extensions, using the structure theorem of finite abelian groups (in other words, roots of unity can be written in terms of radicals). Show that every soluble extension of is contained in a succession of Kummer extensions.