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]]$?



flatness of power series rings
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$.


