If $A\subset B$ are integral domains with the same field of fractions and $B$ is faithfully flat over $A$, then $A=B$.

139 Views Asked by At

I found this exercise in Matsumura, Commutative Ring Theory, (Exercise 7.2).

If $A\subset B$ are integral domains with the same field of fractions and $B$ is faithfully flat over $A$, then $A=B$.

Can anyone give me a proof for this statement or tell me where to find it?