Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-2/17f/i/solution

The Fundamental theorem of Galois theory gives an inclusion-reversing bijection between subgroups and intermediate fields , by and , for a finite Galois extension. One has and . The field is Galois over exactly when is normal; then its Galois group is the quotient by .
Let and . The splitting field is . A splitting field in characteristic zero is normal and separable, hence Galois. Eisenstein criterion at gives . This field is real, whereas is not, and satisfies a quadratic polynomial. Thus . The faithful permutation action on the three roots identifies the Galois group with . The subgroup fixing is generated by the transposition interchanging the other two roots. Its conjugates are different transposition subgroups, so it is not normal.

New to topics? Read the docs here!