{"entities":{"Q2616751":{"pageid":2627494,"ns":120,"title":"Item:Q2616751","lastrevid":44494611,"modified":"2025-11-23T08:29:05Z","type":"item","id":"Q2616751","labels":{"en":{"language":"en","value":"Abelsche Gruppen mit hyperkomplexem Operatorenring."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537306"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616751$AFAFAB71-6168-4D7C-8D37-6BE3F9ED601D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b397ec0ed23760c17944408d0ffdefda090b662","datavalue":{"value":{"text":"Abelsche Gruppen mit hyperkomplexem Operatorenring.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2616751$D24A6F83-D609-431E-9590-EE9EE73A6D4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"498470668a6f0ec37195126361eb011d0ed8c9bf","datavalue":{"value":"60.0102.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616751$34E8AA0A-CA19-40D0-A7B0-8A4B873CD459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0b4adbd7a27caf07affafcbcad546c4d78d7bf0","datavalue":{"value":"10.1007/BF01201343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616751$31DEAEAC-A333-41E2-80F5-9C24D02BAAA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616751$A1C9E57F-E761-432B-8BC7-701E582729C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2616751$9EAF1FA5-BEB8-43D4-B167-2DC3DC1DA8E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28db4a08c3440e27808444b555665cf4bb1bcbfa","datavalue":{"value":"https://eudml.org/doc/168536","type":"string"},"datatype":"url"},"type":"statement","id":"Q2616751$382FE8EA-0645-4594-AD6C-81C034AF0F0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44e3072124a87e5368b4850b0542823a02773c38","datavalue":{"value":"Zu der Frage der Struktur unendlicher avelsche Gruppen mit Operatorenbereich gibt Verf. einen Beitrag, der sich mit einem speziellen Typus von Operatorenbereichen befa\u00dft und hierf\u00fcr vollst\u00e4ndige Resultate bringt.  Ist der zugrunde gelegte Operatorenbereich ein nichtkommutativer Ring \\(\\mathfrak o\\), der den Doppelkettensatz f\u00fcr Linksideale erf\u00fcllt, eine Haupteinheit, aber kein Radikal besitzt, so kann die Strukturfrage vollst\u00e4ndig beantwortet werden, wie das schon \\textit{W. Krull} getan hat (Zur Theorie der allgemeinen Zahlringe, Math. Ann. 99 (1928), 51-70; F. d. M. 54, 157 (JFM 54.0157.*)). Verf. l\u00e4\u00dft daher die Bedingung, da\u00df\\ \\(\\mathfrak o\\) kein Radikal besitze, fallen und fordert nur, da\u00df\\ \\(\\mathfrak o\\) direkte Summe von zweiseitigen Idealen \\(\\mathfrak a _{\\varkappa }\\) ist, die selbst prim\u00e4re Ringe sind: \\(\\mathfrak o = \\mathfrak a _1 + \\mathfrak a _2 +\\cdots + \\mathfrak a _n\\). Prim\u00e4r hei\u00dft ein Ring, falls jedes zweiseitigeUnterideal des Ringes nilpotent ist.  Ein Ring \\(\\mathfrak o\\) mit diesen Eigenschaften hei\u00dft nun einreihig, wenn jedes primitive Idempotent \\(e\\) ein Rechts- und ein Linksideal \\(e\\mathfrak o\\) bzw. \\(\\mathfrak o e\\) erzeugt, die nur eine einzige Kompositionsreihe besitzen. Eine Gruppe \\(\\mathfrak G\\) mit einem solchen einreihigen Operatorenbereich \\(\\mathfrak o\\) l\u00e4\u00dft sich dann als direkte Summe \\(\\mathfrak G = \\mathfrak G _1 + \\mathfrak G _2 +\\cdots + \\mathfrak G _n\\) der Gruppen \\(\\mathfrak G _{\\varkappa } = \\mathfrak a _{\\varkappa }\\mathfrak G\\) darstellen; diese Zerlegung ist eindeutig, d. h. es gibt keine zu ihr isomorphe, aber von ihr verschiedene Zerlegung.  Daher kann f\u00fcr die weitere Untersuchung der Operatorenring als prim\u00e4rer einreihiger Ring vorausgesetzt werden. Der allgemeine Zerlegungssatz lautet dann folgenderma\u00dfen:  Jede Gruppe \\(\\mathfrak G\\) mit einreihigem Operatorenring \\(\\mathfrak o\\) ist direkte Summe von zyklischen direkt unzerlegbaren Gruppen, die einer der Gruppen \\(\\mathfrak l _{\\varkappa }/\\mathfrak s ^{\\lambda }_{\\varkappa }\\) isomorph sind, wobei \\(\\mathfrak l _{\\varkappa }\\) ein von einem primitiven Idempotent erzeugtes Linksideal aus \\(\\mathfrak a _{\\varkappa }, \\mathfrak s _{\\varkappa }\\) ist. Die Gruppen \\(\\mathfrak l _{\\varkappa }/\\mathfrak s ^{\\lambda }_{\\varkappa }\\) sind nicht isomorph untereinander; die Zerlegung ist bis auf Isomorphie eindeutig.  F\u00fcr Gruppen mit kommutativem einreihigem Operatorenring gibt es zu diesem Satze eine Art von Umkehrung: Ist n\u00e4mlich jede abelsche Gruppe mit einem (fest vorgegebenen) kommutativen Operatorenring, der den Doppelkettensatz erf\u00fcllt und eine Haupteinheit besitzt, in zyklische direkt unzerlegbare Summanden zerlegbar, so ist \\(\\mathfrak o\\) einreihig.  Bei nichtkommutativen Operatorenringen, von denen nichts anderes verlangt wird, als da\u00df\\ sie den Doppelkettensatz f\u00fcr Linksideale ref\u00fcllen und eine Haupteinheit besitzen, liegen weitaus schwierigere Verh\u00e4ltnisse vor; als ein Ersatz f\u00fcr den Zerlegungssatz ist f\u00fcr diesen Fall das folgende Resultat des Verf. zu bewerten:  Es sei \\(\\mathfrak c\\) das Radikal von \\(\\mathfrak o\\); Radikal der Gruppe \\(\\mathfrak G\\) mit dem Operatorenbereich \\(\\mathfrak o\\) nenne man die Untergruppe \\(\\mathfrak {cG}\\). Dann ist \\(\\mathfrak G\\) darstellbar als Vereinigungsgruppe von zyklischen direkt unzerlegbaren Gruppen \\(\\mathfrak H _{\\alpha }\\), die isomorph Faktorgruppen von minimalregul\u00e4ren Linksidealen von \\(\\mathfrak o\\) sind. Der Durchschnitt eines \\(\\mathfrak H _{\\alpha }\\) mit der Vereinigungsgruppe der \u00fcbrigen \\(\\mathfrak H _{\\beta } \\;(\\alpha \\not = \\beta )\\) geh\u00f6rt zum Radikal von \\(\\mathfrak G\\). Die Faktorgruppe \\(\\mathfrak G / \\mathfrak {cG}\\) ist direkte Summe der einfachen Gruppen \\(\\mathfrak H _{\\alpha }/ \\mathfrak {cH}_{\\alpha }\\). Dabei hei\u00dft ein Linksideal in \\(\\mathfrak o\\) regul\u00e4r, wenn es nicht nur nilpotente Elemente besitzt, minimalregul\u00e4r, wenn es kein echtes regul\u00e4res Unterideal besitzt.  Im letzten Abschnitt wendet Verf. diese seine Untersuchungen auf die Darstellungstheorie allgemeiner hyperkomplexer Systeme an. Es sei eine abelschen Gruppe \\(\\mathfrak G\\) mit \\(\\mathfrak o\\) als Operatorenbereich ein Rechts-\\(K\\)-Modul, wobei \\(K\\) irgendeinen K\u00f6rper bezeichnet, also ein Darstellungsbegriff kann nun folgenderma\u00dfen verallgemeinert werden: Durch Wohlordnung kann \\(\\mathfrak G\\) immer als direkte Summe von einfachen \\(K\\)-Moduln geschrieben werden:  \\[ \\mathfrak G = \\sum _{\\sigma < \\tau } \\alpha _{\\sigma }K. \\]  \\(\\tau \\) bezeichnet dabei die Ordnungszahl von \\(\\mathfrak G\\). Ist dann \\(c\\) ein Element von \\(\\mathfrak o\\), so ergibt sich aus  \\[ c\\alpha _{\\xi } = \\sum _{\\sigma } \\alpha _{\\sigma }k_{\\sigma \\xi } \\]  eine Darstellung  \\[ C = (k_{\\sigma \\xi }) \\]  des Systems \\(\\mathfrak o\\) spaltenfinite Matrizen mit \\(\\tau \\) Zeilen und Spalten.  Hier kann wie in Darstellungen endlichen Grades Reduzibilit\u00e4t und direkte Zerlegbarkeit definiert werden. F\u00fcr halbeinfache Ringe folgen dann die bekannten S\u00e4tze, w\u00e4hrend sich f\u00fcr einreihige hyperkomplexe Systeme als neues Resultat herausstellt, da\u00df\\ jede Darstellung in \\(K\\) ausreduzierbar ist in direkt unzerlegbare endliche Darstellungen, die sich alle aus den Gruppen \\(\\mathfrak l / \\mathfrak s ^{\\varkappa }\\) ergeben, wenn wie oben \\(\\mathfrak l\\) irgendein durch ein primitives Idempotent erzeugtes Linksideal, \\(\\mathfrak s\\) sein maximales nilpotentes Unterideal bedeutet. Daher gibt es auch hier nur endlich vile direkt unzerlegbare Darstellungsklassen.  Eine Anwendung dieser Darstellungstheorie in allgemeinster Form auf die Elementarteilertheorie beschlie\u00dft die Arbeit.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2616751$F3F122F5-12C4-4A35-9CEC-EEB299165D01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a748955eaa3f39a9d54f2d6bb394c92e6e23464a","datavalue":{"value":"2537306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616751$D86C9394-4C59-4C0E-8C39-4E0AEF33B99B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84837b6fa54d326e1e050ad7da62781de7d340fc","datavalue":{"value":"Q105495437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616751$B8CAF056-979B-4966-8F70-948E38A2D88D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fae8bf246cf42d673605c773e7d7f7ea1af3712","datavalue":{"value":{"entity-type":"item","numeric-id":563371,"id":"Q563371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616751$B047B8CE-4157-4E65-AEC5-5EB413A29293","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616751$2663F399-5D10-4EAC-99DD-B9D54692EEB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2616751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2616751"}}}}}