MathOverflow is a question and answer site for professional mathematicians. 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

It is known that $A[[X]]$ is flat if $A$ is noetherian (see for example Bourbaki, Algèbre commutative, Ch. III, §3, Cor. 3 p. 146).

What happens if A is not noetherian? Is there an easy counter-example to the flatness of $A[[X]]$?

share|cite|improve this question
up vote 12 down vote accepted

As a module, $A[[X]]$ is the product of a countable family of copies of $A$. It is known that the product of flat $A$-modules is flat if and only if the ring $A$ is coherent, that is, every finitely generated ideal is finitely presented ( ).

If you look at the proof of Theorem 2.1 in that paper, you can show that if $k$ is a field and $A$ is the quotient a polynomial ring $k[t_1, t_2, \dots]$ in countably many variables by the ideal generated by the products $t_it_j$, the product of countably many copies of $A$ is not flat over $A$.

share|cite|improve this answer
Thanks a lot for this answer and for the reference, Angelo. – Baptiste Calmès Jan 31 '13 at 19:04
Dear Baptiste, you are very welcome. – Angelo Jan 31 '13 at 19:31
As I understand it, this paper was what launched the definition (and hence the whole study) of coherent rings in the first place. – Neil Epstein Feb 1 '13 at 15:07

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.