Diskreter Bewertungsring/Normiertes Polynom/Reduzierte Faser/Normal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein diskreter Bewertungsring mit Ortsuniformisierender und sei ein normiertes irreduzibles Polynom. Sei . In der Zerlegung von in in irreduzible Faktoren, , seien alle Faktoren einfach.

Dann ist der ganze Abschluss von in und insbesondere normal.