0
$\begingroup$

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 ?

$\endgroup$
2
$\begingroup$

The following result is very useful:

Lemma. The sum of a nilpotent and a unit is a unit.

$(\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.

$\endgroup$
0
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ it's not necessary that there is an inverse to $p_{n}$ ! $\endgroup$ – Fawzy Hegab May 3 '13 at 21:34
  • $\begingroup$ @MathsLover unit= invertible! $\endgroup$ – Ma Ming May 3 '13 at 21:38

Not the answer you're looking for? Browse other questions tagged or ask your own question.