{"entities":{"Q2601858":{"pageid":2612601,"ns":120,"title":"Item:Q2601858","lastrevid":44448180,"modified":"2025-11-23T00:26:49Z","type":"item","id":"Q2601858","labels":{"en":{"language":"en","value":"Representability of Lie algebras and Lie groups by matrices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2520028"}},"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":"Q2601858$1A9D6BD8-20D8-43DA-AAB7-9D914F925B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63439a5bb48f18b6dbf2d1d72c32557d7a8afd25","datavalue":{"value":{"text":"Representability of Lie algebras and Lie groups by matrices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601858$17BCE0A5-85E0-4CA3-85B7-0C53D91EE706","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b944511beded4c65770ce897416b29a620b74ad4","datavalue":{"value":"63.0090.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601858$6D4B104C-AF95-4F08-9C2B-C9BB48FD6297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93dc6fd92415bffdec61faaeae8691e3fcad8f46","datavalue":{"value":"10.2307/1968569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601858$F12F1187-EBA3-4440-8680-E9E992499D9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601858$EFD74C09-F3C4-4B94-9A7A-1E3170ED077E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2601858$13ADFF9D-5544-486F-8C96-38681253BF26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e6b90e8184c9fc093b3c307e23b3c321b8437d5","datavalue":{"value":"(1) Ein \\textit{Lie}scher Ring \\(L\\) mit wohlgeordneter Basis \\(e_1\\), \\(e_{2}\\), \\(e_{3}\\),\\dots und den Zusammensetzungsregeln  \\[ e_i\\,\\circ\\,e_k=\\textstyle \\sum c_{ik}^\\nu e_\\nu  \\]  \u00fcber dem K\u00f6rper \\(k\\) l\u00e4\u00dft sich treu darstellen in einem assoziativen Ring \\(\\mathfrak A\\) mit den Basiselementen \\(e_{i(1)}e_{i(2)}\\cdots e_{i(q)}\\) (\\(i(1)\\leqq i(2)\\leqq \\cdots\\leqq i(q)\\), \\(q\\) beliebig) \u00fcber \\(k\\). Beweis: \\(\\overline{\\mathfrak A}\\) sei der freie assoziative \\(k\\)-Ring mit den Erzeugenden \\(\\overline{e}_1\\), \\(\\overline{e}_2\\),\\dots, und jedem Element aus \\(\\overline{\\mathfrak A}\\) sei ein Punkt eines Graphen zugeordnet. Von \\(A\\) wird eine nach \\(B\\) gerichtete Strecke gezeichnet, wenn \\(B\\) aus \\(A\\) durch Streckung, d. h. durch Ersetzung eines Potenzproduktes \\(*\\,\\overline{e}_i\\overline{e}_j\\,*\\) mit \\(i > j\\) in \\(A\\) durch \\(*\\,e_je_i\\,*+\\sum c_{ij}^\\nu \\,*\\,e_\\nu \\,*\\) entstanden ist. Von jedem Punkt \\(A\\) aus gelangt man nach endlich vielen Schritten zu einem Endpunkt, der einem ``kanonischen'' Element aus \\(\\overline{\\mathfrak A}\\) zugeordnet ist, d. i. eine Linearkombination von Potenzprodukten, in denen die \\(\\overline{e}_i\\) in nat\u00fcrlicher Reihenfolge stehen. Wichtig ist der Nachweis, da\u00df das kanonische Element eindeutig durch \\(A\\) bestimmt ist. Dazu wird gezeigt: Wenn \\(A\\to B\\), \\(A\\to C\\), so gibt es auch ein Element \\(D\\), so da\u00df \\(B\\to\\cdots\\to D\\), \\(C\\to\\cdots\\to D\\), denn dann kann man von \\(A\\) nur an einen Endpunkt gelangen. Es brauchen nur die beiden F\u00e4lle:  \\[ \\begin{aligned} A&=*\\,\\overline{e}_i\\overline{e}_j\\,*\\, \\overline{e}_{i'}\\overline{e}_{j'}\\,*+\\cdots\\qquad(i>j, i'>j'),\\\\ B&=\\cdots\\overline{e}_j\\overline{e}_i\\cdots, C=\\cdot\\cdots\\overline{e}_{j'}\\overline{e}_{i'}\\cdots\\end{aligned} \\]  und  \\[ \\begin{aligned} A&=*\\,\\overline{e}_i\\overline{e}_j\\overline{e}_l\\,*+\\cdots, \\qquad(i>j>l),\\\\ B&=\\cdots\\overline{e}_j\\overline{e}_i\\overline{e}_l\\cdots, C=\\cdots\\overline{e}_i\\overline{e}_l\\overline{e}_j\\cdots\\end{aligned} \\]  betrachtet zu werden. Im ersten Fall ist einfach \\(D=*\\,\\overline{e}_j\\overline{e}_i\\,*\\, \\overline{e}_{j'}\\overline{e}_{i'}\\,*+\\cdots\\), im zweiten Falle ergibt sich nach einigen Streckungen aus \\(B\\) und \\(C\\) ein gemeinsames Endergebnis: \\(D=*\\,\\overline{e}_l\\overline{e}_j\\overline{e}_i\\,*+\\cdots\\). Dabei m\u00fcssen nat\u00fcrlich die in \\(L\\) g\u00fcltigen Rechenregeln, insbesondere die \\textit{Jacobi}identit\u00e4t, ben\u00fctzt werden. -- Werden nun zwei Elemente aus \\(\\overline{\\mathfrak A}\\) mit gleichem zugeordneten kanonischen Element als kongruent erkl\u00e4rt, so entsteht ein Faktorring \\(\\mathfrak A\\), in dem sich die Abbildung \\(e_i\\to \\overline{e}_i\\) eindeutig zu einer Darstellung von \\(L\\) erg\u00e4nzen l\u00e4\u00dft. Die Darstellung ist treu, da \\(\\mathfrak A\\) als Basis \u00fcber \\(k\\) die kanonischen Potenzprodukte  \\[ \\overline{e}_{i(1)}\\overline{e}_{i(2)}\\cdots\\overline{e}_{i(q)}\\qquad \\bigl(i(1)\\leqq i(2)\\leqq \\ldots\\leqq i(q)\\bigr) \\]  \u00fcber \\(k\\) besitzt. -- Eine Folge ist:  (2) Jeder nilpotente \\textit{Lie}sche Ring von endlich vielen Parametern aus \\(k\\) besitzt eine treue Darstellung in (endlich-reihigen) Matrizen.  Hieraus folgt verm\u00f6ge der \\textit{Hausdorff}schen Formel: Die universelle \u00dcberlagerungsgruppe einer nilpotenten (d. h: hyperzentralen) kontinuierlichen Gruppe besitzt eine treue Darstellung in Matrizen. -- Am Schlu\u00df wird noch gezeigt: Jede kontinuierliche Matrizengruppe, deren zugeordneter (\\textit{Lie}scher) Ring der infinitesimalen Transformationen nilpotent ist, ist direktes Produkt einer Gruppe aus Diagonalmatrizen und einer einfach zusammenh\u00e4ngenden kontinuierlichen Gruppe. (IV 7.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601858$802A16D1-32B3-4418-A812-9EBEB086E9B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60fc048dd54f76e820b5bfc3829afb9cae87ecf4","datavalue":{"value":"2520028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601858$28B62402-937C-4FF2-AE49-74D6FEB63738","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"72f4a5e56565b043ae074f733686558a4bd03626","datavalue":{"value":"Q56430623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601858$1A5FE121-B7B1-4050-9121-81433CE9357B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228db79b45fa3473f443ccacd15e5f2306af0611","datavalue":{"value":{"entity-type":"item","numeric-id":559464,"id":"Q559464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601858$EC233F1D-B572-46F4-AA5E-63DAD84BAE97","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":"Q2601858$F6F86FA3-0310-401F-83E2-47E2F7405FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5665ae2bf3fbc2b124f336f1f504cbd4ce4d0088","datavalue":{"value":"https://doi.org/10.2307/1968569","type":"string"},"datatype":"url"},"type":"statement","id":"Q2601858$491D3553-0884-4DBA-A984-0BD52709FAFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f039297d3cf701f0b34dd9a38e3e1d56d663bde1","datavalue":{"value":"W2326890753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601858$3BF37BEC-334F-481D-ACAA-5DE74D3B13FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601858"}}}}}