← 2016 Paper 2

UPSC 2016 Maths Optional Paper 2 Q4a — Step-by-Step Solution

15 marks · Section A

Field Extensions; Tower Law; Algebraic Closure · Algebra · asked 2× in 13 yrs · Read the full method →

Question

Show that every algebraically closed field is infinite.

Technique

Contrapositive via the “Euclid-style” polynomial aF(Xa)+1\prod_{a\in F}(X-a)+1, which evaluates to 11 at every field element and so has no root — defeating algebraic closure for any finite field.

Solution

We prove the contrapositive: a finite field is not algebraically closed, by exhibiting a polynomial over it with no root. Recall FF is algebraically closed if every non-constant polynomial in F[X]F[X] has a root in FF.

Step 1 — Suppose, for contradiction, FF is finite and algebraically closed

Let FF be a finite field, say F={a1,a2,,aq}F=\{a_1,a_2,\ldots,a_q\} with q=F1q=|F|\ge1 elements. (Every field has at least the distinct elements 00 and 11, so q2q\ge2; the argument below works for any finite qq.)

Step 2 — Construct a polynomial with no root in FF

Define

p(X)=(i=1q(Xai))+1 F[X].p(X)=\Big(\prod_{i=1}^{q}(X-a_i)\Big)+1\ \in F[X].

The product i(Xai)\prod_i(X-a_i) has degree q1q\ge1 and leading coefficient 11, so pp is a non-constant polynomial (degree q1q\ge1), with leading term XqX^q.

Step 3 — pp has no root in FF

Evaluate pp at any element ajFa_j\in F. The factor (Xaj)(X-a_j) appears in the product, so i(ajai)=0\prod_i(a_j-a_i)=0 (the i=ji=j term is ajaj=0a_j-a_j=0). Hence

p(aj)=0+1=10for every j.p(a_j)=0+1=1\ne0\qquad\text{for every }j.

So pp has no root in FF. (Here 101\ne0 because in a field 101\ne0.)

Step 4 — Contradiction

pp is a non-constant polynomial in F[X]F[X] with no root in FF. This contradicts the assumption that FF is algebraically closed (which requires every non-constant polynomial to have a root in FF). Therefore no finite field is algebraically closed.

Equivalently, by contraposition: if FF is algebraically closed, then FF is infinite.

Answer

  Every algebraically closed field is infinite.  \boxed{\;\text{Every algebraically closed field is infinite.}\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.