Skip to main content

Quick proof of the fact that the ring of integers of $\mathbb Q(\zeta_n)$ is $\mathbb Z[\zeta_n]$?

I cannot find a good reference for the proof that the ring of integers in a cyclotomic field $\mathbb{Q}(\zeta_n)$ is $\mathbb{Z}[\zeta_n]$. The proof I usually find does an induction on the number of prime factors of $n$, coupled with a lengthy and somewhat computational proof in the case where $n$ is the power of a prime.

Do you know a quicker and possibly more conceptual approach?

Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113