Kategorie:Theorie der Idealzerlegung in Dedekindbereichen/Definitionen