Dedekindring <==> eindeutige Primidealzerlegung
-
Sei R ein Ring, so dass sich jedes Ideal ungleich eindeutig als Produkt von Primidealen darstellen lässt. Dann gilt
- R ist noetherscher Integritätsbereich
- R ist ganzabgeschlossen
- jedes Primideal ungleich 0 ist maximal.Hat einer ein paar Ideen?