{"entities":{"Q2579772":{"pageid":2590515,"ns":120,"title":"Item:Q2579772","lastrevid":44401671,"modified":"2025-11-22T16:55:36Z","type":"item","id":"Q2579772","labels":{"en":{"language":"en","value":"Liesche Ringe und assoziative hyperkomplexe Systeme."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502284"}},"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":"Q2579772$DCAAAEA9-9EC7-42AC-BE68-0BC8AE098333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b2fbf358a39ff04366c19406a6337ee08333b03","datavalue":{"value":{"text":"Liesche Ringe und assoziative hyperkomplexe Systeme.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579772$8B8A04FF-2E6C-46E7-BF0B-E2D7F3CE19C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f64d27d2bcbadcaa20e277b953a8acd4e9dc9c4","datavalue":{"value":"67.0094.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579772$FF3062F8-60D2-464F-84EE-D55FB9867C93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26c4dc37778d15c7070788ef59db05968f28cf11","datavalue":{"value":{"entity-type":"item","numeric-id":2579771,"id":"Q2579771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579772$A56C9D31-A301-4F24-9950-639073C9FF15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3567d56fd97802dfe54efcd2cd7c1fc3353c22fe","datavalue":{"value":{"entity-type":"item","numeric-id":559496,"id":"Q559496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579772$89FF8644-FB8D-48DB-8D3C-FDBCFB833DDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579772$5D0775EC-3351-486E-813F-BEFEA695D18E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c1d8d569f5a503492c7da5f93f01a88486cfe6a","datavalue":{"value":"Es sei \\(\\mathfrak{L}\\) ein Liescher Ring von endlichem Range \u00fcber einem K\u00f6rper \\(k\\). Eine assoziative Algebra \\(\\mathfrak{A}\\), die \\(\\mathfrak{L}\\) als Teilmodul enth\u00e4lt und von den Elementen aus \\(\\mathfrak{L}\\) durch die Kompositionsregeln von \\(\\mathfrak{A}\\) erzeugt wird, hei\u00dft \\textit{Einh\u00fcllende Algebra} (kurz E. A.) von \\(\\mathfrak{L}\\), wenn sich die Klammeroperation \\([X, \\,Y]\\) in \\(\\mathfrak{L}\\) durch die Kompositionsregeln von \\(\\mathfrak{A}\\) in der Form \\([X, \\,Y] = XY - YX\\) realisieren l\u00e4\u00dft. \\(\\mathfrak{A}\\) wird von endlichem Range vorausgesetzt, d. h. es werden nur solche Lieschen Ringe behandelt, welche eineindeutige Darstellungen durch Matrizen endlichen Grades besitzen. Eine E. A. \\(\\mathfrak{A}\\) von \\(\\mathfrak{L}\\) hei\u00dft \\textit{minimale} E. A. (kurz m. E. A.), wenn jedes zweiseitige von Null verschierdene Ideal von \\(\\mathfrak{A}\\) einen nichtleeren Durchschnitt mit \\(\\mathfrak{L}\\) hat, und wenn keine echte Teilalgebra von \\(\\mathfrak{A}\\) existiert, die E. A. von einem zu \\(\\mathfrak{L}\\) isomorphen Lieschen Ring ist. Verf. besch\u00e4ftigt sich in vorliegender Arbeit mit strukturtheoretischen Beziehungen zwischen \\(\\mathfrak{L}\\) und \\(\\mathfrak{A}\\): {\\S} 1. Es seien \\(\\mathfrak{M}_1\\) und \\(\\mathfrak{M}_2\\) zwei Teilmoduln von \\(\\mathfrak{L}\\). Der Modul, der aus allen Elementen \\([M_1, \\,M_2]\\) mit \\(M_1\\) aus \\(\\mathfrak{M}_1\\), \\(M_2\\) aus \\(\\mathfrak{M}_2\\) besteht, werde mit \\([\\mathfrak{M}_1,\\,\\mathfrak{M}_2]\\) bezeichnet. \\(\\mathfrak{R}\\) sei das Radikal von \\(\\mathfrak{L}\\) und \\(\\mathfrak{N}\\) das Radikal von \\(\\mathfrak{A}\\). \\(\\mathfrak{L}\\) enth\u00e4lt einen zu \\(\\mathfrak{L}\\) mod \\(\\mathfrak{R}\\) isomorphen einfachen Teilring \\(\\mathfrak{L}^*\\) mit \\(\\mathfrak{L}=\\mathfrak{L}^*+\\mathfrak{R}\\) (supplement\u00e4re Summe; vgl. z. B. \\textit{J. H. C. Whitehead}, Proc. Cambridge philos. Soc. 32 (1936), 229-237; F.~d.~M. 62\\(_{\\text{I}}\\), 443). Ebenso hat \\(\\mathfrak{A}\\) eine zu \\(\\mathfrak{A}\\) mod \\(\\mathfrak{N}\\) isomorphe halbeinfache Teilalgebra \\(\\mathfrak{A}^*\\) mit \\(\\mathfrak{A}=\\mathfrak{A}^*+\\mathfrak{N}\\). Satz: Bei festem \\(\\mathfrak{L}^*\\) kann \\(\\mathfrak{A}^*\\) so gew\u00e4hlt werden, da\u00df \\(\\mathfrak{A}^* \\supset \\mathfrak{L}^*\\) gilt. Setzt man \\(\\mathfrak{R}^*=\\mathfrak{N} \\frown \\mathfrak{R}\\) und \\(\\mathfrak{R}'=[\\mathfrak{R}, \\,\\mathfrak{R}]\\), so gilt \\(\\mathfrak{R} \\supseteqq \\mathfrak{R}^* \\supseteqq \\mathfrak{R}'\\). -{\\S} 2. Jede m. E. A. \\(\\mathfrak{A}\\) eines halbeinfachen Lieschen Ringes \\(\\mathfrak{L}\\) ist halbeinfach. Ist \\(\\mathfrak{A}=\\mathfrak{a}_1 \\bigoplus \\cdots \\bigoplus \\mathfrak{a}_s\\) die Zerlegung von \\(\\mathfrak{A}\\) in die direkte Summe von einfachen Idealen, so ist \\(\\mathfrak{L}=\\mathfrak{m}_1 \\bigoplus \\cdots \\bigoplus \\mathfrak{m}_s\\) mit \\(\\mathfrak{m}_i=\\mathfrak{a}_i \\frown \\mathfrak{L}\\) \\((i=1, \\ldots \\!,s)\\) eine Zerlegung von \\(L\\) in eine direkte Summe von Idealen. Dabei ist \\(\\mathfrak{a}_i\\) eine m. E. A. von \\(\\mathfrak{m}_i\\). -- {\\S} 3. Es sei \\(\\mathfrak{L}\\) halbeinfach und \\(\\mathfrak{A}\\) einfach. Zerlegt man \\(\\mathfrak{L}\\) in eine direkte Summe von einfachen Idealen \\(\\mathfrak{L}=\\mathfrak{m}_1 \\bigoplus \\cdots \\bigoplus \\mathfrak{m}_t\\) und bezeichnet mit \\(\\mathfrak{B}_i\\) die E. A. von \\(\\mathfrak{m}_i\\) in \\(\\mathfrak{A}\\), dann gilt: Je zwei Algebren \\(\\mathfrak{B}_i\\) und \\(\\mathfrak{B}_j\\) \\((i \\neq j)\\) sind elementweise vertauschbar; es ist \\(\\mathfrak{B}_i \\frown \\mathfrak{L}=\\mathfrak{m}_i\\); jedes \\(\\mathfrak{B}_i\\) ist einfach und besitzt als Einheitselement dasjenige von \\(\\mathfrak{A}\\); ist \u00fcberdies \\(\\mathfrak{A}\\) normal einfach, so ist jedes \\(\\mathfrak{B}_i\\) auch normal einfach, und es gilt \\(\\mathfrak{A}=\\mathfrak{B}_1 \\times \\cdots \\mathfrak{B}_t\\) (direktes Produkt). -- {\\S} 4. \\(\\mathfrak{A}\\) sei einfach; alle halbeinfachen Lieschen Ringe mit derselben E. A. \\(\\mathfrak{A}\\) bilden einen Halbverband hinsichtlich einer geeigneten Verkn\u00fcpfungsoperation. -- Ist \\(\\mathfrak{A}\\) einfach und m. E. A. eines einfachen Lieschen Ringes \\(\\mathfrak{L}\\), und ist \\(P\\) das Zentrum von \\(\\mathfrak{A}\\), so gilt: \\(\\mathfrak{L}\\) \u00fcber \\(P\\) ist einfach; \\(\\mathfrak{A}\\) \u00fcber \\(P\\) ist eine m. E. A. von \\(\\mathfrak{L}\\) \u00fcber \\(P\\). -- Zum Schlu\u00df wird f\u00fcr jeden normalen einfachen Lieschen Ring eine ihm charakteristische m. E. A. angegeben.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579772$F150942B-0093-4584-A717-BBB1C8907B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72a7ac6cba9e6946c4cfa27596dd34e78828d257","datavalue":{"value":"2502284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579772$51D88604-CF81-4E3B-AF9F-810417A818C9","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":"Q2579772$D81A6D86-B98C-466A-BDF2-205A12E7AB4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579772"}}}}}