Diskussion:Ideal (Ringtheorie)

message: ist ein Ideal dasselbe wie ein Normalteiler und Rechts/Linksideale sowas wie Rechts/Linksnebenklassen? dann sollte eventuell ein Verweis angebracht werden ob oder ob nicht die ähnlich/gleich sind? 
: Nein. Ideale sind genau wie Normalteiler die potentiellen Kerne von Homomorphismen, aber damit sind die Gemeinsamkeiten auch weitgehend erschöpft.--Gunther 23:17, 25. Apr 2006 (CEST)
replies: text: Sehe auch ich als sehr problematisch an. Einfach löschen, hierhin verschieben oder erst mal so lassen?
Habe einen problematischen Eintrag zum von einer Menge erzeugten Ideal bearbeitet. Als Beispiel für die Problematik betrachte man etwa den kommutativen Ring der reellen Lebesgue-integrierbaren Funktionen(restklassen) auf \R^n mit der Faltung als Produkt. Dann ist die Standard Gauß-Glocke n ein solches pathologisches Element, denn gäbe es eine Funktion f so daß f gefaltet mit n wieder n ergibt, so wäre die Fourier-Transformierte von n (also n selbst) das Produkt der Fourier-Transformierten von n und f. Da die Fourier-Transformierte von n (also n) nirgends verschwindet, folgt daß die Fourier-Transformierte gleich 1 ist, was nicht sein kann da alle Fourier-Transformierten im Unendlichen verschwinden. --Archont 16:53, 27. Sep 2006 (CEST)

text: Zitat aus dem Artikel: Wir nehmen durchweg an, dass der betrachtete Ring R ein Einselement besitzt. --Gunther 17:03, 27. Sep 2006 (CEST)

text: Und um gleich den nächsten Punkt zu beantworten: In Ringen ohne 1 ist die "bottom-up"-Beschreibung des erzeugten Ideals entsprechend komplizierter, also (a)=\{ra+na\mid r\in R,n\in\mathbb Z\} im kommutativen Fall.--Gunther 17:05, 27. Sep 2006 (CEST)

message: Wir nehmen durchweg an, dass der betrachtete Ring R ein Einselement besitzt. Warum werden nicht auch Ringe ohne Einselement betrachtet? In vielen Büchern wird zwar das Einselement hinzu genommen, allerdings hab ich hier auch zwei Algebra Bücher die Ideale in einem Ring ohne Eins definieren: Bernhard Hornfeck ISBN 3110067846 und Gisbert Wüstholz ISBN 3528072911. Wenn niemenad was dagegen hat werd ich demnächst mal die Definition ändern. Gruß Azrael. 11:58, 3. Sep. 2007 (CEST)
thread_title:  Ring mit Einselement 

message: "Die Forderungen 1 und 2 sind äquivalent zu der Aussage, dass (I, + ) eine Untergruppe der additiven Gruppe (R, + ) ist. Die Umkehrung gilt nicht, z. B. ist Z oder eine andere zyklische Gruppe eine additive Untergruppe von R, aber nicht immer auch ein Ideal."
Ist das nicht unsinnig??
: Ja, deshalb habe ich auch den unsinnigen Satz "Die Umkehrung gilt nicht ..." gelöscht. Wer das geschrieben hat, hat wohl nicht verstanden, dass ein Ideal neben den Forderungen 1 und 2 - oder: (I, + ) ist eine Untergruppe der additiven Gruppe (R, + ) - zusätzlich auch Forderung 3L bzw. 3R erfüllen muss.
: Zur Idealsumme: Die mengentheoretische Vereinigung von Idealen unterscheidet sich zwar bei den (dedekindschen) Ringidealen von der Idealsumme, bei den üblichen Halbgruppenidealen (s-Ideale) ist dies jedoch nicht so: hier fallen sie zusammen. Im Allgemeinen ist das von der Vereinigung von Idealen erzeugte Ideal das Supremum der an der Vereinigung beteiligten Ideale im Idealverband. In der Ringtheorie fällt das Supremum gerade mit der Idealsumme zusammen. Um die Defintion möglichst allgemein zu halten und auch auf andere Idealsystem anwenden zu können, sollte das deshalb im Artikel bleiben. Gruss --RPI 20:35, 23. Jan. 2009 (CET)
thread_title:  Im Text 

