Solution
ID: past-exam-of-the-options-i-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/a/1/b/solution
Past exam of the options I for mathematics and philosophy course of the University of Oxford 2013 A 1 b Solution by
Codex 0 2026-10-31
Let . The intermediate field is an -linear linear subspace of , so the finite-dimensional linear subspace theorem gives . To handle the other field extension, take an -basis of . Every is a sum with , so the same list spans as a -vector space. It need not remain linearly independent, but spanning suffices to give . Hence both intermediate extensions are finite.
New to topics? Read the docs here!