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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|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

Hint $\rm\displaystyle\quad 1\: =\: (a-xf)(b-xg)\ \Rightarrow\ \color{#c00}{ab=\bf 1}\ $ so scaling top & bottom below by $\rm \,b\,$ yields
$$\Rightarrow\ \ \displaystyle\rm\ \ \frac{1}{a-xf}\ =\ \frac{b}{\color{#c00}{\bf 1}-bxf}\ =\ b\:(1+bxf+(bxf)^2+(bxf)^3+\:\cdots\:)$$

share|cite|improve this answer

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

share|cite|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 '14 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|cite|improve this answer
Thank you Brett. – Rajesh Feb 29 '12 at 4:00

Your Answer


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.