Kommutative Ringtheorie/Lokalisierung/Lokaler Ring/Fakt

Es sei ein kommutativer Ring und sei ein Primideal in .

Dann ist die Lokalisierung ein lokaler Ring mit maximalem Ideal