Kommutative Ringtheorie/Ganzheitsring/Quotientenkörper/Fakt

Quotientenkörper des ganzen Abschlusses

Es sei ein Integritätsbereich mit Quotientenkörper und sei eine endliche Körpererweiterung. Der ganze Abschluss von in sei mit bezeichnet.

Dann ist der Quotientenkörper von .