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.

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

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|cite|improve this question
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|cite|improve this answer

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|cite|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

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.