Diskreter Bewertungsring/Endliche integre Erweiterung/Reduzierte Faser/Normal/Fakt
Erscheinungsbild
Es sei ein diskreter Bewertungsring mit Ortsuniformisierender und es sei . eine endliche integre -Algebra. Der Faserring sei reduziert.
Dann ist normal.