Diskussion:Hauptidealring

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 3 Jahren von Lynxbiru in Abschnitt Definition ist falsch!
Zur Navigation springen Zur Suche springen

Torsionsmoduln

[Quelltext bearbeiten]

Obwohl anscheinend durch Bourbaki belegt, stimmt

(Zitat) ein Vertretersystem der irreduziblen Elemente. Dann gilt:[1] ist die direkte Summe der -primären Untermoduln , d. h.

mit

(Zitatende)

vermutlich nicht. So, wie es dasteht darf nur eine (1(!)) Kopie pro und auch nur einmal vorkommen. Alle anderen dementsprechenden Aussagen erlauben Vielfachheiten bei beiden, und zwar ist bspw. auch ein Torsionsmodul. Wäre aber mit dem Laufindex nicht möglich.

  1. Bourbaki, Algebra, Ch. VII, § 2, No. 2, Theorem 1

--Nomen4Omen (Diskussion) 20:33, 6. Feb. 2016 (CET)Beantworten

So ein wäre dann ja nur ein einzelnes . Die Aussage steht so z. B. auch in Bosch: Algebra, allerdings nur für endlich erzeugte Torsionsmoduln. Ich sehe nicht, warum das für beliebige Torsionsmoduln so vermutlich nicht stimmen sollte, auch wenn ich Bourbaki gerade nicht einsehen kann. Grüße -- HilberTraum (d, m) 21:21, 6. Feb. 2016 (CET)Beantworten
(Vielleicht habe ich zuviel draufgeladen.)
  1. Ein kann trivial sein (fast alle sind es auch).
  2. Bei der Schreibweise kommt jedes genau ein Mal vor.
  3. Und zu jedem kommt im Prinzip ein einziges per
genau ein Mal vor, und zwar das größte, zu dem es ein annihiliertes Element gibt. Denn mit dem größten werden die kleineren miterledigt. Und es werden in ja nicht die , sondern die aufgesammelt.
Für bräuchte man mehrere Paare , und zwar (p,1); (p,1); (p,3). Das lässt sich also per gar nicht ausdrücken.
Auch ich spreche nur von endlich erzeugte Torsionsmoduln.
--Nomen4Omen (Diskussion) 22:01, 6. Feb. 2016 (CET)Beantworten
Sagen wir . Dann gilt
mit für wie du richtig schreibst. Das Problem verstehe ich leider immer noch nicht ganz. -- HilberTraum (d, m) 22:26, 6. Feb. 2016 (CET)Beantworten

OK. Ich glaube, wir kommen der Sache näher. Wenn , dann ist, wie du schreibst

für

und

, welches ist. Denn wenn 5*m=0, dann ist auch 5^3*m=0. Zusammen:
, was nicht stimmt.

--Nomen4Omen (Diskussion) 22:40, 6. Feb. 2016 (CET)Beantworten

Wieso sollte gelten? hat Elemente, aber nur . -- HilberTraum (d, m) 23:18, 6. Feb. 2016 (CET)Beantworten

Ja, du hast Recht. Die bleiben die alten, auch in . --Nomen4Omen (Diskussion) 17:02, 7. Feb. 2016 (CET)Beantworten

Definition ist falsch!

[Quelltext bearbeiten]

Das ist kein allgemein gültiger Artikel über Hauptidealringe (en: principal ideal ring), sondern nur über Hauptidealringe, die zusätzlich auch Integritätsringe sind (en: principal ideal domain)!

Im Deutschen wird sprachlich nicht wirklich zwischen den zwei Begriffen unterschieden, mit Hauptidealring meint man in der Regel einen "principal ideal domain". Siehe Hauptidealring#Verwandte Begriffe und die angegebene Referenz. Ich entferne daher den Überarbeiten-Baustein. Gruß --Lynxbiru (Diskussion) 17:01, 22. Jun. 2021 (CEST)Beantworten

Bézoutring

[Quelltext bearbeiten]

