Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $L$ be a finite extension of an algebraic number field $K$. Let $A$ and $B$ be the rings of integers in $K$ and $L$ respectively. Is $B$ faithfully flat over $A$? What if $L$ is an infinite algebraic extension of $K$?

share|improve this question
add comment

2 Answers

up vote 2 down vote accepted

A module over a Dedekind domain is flat if and only if it is torsion-free. So any extension of rings $A\rightarrow B$ with $A$ Dedekind and $B$ a domain is flat. In particular, if the extension is integral, it is faithfully flat (by lying-over, as you point out in your comment).

share|improve this answer
add comment

Yes, because $B$ is flat over $A$ (since it is locally free) and every prime ideal of $A$ is the contraction of a prime ideal of $B$.

I don't know what happens if $L$ is not finite over $K$.

share|improve this answer
Thanks. In an infinite case, $B$ is a direct limit of flat subrings. So I think it is also flat. By the lying-over theorem, $B$ is faithfully flat. –  Makoto Kato Jun 14 '12 at 21:03
add comment

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.