Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Dedekindbereich/Ideal zu effektivem Divisor/Definition/Definitionreferenznummer