{"entities":{"Q1509684":{"pageid":1520424,"ns":120,"title":"Item:Q1509684","lastrevid":43166830,"modified":"2025-07-22T00:44:31Z","type":"item","id":"Q1509684","labels":{"en":{"language":"en","value":"Quelques remarques sur les groupes continus."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2662714"}},"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":"Q1509684$E696A164-1A6A-4220-9F30-2D10AD860B6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42971609dcb86a112518ad0575a7422fb24613f5","datavalue":{"value":{"text":"Quelques remarques sur les groupes continus.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1509684$8A216006-CCB7-4665-99AD-4115DAE8A855","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5ac133f08787fd34677dfdac77c8dcfada52a2c","datavalue":{"value":"32.0373.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1509684$EDFD551E-3529-4043-9EC6-94571544B2E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce9a39f57555daf672fdb747c0f79dcf52c7dd16","datavalue":{"value":"10.1007/BF03013569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1509684$BA2C165B-6717-4451-B6A7-75A4D971E02A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1509684$00B2A1C6-AE99-4B62-A528-708407FE840F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fc1b5bd99efed0b36db251c34c6852cf5461161","datavalue":{"value":{"time":"+1901-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":"Q1509684$F2B0DA19-142F-474A-9547-EC3911BEB271","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cb8212cd6c380364ed900aade4381b4df77b4a5","datavalue":{"value":"Eine in vielen Beziehungen interessante und wichtige Arbeit, die aber sehr deutlich erkennen l\u00e4\u00dft, da\u00df\\ sich der Verf. um die gruppentheoretischen Literatur allzuwenig bek\u00fcmmert hat; eine ganze Reihe seiner Resultate ist nicht neu oder doch nur der Form nach neu, wenn auch die neue Form, in der sie hier auftreten, sehr bemerkenswert ist. Einige der Resultate hat der Verf. schon in der Arbeit ``Sur les groupes continus'' mitgeteilt, die in der Festschrift zu Ehren von \\textit{Stokes} erschienen ist (Cambrige 1900). Er geht aus von einer sehr sch\u00f6nen Darstellung der zu der Zusammensetzung \\(c_{iks}\\) geh\u00f6rigen adjungierten Gruppe. Setzt man: \\(l_{ik} = \\sum_s c_{sik} v_s\\), und bezeichnet man die bekannte Determinante \\(| b_{ik} - \\varepsilon_{ik} \\xi |\\) mit \\(F(\\xi)\\), ihre \\((r-1)\\)-reihigen Unterdeterminanten mit \\(P_{ik}\\), dann wird  \\[ \\sum_k (b_{ki} - \\varepsilon_{ki} \\omega) P_{kj} = \\varepsilon_{ij} F(\\xi), \\]  und die endliche Transformation der adjungierten Gruppe, deren kanonische Parameter \\(v_1, \\dots, v_r\\) sind, erscheint in der eleganten Form:  \\[ t_i' = \\frac{1}{2\\pi \\sqrt -1} \\int \\frac{e^{-\\xi} \\sum_j P_{ij} t_j}{F(\\xi)}\\;d\\xi, \\]  wo man l\u00e4ngs eines geschlossenen Weges zu integrieren hat, der alle Wurzeln von \\(F(\\xi) =0\\) umschlie\u00dft. Fragt man umgekehrt nach den infinitesimalen Transformationen der adjungirten Gruppe, von denen eine vorgelegte endliche Transformation \\(t_i' = \\sum_j l_{ij} t_j\\) oder kurz \\(L\\) der Adjungierten erzeugt ist, so hat man zun\u00e4chst bei gegebenen \\(l_{ij}\\) die \\(b_{ij}\\) zu berechnen (auf die Frage, welche der gefundenen \\(b_{ij}\\) ein Wertsystem \\(v_j\\) liefern, geht der Verf. nicht ein), mit andern Worten, man hat die linearen homogenen infinitesimalen Transformationen zu bestimmen, von denen eine vorgelegte endliche lineare homogene Transformation erzeugt ist. Die l\u00e4ngst bekannte L\u00f6sung dieser Aufgabe entwickelt der Verf. in ganz neuer Weise. Er setzt: \\(| l_{ik} - \\varepsilon_{ik} e^{-\\xi} | = \\varPhi (e^{-\\xi})\\) und bezeichnet die zugeh\u00f6rigen \\((r-1)\\)-reihigen Unterdeterminanten mit \\(Q_{ik}\\) so da\u00df\\ wird:  \\[ \\sum_{\\kappa} (l_{\\kappa i} - \\varepsilon_{\\kappa i} e^{-\\xi} ) Q_{\\kappa j} = \\varepsilon_{ij} \\varPhi (e^{-\\xi}). \\]  Die \\(\\alpha\\)-te Potenz von \\(L\\) erscheint dann in der Form:  \\[ t_i' = \\frac{-1}{2\\pi \\sqrt -1} \\int e^{-\\alpha \\xi}\\;\\frac{e^{-\\xi} d\\xi}{\\varPhi (e^{-\\xi})}\\;\\sum_j t_j Q_{ij}, \\]  und daraus ergibt sich sofort:  \\[ b_{ji} = \\frac{-1}{2\\pi \\sqrt -1} \\int \\frac{\\xi e^{-\\xi} d\\xi}{\\varPhi (e^{-\\xi})}\\;Q_{ij}, \\]  wo der Integrationsweg so zu w\u00e4hlen ist, da\u00df\\ au\u00dferhalb des von ihm umschlossenen Gebietes nur solche Wurzeln der Gleichung \\(\\varPhi (e^{-\\xi}) = 0\\) liegen, die sich von den innerhalb liegenden Wurzeln um Vielfache von \\(2\\pi i\\) unterscheiden, w\u00e4hrend innerhalb keine zwei Wurzeln liegen, deren Differenz ein solches Vielfaches ist. Hierin liegt der schon l\u00e4ngst bekannte Satz, da\u00df\\ die \\(b_{ij}\\) unendlich vieldeutige Funktionen der \\(l_{ij}\\) sind und aufh\u00f6ren, sich regul\u00e4r zu verhalten, wenn entweder die Determinante der \\(l_{ij}\\) verschwindet, oder wenn die Gleichung \\(F(\\xi) = 0\\) zwei Wurzeln bekommt, die sich um ein Vielfaches von \\(2\\pi i\\) unterscheiden. Unter den endlichen Transformationen der adjungierten Gruppe sind daher die als \\textit{singul\u00e4r} zu betrachten, f\u00fcr deren kanonische Parameter \\(v_1, \\dots, v_r\\) die Gleichung \\(F(\\xi) = 0\\) zwei Wurzeln besitzt, die sich um ein Vielfaches von \\(2\\pi i\\) unterscheiden. Dies der Inhalt von \\(\\S\\) 1 und 2. In \\(\\S\\) 3 geht der Verf. zur kanonischen Parametergruppe \u00fcber, deren infinitesimale Transformationen er durch die leicht verst\u00e4ndliche symbolische Gleichung:  \\[ e^V e^{dT} = e^{V +dV} \\]  definiert, wo \\(V= \\varSigma v_i X_if\\), \\(T= \\varSigma t_i X_i f\\), \\(dV = \\varSigma dv_i X_i f\\). Er stellt die an anderer Stelle von ihm abgeleiteten Formeln auf:  \\[ \\begin{aligned} & dt_i = \\frac{1}{2\\pi \\sqrt -1} \\int d\\xi\\;\\frac{1-e^{-\\xi}}{\\xi}\\;\\sum\\;\\frac{dv_j P_{ij}}{F(\\xi)},\\\\ & dv_i = \\frac{1}{2\\pi \\sqrt -1} \\int d\\xi\\;\\frac{\\xi}{1- e^{-\\xi}}\\;\\sum\\;\\frac{dt_i P_{ij}}{F(\\xi)}\\,,\\end{aligned} \\]  wo der Integrationsweg die Wurzeln von \\(F(\\xi)=0\\) einschlie\u00dfen, im zweiten Falle aber au\u00dferdem auch noch die Wurzeln von \\(1- e^{-\\xi} = 0\\) ausschlie\u00dfen mu\u00df, mit alleiniger Ausnahme der Wurzel \\(\\xi =0\\). Die infinitesimalen Transformationen der kanonischen Parametergruppe erscheinen nun in der Gestalt:  \\[ X_i f= \\frac{1}{2\\pi \\sqrt -1} \\int \\frac{\\xi d\\xi}{(1- e^{-\\xi}) F(\\xi)}\\;\\sum P_{ji}\\;\\frac{\\partial f}{\\partial v_j} \\,. \\]  Alle diese Formeln sind nur eine neue Darstellung der von \\textit{Lie} und in noch vollkommenerer Form von \\textit{Schur} entwickelten Formeln, die, sobald die endlichen Gleichungen der adjungierten Gruppe bekannt sind, durch blo\u00dfe Quadratur gefunden werden. Der Verf. wendet seine Formeln auf die Gruppe der Drehungen um einen festen Punkt an und zeigt, da\u00df\\ sie zu denselben Formeln f\u00fchren wie die Quaternionentheorie. Die weiteren Betrachtungen \u00fcber die Beziehungen der Parametergruppe zur Adjungierten enthalten f\u00fcr den Kenner der Untersuchungen von \\textit{Lie} und \\textit{Schur} nichts wesentlich Neues. Es folgen Betrachtungen \u00fcber die endlichen Transformationen der Parametergruppe, die durch \\(e^U e^W = e^V\\) definiert wird, wo \\(U= \\varSigma u_i X_i f\\) u. s. w. Den Transformationen \\(e^u, e^W, e^V\\) entsprechen drei Transformationen \\(\\varLambda_0, \\varLambda_1, L\\) der adjungierten Gruppe (n\u00e4mlich die mit den kanonischen Parametern \\(u_i, w_i, v_i\\)), und die Koeffizienten von diesen seien \\(\\lambda_{ij}^0, \\lambda_{ij}^1, l_{ij}\\). Da die \\(l_{ij}\\) bilineare Funktionen der \\(\\lambda_{ij}^0, \\lambda_{ij}^1\\) sind, so ergibt sich, da\u00df\\ die \\(v_i\\) als Funktionen der \\(u_i, w_i\\) nur dann aufh\u00f6ren k\u00f6nnen, holomorph zu sein, wenn \\(L\\) eine singul\u00e4re Transformation der Adjungierten ist. Das wird noch f\u00fcr den Fall, da\u00df\\ die Gruppe ausgezeichnete infinitesimale Transformationen enth\u00e4lt, n\u00e4her ausgef\u00fchrt. In \\(\\S\\) 4 betrachtet der Verf. die Gruppen vom Range Null. Die infinitesimalen Transformationen der Parametergruppe haben da die Form:  \\[ X_i f= \\sum_q^{1 \\cdots m} X_i^q, \\quad X_i^q f= \\textstyle\\sum W_{ik}^q\\;\\frac{\\partial f}{\\partial v_k}, \\]  wo die \\(W_{ik}^q\\) ganze homogene Funktionen \\(q\\)-ter Ordnung sind, was zu allerhand interessanten Betrachtungen Anla\u00df\\ gibt. In \\(\\S\\) 5 wird die Parametergruppe wieder vorgenommen und ihre Integraldarstellung umgestaltet. Wieder werden die \\(v_i\\) als Funktionen der \\(u_i\\) und \\(w_i\\) betrachtet. Es kann vorkommen, da\u00df, wenn die \\(u_i\\) und \\(w_i\\) nach kontinuierlichen \u00c4nderungen zu ihren urspr\u00fcnglichen Werten zur\u00fcckgekehrt sind, die \\(v_i\\) andere Werte \\(v_i^0\\) angenommen haben. Die Transformationen der Adjungierten, die die kanonischen Parameter \\(v_i\\) und \\(v_i^0\\) haben, fallen dann notwendig zusammen, w\u00e4hrend \\(e^V\\) und \\(e^{V_0}\\) \\((V_0 = \\sum v_i^0 X_i f)\\) das nicht zu tun brauchen. Die Transformation \\(e^V e^{-V_0}\\) ist aber mit allen Transformationen der Gruppe vertauschbar; sie ist eine \\textit{spezielle} Transformation der Gruppe, wie der Verf. sich ausdr\u00fcckt. \u00dcber das Auftreten solcher speziellen Transformationen werden wichtige Untersuchungen angestellt. In \\(\\S\\) 6 betrachtet der Verf. die endlichen Gleichungen der kanonischen Parametergruppe, indem er von den Differentialgleichungen  \\[ \\frac{dv_i}{d\\varepsilon} = \\frac{1}{2\\pi \\sqrt -1} \\int \\frac{\\xi d\\xi}{1- e^{-\\xi}}\\;\\sum\\;\\frac{t_j P_{ij}}{F(\\xi)} \\]  ausgeht, die die eingliedrigen Untergruppen bestimmen. Hier sind besonders die Werte \\(v_i\\) von Interesse, f\u00fcr die die Gleichung \\(F(\\omega) = 0\\) eine Wurzel \\(\\omega_0\\) besitzt gleich einem Vielfachen von \\(2\\pi i\\). Der Verf. zeigt, da\u00df\\ in der N\u00e4he einer solchen Stelle die \\(v_i\\), als Funktionen von \\(\\varepsilon\\) betrachtet, Differentialgleichungen von der Form:  \\[ \\frac{dv_i}{d \\varepsilon}= \\frac{V_i}{(\\omega - \\omega_0)^p}, \\quad \\frac{d \\omega}{d \\varepsilon} = \\frac{\\varOmega}{( \\omega - \\omega_0)^p}, \\]  gen\u00fcgen, wo \\(\\varOmega\\) und die \\(V_i\\) holomorph sind, und wo \\(F(\\omega) =0\\) ist. In der N\u00e4he einer solchen Stelle werden daher die \\(v_i\\) keine holomorphen Funktionen der \\(u_i, w_i\\) mehr sein. \\(\\S\\) 7 endlich enth\u00e4lt allerhand Formeln und Betrachtungen, aus denen sich, wie der Verf. mehr andeutet, als da\u00df\\ er es wirklich ausf\u00fchrt, interessante Beziehungen zwischen den Wurzeln der zu einer Gruppe geh\u00f6rigen Gleichung \\(F(\\omega) =0\\) erschlie\u00dfen lassen werden. -- Im Vergleich mit den zahlreichen Arbeiten amerikanischer Mathematiker, die die Frage nach den singul\u00e4ren Transformationen der Gruppen fast nur an speziellen Beispielen studiert haben, ist es eine wahre Freude, zu sehen, wie ein Meister wie der Verf. die allgemeinen Gesichtspunkte in den Vordergrund stellt, auch wenn er nicht lauter neue Resultate zu Tage f\u00f6rdert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1509684$D7C55FE6-96A0-4462-A603-39D11A0A9664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebfc0f15ded0304eea16ba4cda0aa1fcd96b4665","datavalue":{"value":"2662714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1509684$65936C2F-9C71-49CA-B476-5DC317B50DA0","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":"Q1509684$96456FA3-7A0F-4A0F-9D70-E6C2E1908355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"599a95cf47b74b11a84c5ff67845b01d14c1b797","datavalue":{"value":{"entity-type":"item","numeric-id":6480734,"id":"Q6480734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1509684$FA2C1A58-56CA-4865-83AE-63430087B23B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1509684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1509684"}}}}}