Normaler noetherscher Bereich/Ordnung an Primstelle/Erste Eigenschaften/Fakt

Aus Wikiversity

Es sei ein normaler noetherscher Integritätsbereich und ein Primideal in der Höhe . Dann hat die Ordnung an , also die Abbildung

folgende Eigenschaften.

  1. .
  2. .
  3. genau dann, wenn .