Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there any way to calculate the multiplicative group of the units of power series ring $k[[x]]$ where $k$ is a field

share|improve this question
    
The units in $k[[x]]$ are precisely those power series whose constant term is a unit. I hope this helps. –  Chris Leary Feb 29 '12 at 3:29
    
Thank you Chris. –  Rajesh Feb 29 '12 at 4:01

3 Answers 3

Hint $\rm\displaystyle\quad 1\: =\: (a-xf)(b-xg)\ \Rightarrow\ ab=1$ $$\Rightarrow\ \ \displaystyle\rm\frac{1}{a-xf}\ =\ \frac{b}{1-bxf}\ =\ b\:(1+bxf+(bxf)^2+(bxf)^3+\:\cdots\:)$$

share|improve this answer

$\bf Hint:$ $\sum_{n=0}^\infty a_nx^n$ is a unit iff $a_0\ne 0$.

share|improve this answer
    
Thank you azarel, this makes sense. –  Rajesh Feb 29 '12 at 4:00
    
Could you give a hint as to why this is true? –  math1234567 May 10 at 17:19

The multiplicative group is $k[[x]]\backslash (x)$. Certainly those elements divisible by $x$ are not units. If an element is not divisble by $x$ (in other words, has nonzero constant term), you can construct the inverse term by term.

share|improve this answer
    
Thank you Brett. –  Rajesh Feb 29 '12 at 4:00

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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