Define the set R[[X]] of formal power series in the indeterminate X with coefficients from R to be all formal infinite sums
Define addition and multiplication of power series in the same way as for power series with real or complex coeficients,i.e extend polynomial addition and multiplication to power series as though they were "polynomial of infinite degree":
(P.S: The term "formal" is used here to indicate that convergence is not considered, so that formal power series need not represent functions on R)
Assuming that R[[X]] is a commutative ring with 1 prove:
a)That 1-X is a unit in R[[X]] with inverse 1+X+X^2+X^3+.....
b)That sum(a_nX^n) is a unit in R[[X]] iff a_0 is a unit in R.
The sums here go from n=0 to infinity
a) Formally, we have
=(1+x+x^2+...) - x(1+x+x^2+...)
=(1+x+x^2+...) - (x+x^2+x^3+...)
=1+(x+x^2+...) - (x+x^2+...) = 1
Thus (1-x) is a unit and its inverse is 1+x+x^2+...
b) "=>": If ...
A power series proof is provided.