Dedekindbereich/Ideale und Divisoren/Verträglichkeit mit Operationen/Fakt
Es sei ein Dedekindbereich. Dann erfüllt die Zuordnung (für von verschiedene Ideale)
folgende Eigenschaften.
-
für ein Primideal .
- Für ist .
Es sei ein Dedekindbereich. Dann erfüllt die Zuordnung (für von verschiedene Ideale)
folgende Eigenschaften.
für ein Primideal .