Ganzheitring/Ideale und Divisoren/Gebrochenes Ideal/Fakt
Zur Navigation springen
Zur Suche springen
Es sei ein Zahlbereich und ein Divisor.
Dann ist die Menge ein gebrochenes Ideal.
Ist ein effektiver Divisor, dann ist das so definierte gebrochene Ideal ein Ideal und stimmt mit dem Ideal überein, das einem effektiven Divisor gemäß der Definition zugeordnet wird.