← 2018 Paper 2

UPSC 2018 Maths Optional Paper 2 Q1a — Step-by-Step Solution

10 marks · Section A

Integral domains; characteristic · Algebra · asked 2× in 13 yrs · Read the full method →

Question

Let RR be an integral domain with unit element. Show that any unit in R[x]R[x] is a unit in RR.

Technique

Additivity of the degree function in R[x]R[x] over an integral domain; reduce a unit equation fg=1fg=1 to a degree equation.

Solution

Here “unit element” means RR has a multiplicative identity 101\ne 0, and a unit of a ring is an element with a two-sided multiplicative inverse. We must show: if f(x)R[x]f(x)\in R[x] is a unit of the polynomial ring R[x]R[x], then in fact ff is a constant polynomial whose constant term is a unit of RR (so fRf\in R and is a unit there).

Step 1 — Degree function on R[x]R[x] when RR is a domain

For a nonzero polynomial f=a0+a1x++amxmf=a_0+a_1x+\cdots+a_mx^m with am0a_m\ne0 write degf=m\deg f=m and call ama_m the leading coefficient. The crucial fact, valid precisely because RR is an integral domain (no zero divisors):

if f,g0 with leading coefficients am,bn, then fg0 and deg(fg)=degf+degg.\text{if } f,g\ne0 \text{ with leading coefficients } a_m,b_n,\ \text{then } fg\ne0 \text{ and } \deg(fg)=\deg f+\deg g.

Indeed the top coefficient of fgfg is ambna_mb_n, and am0, bn0ambn0a_m\ne0,\ b_n\ne0\Rightarrow a_mb_n\ne0 since RR has no zero divisors. In particular R[x]R[x] is itself an integral domain and the degree is additive.

Step 2 — A unit must have degree 00

Let fR[x]f\in R[x] be a unit, so there exists gR[x]g\in R[x] with

fg=1.f\,g=1.

Neither ff nor gg is the zero polynomial (their product is 101\ne0). Apply the additive degree formula:

degf+degg=deg(fg)=deg(1)=0.\deg f+\deg g=\deg(fg)=\deg(1)=0.

Since degf0\deg f\ge0 and degg0\deg g\ge0 are non-negative integers summing to 00, we must have

degf=0anddegg=0.\deg f=0\quad\text{and}\quad \deg g=0.

Thus f=a0f=a_0 and g=b0g=b_0 are constant polynomials, i.e. a0,b0Ra_0,b_0\in R.

Step 3 — The constant is a unit of RR

From fg=1fg=1 with f=a0, g=b0f=a_0,\ g=b_0 we get a0b0=1a_0b_0=1 in RR. Hence a0a_0 has a multiplicative inverse b0b_0 in RR, so a0a_0 is a unit of RR.

Therefore every unit of R[x]R[x] lies in RR and is a unit of RR. \blacksquare

Answer

  f(x)R[x] a unit  f=a0R with a0 a unit of R  (using that R is a domain).  \boxed{\;f(x)\in R[x]\text{ a unit}\ \Longrightarrow\ f=a_0\in R\text{ with }a_0\text{ a unit of }R\ \ (\text{using that }R\text{ is a domain}).\;}
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.