Quotientenkörper zum Ring der ganzen Gaußschen Zahlen

Neue Frage »

Catrin von Bubi Auf diesen Beitrag antworten »
Quotientenkörper zum Ring der ganzen Gaußschen Zahlen
Liebes Forum, ich möchte zeigen, dass Q(i) ein Quotientenkörper zum Ring der Ganzen Gaußschen Zahlen ist.
Wir haben Q als Quotientenkörper zu Z entwickelt, ich weiß jedoch nicht, wie ich diesen Beweis entlang der Eigenschaften von Quotientenkörpern führen muss und bitte um Hilfe.
Viele Grüße
Catrin von Bubi
Elvis Auf diesen Beitrag antworten »

Berechne mit
Catrin von Bubi Auf diesen Beitrag antworten »

Wenn ich mit dem konjugierten vom Nenner erweitere, erhalte ich
Elvis Auf diesen Beitrag antworten »

Du darfst nicht auf halbem Wege stehen bleiben. Löse den Bruch auf in x+iy. Was weißt du über x und y ? (Was zu zeigen war.)
Catrin von Bubi Auf diesen Beitrag antworten »

Ich kann den Bruch noch in eine Differenz umwandeln, so dass ich eine Struktur wie eine komplexe Zahl habe. Wie hilft mir das weiter?
Catrin von Bubi Auf diesen Beitrag antworten »

x und y sind dann Brüche, mit denen ich rationale Zahlen darstellen kann.
 
 
Catrin von Bubi Auf diesen Beitrag antworten »

Und damit ist Q(i) = x+iy mit x, y Elemente von Q.
Das reicht doch aber nicht als Beweis?
Elvis Auf diesen Beitrag antworten »

Die rationalen Zahlen sind Brüche ganzer Zahlen, die rationalen Zahlen sind ein Körper, also der Quotientenkoerper der ganzen Zahlen.
Die Gaußschen Zahlen sind Brüche ganzer Gaußscher Zahlen, die Gaußschen Zahlen sind ein Körper, also...
Catrin von Bubi Auf diesen Beitrag antworten »

...der Quotientenkörper der ganzen Gaußschen Zahlen.
Ich verstehe das, was wir bis hier gerechnet habe, als Nachweise eines Monomorphismus vom Ring der ganzen Gaußschen Zahlen in den Körper der Gaußschen Zahlen.
Wie weise ich die weiteren Eigenschaften des Quotientenkörpers nach?
- dass Q(i) durch den Ring und diese Monomorphismuseigenschaft bis auf Körperisomorphie eindeutig bestimmt ist
- diese dritte Eigenschaft mit dieser Monomorphismuserweiterung, die ich leider überhaupt nicht verstehe
Viele Grüße
Catrin von Bubi
Elvis Auf diesen Beitrag antworten »

Wir haben bewiesen, dass der Quotientenkörper in enthalten ist. Die Umkehrung ist wegen trivial. Also .

Kompliziertere Definitionen haben nur den Zweck, dass man die Existenz und Eindeutigkeit des Quotientenkörpers zu einem nullteilerfreien kommutativen Ring beweisen kann. Praktisch genügt es, einen möglichst kleinen Körper anzugeben, der genau die Quotienten des Rings enthält.
Catrin von Bubi Auf diesen Beitrag antworten »

Ok, das verstehe ich und werde es mal so in die Waagschale werfen.
Danke und einen schönen 2. Advent.
Herzlich
Catrin von Bubi
Elvis Auf diesen Beitrag antworten »

Wenn du es hübsch elegant, vollständig und richtig formulierst, wird es gewogen und nicht für zu leicht befunden werden. Wink
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »