← 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 14 yrs · Read the full method →

Question

Show that every algebraically closed field is infinite.

Technique

Contrapositive via the “Euclid-style” polynomial ∏a∈F(X−a)+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=∣F∣≥1q=|F|\ge1 elements. (Every field has at least the distinct elements 00 and 11, so q≥2q\ge2; the argument below works for any finite qq.)

Step 2 — Construct a polynomial with no root in FF

Define

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

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

Step 3 — pp has no root in FF

Evaluate pp at any element aj∈Fa_j\in F. The factor (X−aj)(X-a_j) appears in the product, so ∏i(aj−ai)=0\prod_i(a_j-a_i)=0 (the i=ji=j term is aj−aj=0a_j-a_j=0). Hence

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

So pp has no root in FF. (Here 1≠01\ne0 because in a field 1≠01\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 — 14 years, mapped. Get the take-away PDF free.