# prove that $a_0$ is a unit and that $a_1 , a_2 , .. a_{n}$ are nilpotents in $R$ . [duplicate]

let R be a commutative ring . let $p(x) = a_n x^n + a_{n-1} x^{n-1} +...+a_1 x +a_0$ $\in$ $R[x]$

prove that , $p(x)$ is a unit in R[x] iff a_0 is a unit and $a_1 , a_2 ,... , a_n$ are nilpotents in $R$

i could prove that $a_1$ is a unit $R$

and that $a_i$ is a zero divisor in $R$

but i couldn't show that it's a nilpotent !

any hints ?!

this is problem #33.a page 250 from dummit and foote's text , 3rd ed .

in a website , they said that the proof can be done by induction but i coiuldn't follow the proof

any nice hints to help me solve this problem ?

$(\Leftarrow)$ If $a_0\in R^\times$ and $a_1,\dots,a_n$ are nilpotent, then clearly $a_1x+\cdots+a_nx^n$ is nilpotent (just raise it to a high enough power and every term will contain $a_i^N=0$). Then $f(x)$ is the sum of a nilpotent and a unit, hence a unit.
$(\Rightarrow)$ Comparing the constant and the $x^{m+n}$ terms in $fg=1$ gives $a_0b_0=1$, so $a_0$ is a unit, and $a_nb_m=0$, which starts the induction. Comparing the coefficients of $x^{m+n-r}$ yields: $$a_{n-r}b_m+a_{n-r+1}b_{m-1}+\cdots+a_nb_{m-r}=0.$$Can you go from here? You want to try and show that $a_n$ is nilpotent, since then $f(x)-a_nx^n$ is the sum of a nilpotent and a unit.
Hint: WOLOG, let $a_0=1$, $p_n(x)=a_nx^n+a_{n-1}x+\dots+1=a_n x^n+p_{n-1}(x)$. Suppose $q_m(x)=b_mx^m+b_{m-1}x^{m-1}+\dots+1=b_mx^m+q_{m-1}$ is the inverse of $p_n$. Show $p_{n-1}q_{m-1}=1$, and then $a_n$ is nilpotent. Now you know how the induction works.
• it's not necessary that there is an inverse to $p_{n}$ ! – Fawzy Hegab May 3 '13 at 21:34