ideal class group

Tags: #todo #todo/stub Refs: ?

ideal class group

attachments/Pasted%20image%2020220123201454.png attachments/Pasted%20image%2020220123201527.png

For orders attachments/Pasted image 20211005011013.png attachments/Pasted%20image%2020220126220731.png ## Exercises

  • Show that a DVR \(R\) with a uniformizer has \({ \operatorname{cl}} (R) \cong {\mathbb{Z}}\).
  • Show that a Dedekind domain \(R\) is a UFD iff \({ \operatorname{cl}} (R) = 1\).
    • Show that if \(R\) is an integrally closed Noetherian domain then \({ \operatorname{cl}} (R) = 1\) when \(R\) is a UFD.
    • Show that the converse holds if \({ \operatorname{cl}} (R)\) is replaced with the divisor class group.
    • Show that the ideal class group and divisor class group coincide for DVRs
🗓️ Timeline
#todo #todo/stub ##