Es sei R {\displaystyle {}R} ein kommutativer Ring, a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal und S ⊆ R {\displaystyle {}S\subseteq R} ein multiplikatives System. In der Nenneraufnahme R S {\displaystyle {}R_{S}} gelte
Dann gibt es ein g ∈ S {\displaystyle {}g\in S} und Elemente a 1 , … , a n ∈ R {\displaystyle {}a_{1},\ldots ,a_{n}\in R} mit
ein
kommutativer Ring,
ein
Ideal
und
ein
multiplikatives System. In der
Nenneraufnahme
gelte
und Elemente
mit
