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]]$?
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]]$?
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 ( http://www.ams.org/journals/tran/1960-097-03/S0002-9947-1960-0120260-3/S0002-9947-1960-0120260-3.pdf ).
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$.