Kommutative Ringtheorie/Primideal/Restekörper als Quotientenring/Fakt
Es sei ein kommutativer Ring und sei ein Primideal.
Dann ist der Quotientenkörper des Restklassenringes in natürlicher Weise isomorph zum Restekörper der Lokalisierung .
Es ist also