I am trying to show that the ideals of $\mathbb{Z}[\zeta_{p}]$ factorise uniquely.

In know that $\mathbb{Z}[\zeta_{p}]$ is not a UFD in general. I also know that, for Dedekind rings, non-zero proper ideals have unique factorisation as a product of non-zero prime ideals. I think I just need to show that $\mathbb{Z}[\zeta_{p}]$ is a Dedekind ring.

Is that the case? If so, how to I show it? If not, what do I need to show?

  • 2
    $\begingroup$ "Just" show $\;\Bbb Z[\zeta_p]\;$ is the ring of algebraic integers of the number field $\;\Bbb Q(\zeta_p)\;$ . Then it automatically follows it is a Dedekind ring. $\endgroup$
    – DonAntonio
    Apr 1 '17 at 13:16
  • $\begingroup$ How would I go about doing that? $\endgroup$
    – JSharpee
    Apr 1 '17 at 14:32
  • 1
    $\begingroup$ You may want to try this: math.uiuc.edu/~r-ash/Ant/AntChapter7.pdf It is not trivial and can be lengthy to show such a thing. $\endgroup$
    – DonAntonio
    Apr 1 '17 at 15:54
  • $\begingroup$ For the proof of unique factorization of ideals in rings of integers, the main step is en.wikipedia.org/wiki/Primary_decomposition and the fact that if $\mathcal{P}$ is a prime ideal then $mathcal{O}_K/ \mathcal{P}$ is an integral domain with finitely many elements and hence a field. $\endgroup$
    – reuns
    Apr 1 '17 at 17:00
  • $\begingroup$ The simpler example is $w =i \sqrt{5}, \mathcal{O}_K= \mathbb{Z}[w]$ whose class group has two elements : $(1)$ and $(2,1+w)$, so its ideals are of the form $(a), a \in \mathcal{O}_K$ or $(a,a\frac{1+w}{2}), a \in \mathcal{O}_K$ $\endgroup$
    – reuns
    Apr 1 '17 at 17:16

For the proof of unique factorization of ideals in ring of integers, I think the main steps are :


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.