TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 282

Angabe

Untersuchen Sie, ob die folgende Struktur ein Ring, Integritätsbereich bzw. Körper ist:

$M=\mathbb {Q} [{\sqrt {7}}]=\{a+b*{\sqrt {7}}|a,b\in \mathbb {Q} \}$ mit der Addition und Multiplikation aus $\mathbb {R}$.

Lösungsvorschlag von mnemetz

Für die Addition

Abgeschlossenheit

$(w+x*{\sqrt {7}})+(y+z*{\sqrt {7}})=(w+y)+(x+z)*{\sqrt {7}})$

w + y $\in \mathbb {Q}$, x + z $\in \mathbb {Q} \qquad \Rightarrow$ abgeschlossen

Assoziativität

$a\circ (b\circ c)=(a\circ b)\circ c$

• $a=(u+v*{\sqrt {7}})$
• $b=(w+x*{\sqrt {7}})$
• $c=(y+z*{\sqrt {7}})$

${\begin{aligned}(u+v*{\sqrt {7}})+((w+x*{\sqrt {7}})+(y+z*{\sqrt {7}}))&=((u+v*{\sqrt {7}}+(w+x*{\sqrt {7}}))+(y+z*{\sqrt {7}})\\(u+w+y)+(v+x+z)*{\sqrt {7}}&=(u+w+y)+(v+x+z)*{\sqrt {7}}\end{aligned}}$

Daher: assoziativ

Neutrales Element (Einheitselement)

$e=0+0*{\sqrt {7}}=0$

Inverses Element

$(x+y*{\sqrt {7}})'=(-x)+(-y)*{\sqrt {7}}$

Kommutativität

trivial

Schlussfolgerung

Es liegt eine Abelsche Gruppe vor.

Für die Multiplikation

Abgeschlossenheit

$(w+x*{\sqrt {7}})*(y+z*{\sqrt {7}})=w*y+w*z*{\sqrt {7}}+y*x*{\sqrt {7}}+7*x*z=\underbrace {(w*y+7*x*z)} _{\in \mathbb {Q} }+\underbrace {(w*z+y*x)*{\sqrt {7}})} _{\in \mathbb {Q} }$

abgeschlossen

Assoziativität

trivial. Ist gegeben.

Neutrales Element

$e=1+0*{\sqrt {7}}$

Inverses Element

${\begin{aligned}(x+y*{\sqrt {7}})*(x'+y'*{\sqrt {7}})&=1+0*{\sqrt {7}}\\x'+y'*{\sqrt {7}}&={\frac {1+0*{\sqrt {7}}}{x+y*{\sqrt {7}}}}\\x'+y'*{\sqrt {7}}&={\frac {(1+0*{\sqrt {7}})*(x-y*{\sqrt {7}}}{x^{2}+7*y^{2}}}\\\end{aligned}}$

Untersuchung des Nenners der rechten Seite:

${\begin{aligned}x^{2}&=7*y^{2}\\x&=\pm {\sqrt {7}}-y\\\end{aligned}}$

Kommutativität

trivial

Schlussfolgerung

Es liegt eine Abelsche Gruppe vor.

Schlussfolgerung

Es liegt ein Körper für $\langle M,+,*\rangle$ vor.

Webressourcen

• f.thread:30759&highlight=Ringe+Addition+Multiplikation
• http://stud4.tuwien.ac.at/~e0425426/Mathebeispiele/linalg_021.pdf
• https://web.archive.org/web/*/www.informatik-forum.at/attachment.php?attachmentid=4042&d=1101136063
• Ähnliche Beispiele:
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 278
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 279
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 280
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 281
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 283
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 284
  • TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 285