message: Folgende Anmerkungen sollten im Abschnitt Verknüpfungen von Idealen (Unterabschnitt Ringhomomorphismen) der Form her gemacht werden: a,b\in R und f(1_R)=1_S. Danke. -- RIP (nicht signierter Beitrag von 77.189.200.117 (Diskussion | Beiträge) 17:15, 7. Jan. 2010 (CET)
replies: text: Erledigt. --Tolentino 14:23, 8. Jan. 2010 (CET)
thread_title:  Verknüpfung von Idealen / Homomorphismen 

message: Der historische Kontext ist m. E. nicht richtig dargestellt. Das Hinzufügen von i und die Division sind im ursprünglichen Ring nicht definiert und führen aus diesem hinaus. Mit der gleichen Begründung wie im vorliegenden Text ist 3 eine gerade Zahl, denn 3/2 =(1/2)3. Deshalb wurde der Text angepasst. Siehe auch die Lehrbücher der Algebra. (nicht signierter Beitrag von 85.216.81.184 (Diskussion) 11:55, 15. Sep. 2010 (CEST)
replies: text: "führen aus diesm hinaus" - klar, das i wird ja auch hinzugefügt. Wenn man diesen Teil aber entfernt, tauchen im Abschnitt "ideale Zahlen" dummerweise gar keine idealen Zahlen mehr auf. Heutzutage arbeitet man wie selbstverständlich mit Idealen, die nicht unbedingt Hauptideale sind, aber zu Kummers Zeiten war das Hinzufügen von "Scheinlösungen" die gängige Methode - ganz in der Tradition des Hinzufügens von (zufälligerweise ebenfalls) i zu den rellen Zahlen, um Polynomgleichungen lösen zu können (nicht umsonst heißt i "imaginär"). Die Tatsache, dass zu jedem Ideal eine ideale Zahl gefunden werden kann, entspricht der Endlichkeit der Klassengruppe in moderner Sprechweise.--Hagman 14:42, 15. Sep. 2010 (CEST)

text: (Ich hab der Übersicht halber mal ne richtige Überschrift hier eingefügt) Die ganzen Zahlen in \Q[\sqrt{-5}] (d.h. die Elemente ganzzahliger Norm) sind \Z[\sqrt{-5}], in \Q[i] sind es \Z[i]. In \Q[\sqrt 5, i] ist aber auch \tfrac{1+\sqrt{-5}}{1+i} ganz, denn die Norm (das Produkt über alle Konjugierten) ist 9. In \C sprechen wir ohnehin nicht so von Teilbarkeit, natürliches n ist durch 1+i genau dann teilbar (im Ring der ganzen algebraischen Zahlen oder einem geeigneten Unterring davon, sprich: im Ring de ganzen Zahlen eines algebraischen Zahlkörpers), wenn n gerade ist. So gesehen fehlt vielleicht doch eine genauere Aussage, was in einem Zahlkörper eine ganze Zahl ist, und das müsste noch eingebaut werden, damit das Beispiel vielleicht verständlicher wird.(Und denke doch bitte demnächst daran, Beiträge mit --~~~~ zu signieren)--Hagman 12:08, 16. Sep. 2010 (CEST)

text: Also in einem quadratischen Zahlkörper wie \mathbb{Q}(i) ist ein Element genau dann ganz, wenn seine Norm und seine Spur ganz sind. Darum klappt dein Beispiel \tfrac{2+i}{1+2i} = \tfrac{4}{5}-\tfrac{3}{5}i nicht. Wie man in Körpern wie \mathbb{Q}(\sqrt{-5},i) Ganzheit prüft, habe ich gerade nicht so auf dem Schirm, aber die obige Begründung "weil die Norm 9 ist" dürfte wohl nicht reichen, zumindest nicht ohne weitere Erklärung. -- HilberTraum (Diskussion) 17:52, 26. Apr. 2013 (CEST)
thread_title:  Historischer Kontext / Darstellung inm Abschnitt "ideale Zahlen" 

message: Sind Elemente eines Ideals stets Nullteiler? Ich vermute das, ich kenne kein Gegenbeispiel, dafür aber mehrere Beispiele dafür.--Slow Phil (Diskussion) 13:18, 29. Mär. 2012 (CEST)
replies: text: Vielleicht meinst du ja was anderes, aber wenn der Ring (z.B. die ganzen Zahlen) keine Nullteiler hat, dann haben doch seine Ideale (z.B. die geraden Zahlen) auch keine Nullteiler. -- HilberTraum (Diskussion) 19:09, 29. Mär. 2012 (CEST)
replies: text: Du hast natürlich völlig Recht. Die Ganzen Zahlen als Ring hatte ich irgendwie nicht auf dem Schirm. Bleibt die Frage, unter welchen Bedingungen ein Ring ein echtes Ideal haben kann, ohne dass dessen Elemente Nullteiler sind.--Slow Phil (Diskussion) 17:36, 2. Apr. 2012 (CEST)
thread_title:  Ideale und Nullteiler 

message: Vielfach werden für Ideale auch kleine Frakturbuchstaben (für "normale" Ideale oft a usw. und für Primideale p) verwendet. Es erscheint mir sinnvoll, im Artikel darauf hinzuweisen (ich habe selbst gerade keine Zeit, dies einzuarbeiten, wollte aber wenigstens darauf hinweisen). (nicht signierter Beitrag von 129.217.132.38 (Diskussion) 16:01, 4. Dez. 2012 (CET)
thread_title:  Bezeichnungen für Ideale 

message: Ich beziehe mich auf die Summe von Idealen. Im Text heißt es: Die Summe von Idealen I + J := {a + b| a  I, b  J} = I vereinigt J. Meiner Meinung nach muss es hier statt "I vereinigt J" (I + J) heißen, denn wie in der Anmerkung darunter erläutert, sind Summe und Vereinigung von Idealen im Allgemeinen etwas Verschiedenes. (nicht signierter Beitrag von Angela-Jack (Diskussion | Beiträge) 10:37, 7. Mai 2014 (CEST)
replies: text: Hallo! Das stimmt schon so wie es dasteht, es ist ja noch eine Klammer um die Vereinigung (I \cup J), die für das erzeugte Ideal steht: Die Summe von Idealen ist das von der Vereinigung erzeugte Ideal. -- HilberTraum (Diskussion) 20:17, 7. Mai 2014 (CEST)
thread_title:  Summe von Idealen 

message: Dedekinds über zwei Polynomen in R[X] (Integritätsring mit Quotientenkörper K) definierter Prager Satz, welcher nach  (Satz 4, 3) am Anfang seiner Idealtheorie stand sowie genau in ganz abgeschlossenen Ringen gilt, dient dem Nachweis, dass es zu jedem Ideal a != (0) in einer Maximalordnung eines Zahlkörpers ein Ideal b != (0) gibt derart, dass ab ein Hauptideal ist. Später empfand er diese (anschaulichen) Funktionen von Variablen als unnötig sowie "die Reinheit der Theorie" trübend. --Ralf Preußen (Diskussion) 16:57, 30. Jul. 2020 (CEST)
thread_title:  Prager Satz 

message: Die Definition eines Ideals ist umständlich formuliert. Anstatt zu verlangen, dass für die Teilmenge I gilt, dass (I,+) eine Untergruppe ist, verlangt man ein Kriterium, das äquivalent dazu ist, dass es eine Untergruppe ist. Sollte man nicht einfach verlangen, dass (I,+) eine Untergruppe ist und dann entsprechend auf den Artikel zu Untergruppen verweisen, wo ja dann u.a. auch das Kriterium steht? Ich denke, das wäre sinnvoller und ordentlicher (und so wurde es auch im englischen Artikel gemacht).
@Wolny1 In jedem Fall muss in der zweiten Bedingung (wenn man sie beibehält) verlangt werden, dass a-b \in I und nicht a+b \in I, da letzteres zwar notwendig, aber nicht hinreichend dafür ist, dass (I,+) eine Untergruppe ist.
--Citius11235 (Diskussion) 14:34, 15. Nov. 2020 (CET)
replies: text: Hallo Citius! Ich muss zurückrudern: Sorry, du hattest natürlich Recht – ich war wohl in Gedanken (noch) zu sehr bei endlichen Gruppen (für die die Abgschlossenheit ja reicht). Ich werde also deine Änderung wiederherstellen. Zu deiner eingangs vorgeschlagenen Änderung warten wir am besten noch andere Meinungen ab, die fragliche Stelle stammt auch nicht von mir. Gruß, Wolny1 (Diskussion) 15:28, 15. Nov. 2020 (CET)
replies: text: Hallo Wolny, kein Problem :) das ganze spricht aber nochmal für meine eingangs vorgeschlagene Änderung: dann müsste man nämlich gar nicht erst über Untergruppenkriterien nachdenken, um die Definition eines Rings zu prüfen. Nochmal sorry für den versehentlichen Regelverstoß! VG, --Citius11235 (Diskussion) 15:47, 15. Nov. 2020 (CET)
replies: text: Auch: Kein Problem ;-). Zur geplanten Neufassung der Stelle machst du am besten einen ganz konkreten Änderungsvorschlag hier auf der Diskussionsseite (evtl. in einem neu angelegten Abschnitt, damit die Übersichtlichkeit des eigentlichen Themas gewahrt bleibt). Gruß Wolny1 (Diskussion) 15:57, 15. Nov. 2020 (CET)
thread_title:  Definition umstrukturieren? 

message: === Definition ===
Um auch für nichtkommutative Ringe geeignete Begriffe zu haben, unterscheidet man zwischen Links-, Rechtsidealen und zweiseitigen Idealen:
Es sei I eine Teilmenge eines Ringes \mathbf R = (R, +, \cdot). I heißt dann Linksideal, wenn gilt:
:1: (I,+) ist eine Untergruppe von (R,+)
:2L: Für jedes a \in I und r \in R ist r \cdot a \in I.
Entsprechend ist I ein Rechtsideal, wenn Bedingung 1 und
:2R: Für jedes a \in I und r \in R ist a \cdot r \in I
erfüllt ist.
I nennt man schließlich zweiseitiges Ideal oder nur kurz Ideal, falls I Links- und Rechtsideal ist, also 1, 2L und 2R erfüllt.
==== Bemerkungen ====
* Ist der Ring kommutativ, dann fallen alle drei Begriffe zusammen, in einem nichtkommutativen Ring können sie sich aber unterscheiden.
* Als Untergruppe von (R,+) enthält I insbesondere die 0.
* Bedingung 1 ist äquivalent zu der Forderung, dass mit a,b \in I auch a - b\in I ist. (Untergruppenkriterium)
* Jedes Ideal I in \mathbf R bildet auch einen Unterring (I, +, \cdot) von \mathbf R, im Allgemeinen aber ohne Eins, 1 \notin I. Ist \mathbf R ein Ring mit Eins, so ist (I, +, \cdot) genau dann ein Unterring mit Eins, wenn I=R.
* Ein Links- ebenso wie ein Rechtsideal I in \mathbf R ist nichts anderes als ein \mathbf R-Untermodul (I, +) von \mathbf R, \mathbf R aufgefasst als \mathbf R-Links- bzw. \mathbf R-Rechtsmodul (R, +).
-- Citius11235 (Diskussion) 19:43, 15. Nov. 2020 (CET)
replies: text: Ich sehe keinen Grund, der gegen diese Änderung sprechen würde und befürworte sie daher. Du kannst nun noch auf weitere Meiningen dazu warten oder auch einfach mal mutig sein ;-). Gruß, Wolny1 (Diskussion) 19:54, 15. Nov. 2020 (CET)
replies: text:  Ok, dann wage ich es einfach mal! Schlimmstenfalls ist es nicht besser als vorher ;) VG, Citius11235 (Diskussion) 20:02, 15. Nov. 2020 (CET)
thread_title:  Änderungsvorschlag Definition und Bemerkungen 

