Zahlentheorie/Ganzheitring/Ideale und Divisoren/Verträglichkeit mit Operationen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

folgende Eigenschaften:

  1. für ein Primideal .
  2. .
  3. Für ist .
Zum Beweis, Alternativen Beweis erstellen