Dedekindbereich/Galoiserweiterung/Zerlegungsgruppe/Restekörper/Kommutatives Diagramm/Aufgabe
Erscheinungsbild
Es sei ein Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und seien und Primideale von über . Zeige, dass es ein natürliches kommutatives Diagramm
von Gruppenhomomorphismen gibt, wobei die vertikalen Abbildungen Isomorphismen sind.