message: Um auch für nichtkommutative Ringe geeignete Begriffe zu haben, unterscheidet man zwischen Links-, Rechtsidealen und zweiseitigen Idealen:
Es sei I eine Teilmenge eines Ringes \mathbf R = (R, +, \cdot). I heißt dann Linksideal, wenn gilt:
:1: (I,+) ist eine Untergruppe von (R,+)
:2L: Für jedes a \in I und r \in R ist r \cdot a \in I.
Entsprechend ist I ein Rechtsideal, wenn Bedingung 1 und
:2R: Für jedes a \in I und r \in R ist a \cdot r \in I
erfüllt ist.
I nennt man schließlich zweiseitiges Ideal oder nur kurz Ideal, falls I Links- und Rechtsideal ist, also 1, 2L und 2R erfüllt.
==== Bemerkungen ====
* Ist der Ring kommutativ, dann fallen alle drei Begriffe zusammen, in einem nichtkommutativen Ring können sie sich aber unterscheiden.
* Als Untergruppe von (R,+) enthält I insbesondere die 0.
* Bedingung 1 ist äquivalent zu der Forderung, dass mit a,b \in I auch a - b\in I ist. (Untergruppenkriterium)
* Jedes Ideal I in \mathbf R bildet auch einen Unterring (I, +, \cdot) von \mathbf R, im Allgemeinen aber ohne Eins, 1 \notin I. Ist \mathbf R ein Ring mit Eins, so ist (I, +, \cdot) genau dann ein Unterring mit Eins, wenn I=R.
* Ein Links- ebenso wie ein Rechtsideal I in \mathbf R ist nichts anderes als ein \mathbf R-Untermodul (I, +) von \mathbf R, \mathbf R aufgefasst als \mathbf R-Links- bzw. \mathbf R-Rechtsmodul (R, +).
-- Citius11235 (Diskussion) 19:43, 15. Nov. 2020 (CET)
replies: text: Ich sehe keinen Grund, der gegen diese Änderung sprechen würde und befürworte sie daher. Du kannst nun noch auf weitere Meiningen dazu warten oder auch einfach mal mutig sein ;-). Gruß, Wolny1 (Diskussion) 19:54, 15. Nov. 2020 (CET)
replies: text:  Ok, dann wage ich es einfach mal! Schlimmstenfalls ist es nicht besser als vorher ;) VG, Citius11235 (Diskussion) 20:02, 15. Nov. 2020 (CET)
thread_title:  Definition 

