Aufgabe:
Sei K:= ℚ(√-5):= {a+ib✓5, a,b∈ℚ} ⊂ℂ und O:= {a+i*b√5, a,b∈ℤ}⊂K
Zeige, dass:
a) K ist ein Unterkörper von ℂ
b) O ist ein Unterring von K aber kein Unterkörper.
Problem/Ansatz:
Nun einen Ansatz habe ich bereits:
Ich will zeigen, dass K ein Unterkörper ist
1) Nullelement von ℂ,∈K : (0,0), 0∈ℚ ✓
2) Einselement von ℂ,∈K: (1,0), 1∈ℚ und 0∈ℚ ✓
3) Additativ Inverses ∈ K: (a,b)∈ℚ also auch (-a,-b)∈ℚ ∀a,b∈ℚ ✓
4) Multiplikativ Inverses ∈ K: Definition: z=a+ib z^1= (a^2+b^2)^-1 * (a-ib)
Das Multiplikativ Inverse als Element von K zu beweisen bereitet mir bereits Mühe. Ist mein Ansatz überhaupt richtig? Also würde ich alle Punkte abhacken können, würde das heissen K ist ein Unterkörper von ℂ?