Zahlbereich/Ideale und Divisoren/Verträglichkeit mit Operationen/Fakt

Sei ein Zahlbereich. Dann erfüllt die Zuordnung (für von verschiedene Ideale)

folgende Eigenschaften.

  1. für ein Primideal .

  2. Für ist .