Nenneraufnahme/Mit Nullteilern/Begriff/Aufgabe

Es sei ${}R$ ein kommutativer Ring und ${}S\subseteq R$ ein multiplikatives System. Man definiert die Nenneraufnahme

$R_{S}$

schrittweise wie folgt. Es sei zunächst ${}M$ die Menge der formalen Brüche mit Nenner in ${}S$, also

${}M={\left\{{\frac {r}{s}}\mid r\in R,\,s\in S\right\}}\,.$

Zeige, dass durch

${\frac {r}{s}}\sim {\frac {r'}{s'}}{\text{ genau dann, wenn es ein }}t\in S{\text{ mit }}trs'=tr's{\text{ gibt}},$

eine Äquivalenzrelation auf ${}M$ definiert ist. Wir bezeichnen mit ${}R_{S}$ die Menge der Äquivalenzklassen. Definiere auf ${}R_{S}$ eine Ringstruktur und definiere einen Ringhomomorphismus

${}R\rightarrow R_{S}$.

Eine Lösung erstellen