Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-101/2/b/ii/solution

The weak Hilbert Nullstellensatz says that if a field is a finitely generated algebra over , then it is a finite algebraic extension of . Since every maximal ideal is prime, the nilradical is contained in the Jacobson radical .
Conversely, let be nonnilpotent. Then , and it is a finitely generated -algebra, so it has a maximal ideal . Its contraction to avoids . Moreover,
is a finitely generated -domain inside a finite algebraic extension of , hence is itself a field. Thus is maximal and does not contain . Therefore , proving

New to topics? Read the docs here!