message: * Ist der Ring kommutativ, dann fallen alle drei Begriffe zusammen, in einem nichtkommutativen Ring können sie sich aber unterscheiden.
* Als Untergruppe von (R,+) enthält I insbesondere die 0.
* Bedingung 1 ist äquivalent zu der Forderung, dass mit a,b \in I auch a - b\in I ist. (Untergruppenkriterium)
* Jedes Ideal I in \mathbf R bildet auch einen Unterring (I, +, \cdot) von \mathbf R, im Allgemeinen aber ohne Eins, 1 \notin I. Ist \mathbf R ein Ring mit Eins, so ist (I, +, \cdot) genau dann ein Unterring mit Eins, wenn I=R.
* Ein Links- ebenso wie ein Rechtsideal I in \mathbf R ist nichts anderes als ein \mathbf R-Untermodul (I, +) von \mathbf R, \mathbf R aufgefasst als \mathbf R-Links- bzw. \mathbf R-Rechtsmodul (R, +).
-- Citius11235 (Diskussion) 19:43, 15. Nov. 2020 (CET)
replies: text: Ich sehe keinen Grund, der gegen diese Änderung sprechen würde und befürworte sie daher. Du kannst nun noch auf weitere Meiningen dazu warten oder auch einfach mal mutig sein ;-). Gruß, Wolny1 (Diskussion) 19:54, 15. Nov. 2020 (CET)
replies: text:  Ok, dann wage ich es einfach mal! Schlimmstenfalls ist es nicht besser als vorher ;) VG, Citius11235 (Diskussion) 20:02, 15. Nov. 2020 (CET)
thread_title:  Bemerkungen