You could define a Dedekind ring as a noetherian domain s.t. the localization at any nonzero prime ideal is a discrete valuation ring (see the beginning of Serre's Local fields). From there it is easy to show unique factorization. It is of course a cheat since the equivalence between the two definitions relies of course on the "integrally closed" property.
|
2 | deleted 10 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
You could define a Dedekind ring as a noetherian domain s.t. the localization at any nonzero prime ideal is a discrete valuation ring (see the beginning of Serre's Local fields). From there it is easy to show unique factorization. It is of course a cheat since the equivalence between the two definitions relies of course on the "integrally closed" property. |
||||
