Dedekindbereich/Quotientenkörper/Hauptdivisor/Definition/Begriff

Der Hauptdivisor zu einem Element des Quotientenkörpers eines Dedekindbereiches.