Skip to main content

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

edited body
Source Link
Pete L. Clark
  • 65.4k
  • 12
  • 241
  • 381

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 lenghtylengthy 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?

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?

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?

edited tags; edited title
Link
Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113

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

Rollback to Revision 1
Link
Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113
Loading
removing latex from title
Link
Kim Morrison
  • 7.8k
  • 7
  • 48
  • 75
Loading
Source Link
Andrea Ferretti
  • 14.7k
  • 14
  • 82
  • 113
Loading