Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

I'm asked if the ring of formal power series is finitely generated as a $K$-algebra. Intuition says no, but I don't know where to start. Any hint or suggestion?

share|cite|improve this question
You mean formal power series? – Siméon Jan 6 '13 at 13:47
Try to write $1+x+x^2+x^3+\cdots$ as a finite linear combination? – Hui Yu Jan 6 '13 at 13:55
@HuiYu yes, you can write it as $1\times (1+x+x^2+...)$. – Louis La Brocante Jan 6 '13 at 13:56
formal series, right sorry – user55354 Jan 6 '13 at 13:56
If $K$ is a field, then show that $K[[x]]$ has uncountable dimension as a $K$-vector space, while any finitely-generated $K$-algebra has at most countable dimension. – Zhen Lin Jan 6 '13 at 14:04

Let $A$ be a non-trivial commutative ring. Then $A[[x]]$ is not finitely generated as a $A$-algebra.

Indeed, observe that $A$ must have a maximal ideal $\mathfrak{m}$, so we have a field $k = A / \mathfrak{m}$, and if $k[[x]]$ is not finitely-generated as a $k$-algebra, then $A[[x]]$ cannot be finitely-generated as an $A$-algebra. So it suffices to prove that $k[[x]]$ is not finitely generated. Now, it is a straightforward matter to show that the polynomial ring $k[x_1, \ldots, x_n]$ has a countably infinite basis as a $k$-vector space, so any finitely-generated $k$-algebra must have an at most countable basis as a $k$-vector space.

However, $k[[x]]$ has an uncountable basis as a $k$-vector space. Observe that $k[[x]]$ is obviously isomorphic to $k^\mathbb{N}$, the space of all $\mathbb{N}$-indexed sequences of elements of $k$, as $k$-vector spaces. But it is well-known that $k^\mathbb{N}$ is of uncountable dimension: see here, for example.

share|cite|improve this answer

Finitely generated $k$-algebras are Jacobson, hence finitely generated local $k$-algebras are artinian, hence finitely generated local $k$-domains are fields. Well, $k[[x]]$ is not a field.

share|cite|improve this answer
Dear @Martin, This is really nice! – Keenan Kidwell Jan 16 '13 at 18:46
I don't understand your claim that finitely-generated local $k$-algebras are artinian, but it's certainly true that a local Jacobson domain must be a field. (Because then the unique maximal ideal = Jacobson radical = nilradical = 0.) – Zhen Lin Jan 17 '13 at 9:59
In a local jacobson ring, there is only one prime ideal, and artinian = noetherian + zero-dimensional. – Martin Brandenburg Jan 21 '13 at 22:58
Basically I use the same argument which you suggest. – Martin Brandenburg Jan 22 '13 at 8:47

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.