Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 $K = \mathbb Q(\alpha)$ is a number field. Suppose $\alpha \in O_K$ and let $f \in \mathbb Z[X]$ be its minimal polynomial. Show that if the discriminant of $f$ is a square-free integer, then $O_K = \mathbb Z[\alpha]$.

I don't really know how to approach this problem. I have observed that:

i) $ \mathbb Z[\alpha] \subseteq O_K$ trivially

ii) The problem is equivalent to showing that $\{1,\alpha,\ldots ,\alpha^{n-1} \}$ is an integral basis for $K$

I can't see how the discriminant is at all related, and I suppose this is where my understanding of this topic lacks. Any push in the right direction would be appreciated.


share|cite|improve this question
Use the result from your other question ! – David Loeffler Feb 13 '12 at 8:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.