in [1] steht: gleichbedeutend damit ist, dass der Durchschnitt zweier Hauptideale wieder ein Hauptideal ist. Ich möchte das nur nicht ungeprüft hier eintragen. --Ralf Preußen (Diskussion) 11:57, 30. Jul. 2020 (CEST)Beantworten

Ich sehe nicht, warum das hier in diesem Artikel sollte. Ein Artikel Bézoutring kann natürlich angelegt werden, aber dann bitte auf Basis von Literatur, wo der Begriff nicht nur am Rande vorkommt.—Hoegiro (Diskussion) 22:43, 1. Aug. 2020 (CEST)Beantworten
Nach Flemmermeyer besteht da ja eine Inklusion (Teil 2, Abb. 1) des Bézoutrings zum Hauptidealring - also gehört das auch hier hin. Den (überfälligen) Artikel Bézoutring sollte besser ein Math. schreiben, denn ich bin keiner. --Ralf Preußen (Diskussion) 08:36, 2. Aug. 2020 (CEST)Beantworten
Gibt es irgendwelche Literatur zu Hauptidealringen, wo Bézoutringe prominent erwähnt werden??—Hoegiro (Diskussion) 09:05, 2. Aug. 2020 (CEST)Beantworten
Eventuell: [2], [3], ...--Ralf Preußen (Diskussion) 09:43, 2. Aug. 2020 (CEST)Beantworten
Was heißt „eventuell“? In jedem Fall ist das keine Literatur über Hauptidealringe. Mir ging es nur um die Relevanz, ob also in Literatur über Hauptidealringe auch Bézoutringe erwähnt werden, so dass wir das hier im Artikel auch machen sollten.—Hoegiro (Diskussion) 11:07, 2. Aug. 2020 (CEST)Beantworten
Mit Verweis auf das Universalienproblem und die Inklusion von Flemmermeyer (Teil 2, Abb. 1) ist die Relevanz des Bézoutring (und aller weitereren dort aufgeführten Strukturen) per se begründet gegeben. Zur Angabe von allfälliger math. Literatur bin ich als Physiker der falscher Ansprechpartner. Zu Not reicht doch Flemmermeyer. Ich empfinde es zunehmend als (sagen wir) bedenklich, dass ich hier im amth Gebiet der WP so etwas überhaupt diskutieren muss. Nur weil einzelne Sichter etwas (möglicherweise) selbst nicht kennten/verstehen, bedeutet dies im Umkehrschluss nicht, dass es für die WP und/oder deren Benutzer (also auch die nicht KP geschriebenen) unrelevant ist. --Ralf Preußen (Diskussion) 11:24, 2. Aug. 2020 (CEST)Beantworten
Wer sagt eignetlich das deine alleinige Meinung Relevant für die Wikipedia ist? (nicht signierter Beitrag von 2A00:20:9010:FE16:1915:319F:8C8C:DFF2 (Diskussion) 12:01, 2. Aug. 2020 (CEST))Beantworten
Weil mein Beitrag positiv bestimmt und (bisher) nicht begründet widerlegt ist. Zudem ist die WP demokratisch strukturiert, insbesondere steht hier kein selbstbestimmter Vertreter eines WP-Gottes über mir. Zudem sind meine Beiträge: "einfach, schön und analytisch" wie ein Naturgesetz (welche übrigens Physiker erfinden). Im Ergebnis sind (fast alle) meiner Beiträge richtig und relevant. --Ralf Preußen (Diskussion) 12:51, 2. Aug. 2020 (CEST)Beantworten

Ich habe den Artikel Bézout_Ring (per se) angelegt. Seht mal die vielen parallelen Sprachen dazu (vermutlich quatschen dort die Sichter nicht so viel "dummes Zeug"). Die Math unter Euch bauen diesen bitte (math. korrekt) selbst weiter aus. Hier ist das m.E. erledigt. --Ralf Preußen (Diskussion) 16:58, 2. Aug. 2020 (CEST)Beantworten