4
$\begingroup$

Let $K\subseteq F$ be number fields with ring of integers $\mathcal{O}_K\le \mathcal{O}_F$.

Question: Is $\mathcal{O}_F$ a free $\mathcal{O}_K$-module ?

By the integral basis theorem this is true when $K=\mathbb{Q}$ but I don't know about the general case.

1 Answers 1

6

No. The following notes from Keith Conrad's website give a family of examples with $\mathscr{O}_F$ not $\mathscr{O}_K$-free:

http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/notfree.pdf

  • 0
    Great. Thank you very much.2012-11-27