Zum Inhalt springen

Diskreter Bewertungsring/Endliche integre Erweiterung/Reduzierte Faser/Normal/Fakt

Aus Wikiversity

Es sei ein diskreter Bewertungsring mit Ortsuniformisierender und es sei . eine endliche integre -Algebra. Der Faserring sei reduziert.

Dann ist normal.