Kommutative Ringtheorie/Lokalisierung für Primideal/Definition

Lokalisierung

Sei ein kommutativer Ring und sei ein Primideal. Dann nennt man die Nenneraufnahme an die Lokalisierung von an . Man schreibt dafür . Es ist also