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

The title says it all:

Let $A$ be a commutative ring.

Are there any interesting known conditions on $A$ (other then being noetherian of course...) to ensure existence of a (non-zero) commutative noetherian ring $B$, and a flat ring map $A\to B$?

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

If $A$ is integral, you can take $B$ to be the fraction field $K(A)$ of $A$. The morphism $A\to K(A)$ is flat. In general, you (edit: can't) probably take $B$ to be the total field of fractions.

share|cite|improve this answer
Are you claiming that the generalized fraction field will always be noetherian? – the L Nov 13 '12 at 22:12
Actually, let me take that back. That can't be correct. What about taking $B$ to be the localization of $A$ at some minimal prime ideal? In this case $B$ is a local zero-dimensional ring. Aren't these always noetherian? – Harry Nov 13 '12 at 22:19
I proved a theorem which is correct for any ring $A$ which satisfies the condition of the above question. I know that my theorem is not true for any ring, so assuming my proof is correct, the answer to the above question cannot be - for any ring. – the L Nov 13 '12 at 22:20
Dear @Harry: Dimension zero local rings do not have to be Noetherian. See the link in the comments to the answer below. – Rankeya Nov 14 '12 at 0:29

Inspired by Harry's observation in the discussion, here is another way to get examples of what you seek. If you take any ring $A$ having a minimal prime ideal $p$ that is finitely generated (but $A$ is not necessarily Noetherian), then $A_p$ is a Noetherian ring (this follows from the result that if all the prime ideals of a ring are finitely generated, then the ring is Noetherian). You will then get a flat ring map $A \rightarrow A_p$, but $A$ is not Noetherian.

share|cite|improve this answer
Thanks, so am I correct that not all rings have minimal primes which are finitely generated? – the L Nov 13 '12 at 22:32
Yes you are. See the discussion here:… – Rankeya Nov 13 '12 at 22:38
Thanks for both of you. That's funny, because now I actually proved that there is a ring which does not satisfy the above question. Any flat extension of it is not noetherian :) – the L Nov 13 '12 at 22:57
well, any domain will do the case... – the L Nov 13 '12 at 23:40
You are correct. I will edit my answer. – Rankeya Nov 14 '12 at 0:13

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.