Dedekindbereich/Divisoren und gebrochene Ideale/Beziehung zu effektiven Divisoren und Idealen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekindbereich. Dann gelten folgende Aussagen.

  1. Es sei ein gebrochenes Ideal mit einer Darstellung mit und einem Ideal . Dann ist
  2. Zu einem Divisor mit effektiv ist