Nenneraufnahme/Mit Nullteilern/Begriff/Aufgabe

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}}{|}\,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