Skip to main content
4 of 6
edited tags; edited title
Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113

Quick proof of the fact that the ring of integers of Q(\zeta_n) is 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 lenghty 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