{"entities":{"Q2598728":{"pageid":2609471,"ns":120,"title":"Item:Q2598728","lastrevid":44441712,"modified":"2025-11-22T23:08:31Z","type":"item","id":"Q2598728","labels":{"en":{"language":"en","value":"Nichtkommutative Hauptidealringe."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2517901"}},"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":"Q2598728$AEB4FFC9-7DFE-4ADD-B58C-248DCFC4E7C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d71ae75d5480e3ee7834a19c66870461a1bd032","datavalue":{"value":{"text":"Nichtkommutative Hauptidealringe.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2598728$07EFEEFA-7F57-4CCF-9C93-036A45961B3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8a86cecacedf129670a9c00f8240d0ebb9cc7fe","datavalue":{"value":"64.0967.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598728$B704CB22-9283-4BEC-8FCD-C90A32B59BA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98cb4f8cd37fd0099775b3ace52f786b47ba50e","datavalue":{"value":{"entity-type":"item","numeric-id":2586063,"id":"Q2586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598728$0A4D6EEB-7C58-4101-A85C-D35FD581137C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2598728$811C7A95-D0E7-4A97-9326-C17E0DBED6F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0d6d70c7ac886c0e0bbc1066aa6b202b6b5d3b0","datavalue":{"value":"1. \\(o\\) sei im folgenden ein (nichtkommutativer) Ring mit Einselement ohne Nullteiler, in dem jedes Links- und Rechtsideal Hauptideal ist. \\(o\\) l\u00e4\u00dft sich durch Quotientenbildung zu einem Schiefk\u00f6rper \\(K\\) erweitern. In \\(o\\) besitzen endlich viele Elemente \\(a_1,\\ldots, a_n\\) einen gr\u00f6\u00dften gemeinsamen Rechtsteiler \\((a_1, \\ldots, a_n)_r\\) und ein kleinstes gemeinsames Rechtsvielfaches \\([a_1,\\ldots,a_n]_r\\) (abgek\u00fcrzt G. G. R. T. und K. G. R. V. usw.). Zwei Elemente \\(a\\) und \\(b\\) aus \\(o\\) hei\u00dfen gleichartig, wenn die Restklassenmoduln \\(o/oa\\) und \\(o/ob\\) operatorisomorph sind. \u00c4quivalent damit ist die Operatorisomorphie von \\(o/ao\\) und \\(o/bo\\) und die Bedingung \\(b = a^c_r\\) mit \\((a, c)_r = 1\\); dabei ist \\(a_r^c\\) als die rechtsseitige Transformierte \\([a, c]_rc^{-1}\\) von \\(a\\) durch \\(c\\) erkl\u00e4rt.  In 2. wird die Zerlegung der Elemente von \\(o\\) betrachtet. Dann und nur dann ist \\(a\\) unzerlegbar, also nicht in der Form \\(a=b\\cdot c\\) darstellbar, \\(b\\), \\(c\\) nicht Einheiten, wenn \\(o/oa\\) als \\(o\\)-Linksmodul einfach ist. Dann und nur dann ist \\(a\\) direkt-unzerlegbar, d. h. nicht in der Form \\(a= [b, c]_r\\), \\((b, c)_r=1\\), darstellbar, wenn \\(o/oa\\) direkt-unzerlegbar ist. Da jeder \\(o\\)-Linksmodul mit endlichvielen Erzeugenden sich bis auf Isomorphie eindeutig als direkte Summe von zyklischen \\(o\\)-Linksmoduln darstellen l\u00e4\u00dft (dies ergibt sich sofort aus der von \\textit{O. Teichm\u00fcller} [Sitzungsber. Preu\u00df. Akad. Wiss., Phys.-Math. Kl. 1937, 169--177 (1937; Zbl 0017.10001; JFM 63.0087.03)], f\u00fcr diesen Fall bewiesenen Elementarteilertheorie), ergeben sich daraus in einfacher Weise zwei von \\textit{O. Ore} [Ann. Math. (2) 34, 480--508 (1933; Zbl 0007.15101; JFM 59.0925.01)] f\u00fcr nichtkommutative Polynome bewiesene Zerlegungss\u00e4tze: Jedes Element l\u00e4\u00dft sich als Produkt unzerlegbarer, bis auf Gleichartigkeit bestimmter Faktoren darstellen, jedes Element l\u00e4\u00dft sich bis auf Gleichartigkeit als K. G. R. V. von einander links teilerfremden direkt-unzerlegbaren Elementen darstellen.  In 3. werden zweiseitige Ideale betrachtet, Ein Element \\(a\\) aus \\(o\\) hei\u00dft normal, wenn \\(ao = oa\\) ist. Ein nicht in normale Faktoren weiter zerlegbares Element hei\u00dft ein normales Primelement. Die Multiplikation normaler Elemente ist bis auf Einheitenfaktoren kommutativ. Jedes normale Element l\u00e4\u00dft sich als Produkt normaler Primelemente bis auf Einheitenfaktoren eindeutig darstellen. Jedes normale Primelement \\(\\pi\\) l\u00e4\u00dft sich als K. G. R. V. von zueinander linksteilerfremden, gleichartigen unzerlegbaren Elementen darstellen. Ihre eindeutig bestimmte Anzahl \\(\\varkappa\\) hei\u00dft die Kapazit\u00e4t von \\(\\pi\\). \\((\\pi) = p\\) sei ein Primideal in \\(o\\). Mit \\(o_p\\) werde die Menge aller zu \\(p\\) ganzen Elemente aus \\(K\\) bezeichnet. Ist \\(o_pa = o_p\\) f\u00fcr alle \\(p\\), so hei\u00dft \\(a\\) transzendent. \\(a\\) hei\u00dft endlich, wenn es Teiler eines normalen Elementes ist. Jedes nichtendliche Element l\u00e4\u00dft sich als K. G. R. V. eines transzendenten Elementes und eines endlichen Elementes bis auf Einheiten eindeutig darstellen.  In 4. wird die Zerlegung der endlichen Elemente weiter untersucht. Jedes endliche Element l\u00e4\u00dft sich als K. G. R. V. von zueinander absolutteilerfremden (d. h. auch gleichartige Elemente sind noch beiderseitig teilerfremd) Elementen, deren jedes ein Teiler einer Potenz eines normalen Primelementes ist, bis auf Einheiten eindeutig darstellen. Zieht man die Struktur von \\(o/p^N\\) heran, so ergibt sich weiter, da\u00df ein Teiler \\(a\\) einer Potenz eines normalen Primelementes \\(\\pi\\) als K. G. R. V. von zueinander links teilerfremden direkt-unzerlegbaren Elementen \\(q_1,\\ldots, q_s\\) darstellbar ist; \\(s\\leqq\\varkappa\\). Jedem \\(q_i\\) entspricht eine durch die Elementarteilertheorie in \\(o/p^N\\) bestimmte Zahl \\(\\varrho_i\\), die H\u00f6he von \\(q_i\\). Durch \\(p=(\\pi)\\) und das System \\((\\varrho_1, \\ldots, \\varrho_s)\\) ist a bis auf Gleichartigkeit eindeutig charakterisiert.  In 5. wird die Teichm\u00fcllersche Elementarteilertheorie der Matrizen \\(A\\) mit Elementen aus \\(o\\) neu hergeleitet und gezeigt, da\u00df die von Teichm\u00fcller gefundenen Elementarteiler bis auf Gleichartigkeit eindeutig bestimmt sind.  6. verallgemeinert die Zerlegungss\u00e4tze von 2. auf den Matrizenring aller \\(A\\), 7. betrachtet mit Hilfsmitteln der Algebrentheorie den Fall, da\u00df \\(o\\) Maximalordnung einer normaleinfachen Divisionsalgebra \u00fcber einem kommutativen K\u00f6rper ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598728$B9D7B2A3-515E-4135-8D9E-D36B59CDB359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0112f24663a65fc27bd7fbd53dd3dff68364972a","datavalue":{"value":"16-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598728$8DD4F973-E795-426E-9E6F-F7D0625A7B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598728$42C27FBC-89DC-4FC1-8232-CB59F5FF31AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d4cacb975452a5d0c630fb8410f01a019751c03","datavalue":{"value":"2517901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598728$537E08D0-B2E0-48F8-A366-6A9C8E5D7DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009cf777c00454063275385c8ec88ace9395f1f2","datavalue":{"value":"noncommutative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598728$95AFAAE4-119E-4F7B-ABEC-A929CED75517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9d63473d49ed3d1fa2e9d9529000d1fcbd9c20","datavalue":{"value":"principal ideal rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598728$541477C6-7301-41FB-8AD1-84A61DBA4E55","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":"Q2598728$D7300A92-C0AD-4372-AE4E-AC2FB159750F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2598728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2598728"}}}}}