0
$\begingroup$

Let the ring $R[X]$ of all power formal series $\sum_{i=-\infty}^{\infty}{a_iX^i}$, (where $a_i$ are coefficients in finite field $K$) in which $a_i=0$, for every $i>0$ with at most a finite number. Observe that $K[X]$, the ring of polynomials in $X$, is embedded in $R[X]$ in natural manner.

My question is: Let $g(X)$ and $f(X) \in R[X]$, with degree $n$ and $n-1$ respect. How i get the g(X) inverse with indeterminants $X^{-i}$?. Because in my text say

$f(X) = ((a_0X^{-1}+a_1X^{-2}+...+a_{n-1}X^{-n}) + b_nX^{-(n+1)}+...)g(X)$.

pdta: I think that $f(X)=f(X)g(X)^{-1}g(X)$ then $f(X)g(X)^{-1} = ((a_0X^{-1}+a_1X^{-2}+...+a_{n-1}X^{-n}) + b_nX^{-(n+1)}+...)$, but my problem is the inverse of $g(X)$

  • 0
    If you want to get someone's attention, you have to write @GEdgar2012-02-28

1 Answers 1

4

LONG DIVISION

Divide $x+1$ by $x^2-x-1$, express the answer as a Laurent series at $x=\infty$.

long division

continue to get as many terms as you like! After a while, maybe you can see a pattern, then prove it.