Kommutative Ringtheorie/Nenneraufnahme für Integritätsbereiche/Explizit/Definition

Nenneraufnahme

Es sei ein Integritätsbereich und sei ein multiplikatives System, . Dann heißt die Menge der formalen Brüche

die Nenneraufnahme zu . Dabei werden zwei Brüche und identifiziert, wenn gilt. Die Nenneraufnahme ist ein kommutativer Ring mit der Addition

und der Multiplikation