Restklassenringe |
20.04.2011, 13:31 | Mulder | Auf diesen Beitrag antworten » | ||||||||
Restklassenringe definierte Äquivalenzrelation. Nun möchte ich die Restklassen von R/~ bestimmen, und zwar einmal für I als das Nullideal und einmal für I als das Einsideal. Mein Problem ist, dass ich hier jetzt Schwierigkeiten habe, zu durchblicken, was in diesem Fall überhaupt eine Restklasse ist. Für das Nullideal ist also x~y, wenn x-y=0 ist. In einer Restklasse liegen also alle x,y die bei Subtraktion voneinander gerade 0 ergeben? Geht ja nur, wenn x=y ist. Merkwürdig ist es auch beim Einsideal, wenn nur x-y€R sein soll, dann ist ja irgendwie Was soll es da für Restklassen geben? Gibt's da nur eine einzige, und die ist gleich ganz R? Wenn mich da jemand in die richtige Richtung schubsen könnte, wäre das prima. Da wäre mir schon sehr geholfen, wenn jemand ein bisschen "visualisieren" kann, was eigentlich die Restklassen sein sollen. Ich habe versucht, das ein bisschen mit der Kongruenz im Falle von Z/nZ zu vergleichen, da sind die Restklassen ja sehr simpel anzugeben. Da ergeben sich dann ja andere Restklassenmengen, wenn man das Ideal verändert (Beispielsweise 3Z oder 5Z). Ich kann das aber nicht so wirklich hierher übertragen, solange die Restklassen nicht klar sind. |
||||||||||
20.04.2011, 19:13 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe
Ganz genau. Der Restklassenring ist also der Nullring. Was passiert nun bei ? Auch hier kommst Du auf die Restklassen, wenn Du einfach die von Dir zitierte Definition anwendest. |
||||||||||
20.04.2011, 19:37 | Mulder | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe
Also ich hätte jetzt überlegt, dass, wenn ich mir zum Beispiel ein hernehme, auch nur dieses in der zugehörigen Äquivalenzklasse liegt. Ich habe also "einelementige" Äquivalenzklassen und damit . Macht das irgendwie Sinn? Oder ist die Schreibweise da jetzt mit dem Gleichheitszeichen etwas ungünstig? Ist da was anderes üblich?
Ich glaube, hier fehlt mir jetzt ein Denkschritt. Warum ist der Restklassenring der Nullring? Oder muss ich das so auffassen, dass es (rein theoretisch) nur dann einen Rest geben könnte, wenn wäre? Kann ja nicht passieren, weil ja ein Ring ist, aber nur mal so angenommen, um in diesem Fall den Begriff der Restklasse etwas mehr zu visualisieren? Wenn das so ungefähr zutrifft, ist es klar, warum das der Nullring ist. Das wäre dann also, um diesen Vergleich, den ich vorher schon probiert hatte, genau wie bei dem Konstrukt und der Kongruenz, weil jede Zahl bei Division durch 1 den Rest null lassen würde? Daher wäre da dann der Restklassenring ebenfalls der Nullring, weil alle Zahlen in dieser Restklasse {0} liegen würde? |
||||||||||
20.04.2011, 19:51 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe
Ja, das ist richtig. Das bekommst Du direkt geliefert wegen .
Man könnte das als Isomorphismus schreiben, aber ich sehe die Identifikation mit dem Gleichheitszeichen als unverfänglich.
Kann man so sagen. Aber auch das kannst Du formal noch etwas direkter begründen: Die rechte Seite ist für alle Paare erfüllt, also sind alle Elemente zueinander äquivalent. Es gibt daher nur eine Äquivalenzklasse und damit .
Ja, das ist ein Spezialfall des ganzen. |
||||||||||
20.04.2011, 20:00 | Mulder | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe Prima, dann ist das jetzt verständlich geworden.
Aha, diese Randfrage zielte nämlich schon auf Aufgabenteil b) ab, wo folgendes verlangt ist: Kann ich da einfach ganz konkret den Isomorphismus angeben und bin dann fertig? Da ja nur x in [x] liegt, kann ich das ja einfach umkehren und die Isomorphie ist gezeigt. Edit: Wobei ich wohl sicher erst noch irgendwie zeigen müsste, dass das überhaupt ein Homomorphismus ist. Darüber habe ich mir jetzt in meinem überschwänglichen Eifer noch keine Gedanken gemacht, aber das wird ja wohl so sein. |
||||||||||
20.04.2011, 20:12 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe
Hier ist mir nicht ganz klar, was die Aufgabe ist, da ich (a) nicht kenne und Du bei der Formle ggf. etwas anderes meintest?
Diese Abbildung ist jedenfalls ein Isomorphismus. Der Quotientenring enthält genau die Einermengen aller Elemente aus . |
||||||||||
Anzeige | ||||||||||
|
||||||||||
20.04.2011, 20:16 | Mulder | Auf diesen Beitrag antworten » | ||||||||
RE: Restklassenringe
Ja, da hatte ich mich etwas vertippt, inzwischen habe ich das editiert. Bei der a) hatte ich jetzt den genauen Wortlaut nicht abgetippt, stimmt. Der sah so aus (steht eigentlich oben mit eigenen Worten, aber zur Sicherheit): |
||||||||||
20.04.2011, 20:29 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Dann stimmt deine Lösung zur Aufgabe. Rein konzeptionell kann man sich die beiden Fälle auch klarmachen: wenn wir aus einem Objekt nichts herausfaktorisieren, verändern wir nichts. Wenn wir aus einem Objekt alles herausfaktorisieren, dann bleibt nur das Triviale übrig. |
||||||||||
20.04.2011, 20:53 | Mulder | Auf diesen Beitrag antworten » | ||||||||
Wunderbar, dann vielen Dank für die tolle Hilfe. |
||||||||||
20.04.2011, 21:11 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Gern geschehen. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|