Kategorie:Galoistheorie für Dedekindbereiche/Definitionen