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.