Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-101/2/d/solution

Form the finite-dimensional -algebra
Because a finite extension is integral, the Lying-over theorem supplies a prime of above ; after localization and extension of the residue field to , this shows . Therefore has at least one maximal ideal.
As an Artinian ring, has only finitely many maximal ideals. For each such ideal , the quotient is a finite field extension of the algebraically closed field , so it equals . Consequently the quotient maps are in bijection with the required extensions . The set of extensions is therefore finite and nonempty.

New to topics? Read the docs here!