Purchase Solution

Power Series Proof

Not what you're looking for?

Ask Custom Question

Define the set R[[X]] of formal power series in the indeterminate X with coefficients from R to be all formal infinite sums
sum(a_nX^n)=a_0 +a_1X+a_2X^2+...
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":
sum(a_nX^n)+sum(b_nX^n)=sum(a_n+b_n)X^n and
(sum(a_nX^n))(sum(b_nX^n))=sum(sum(a_kb_n-k)X^n
(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

Purchase this Solution

Solution Summary

A power series proof is provided.

Solution Preview

Proof:
a) Formally, we have
(1-x)(1+x+x^2+...)
=(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 ...

Purchase this Solution


Free BrainMass Quizzes
Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Probability Quiz

Some questions on probability

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.