Kommutative Ringtheorie/Nenneraufnahme/Definition

Nenneraufnahme

Es sei ${}R$ ein kommutativer Ring und ${}S\subseteq R$ ein multiplikatives System. Dann versteht man unter der Nenneraufnahme zu ${}S$ die Quotientenmenge zur Überkreuzrelation auf ${}R\times S$ mit den in Fakt beschriebenen Verknüpfungen. Die Nenneraufnahme wird mit ${}R_{S}$ bezeichnet.