Es sei ${\displaystyle {}R}$ ein kommutativer Ring, der die Eigenschaft erfüllt: wenn ${\displaystyle {}rs=0}$ ist, so ist ${\displaystyle {}r=0}$ oder ${\displaystyle {}s=0}$. Zeige, dass man auf folgende Weise einen Körper ${\displaystyle {}K}$ konstruieren kann, der ${\displaystyle {}R}$ enthält.

Wir betrachten auf

${\displaystyle M=R\times (R\setminus {\{0\}})}$

${\displaystyle (a,b)\sim (c,d),{\text{ falls }}ad=bc,}$

a) Zeige, dass dies eine Äquivalenzrelation ist.

b) Definiere auf der Quotientenmenge ${\displaystyle {}Q(R)}$ Verknüpfungen derart, dass ${\displaystyle {}Q(R)}$ zu einem Körper wird und dass

${\displaystyle \varphi \colon R\longrightarrow Q(R),\,r\longmapsto [(r,1)],}$

${\displaystyle {}\varphi (1)=1}$