Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-101/2/iv/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 101 2 iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Yes. Let be maximal and setThen is a field generated as a -algebra by countably many elements. Since the polynomial ring in countably many variables has a countable monomial basis, has at most countable dimension as a -vector space.
Suppose were transcendental over . The familywould be linearly independent over . Indeed, after multiplying a finite relation by , evaluation at forces the th coefficient to vanish. This would be an uncountable linearly independent subset of the countable-dimensional vector space , a contradiction.
Thus is algebraic. Since is an algebraically closed field, . If is the image of , the quotient map is evaluation at and
New to topics? Read the docs here!