Diskreter Bewertungsring/Normiertes Polynom/Ableitungsbedingung/Normal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein diskreter Bewertungsring mit Ortsuniformisierender und sei ein normiertes irreduzibles Polynom. Es seien und in teilerfremd.

Dann ist normal und gleich dem ganzen Abschluss von in .