{"entities":{"Q2611522":{"pageid":2622265,"ns":120,"title":"Item:Q2611522","lastrevid":44481261,"modified":"2025-11-23T06:31:47Z","type":"item","id":"Q2611522","labels":{"en":{"language":"en","value":"Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531476"}},"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":"Q2611522$E160010F-89F9-44D4-9160-9C76E03ED81C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63743f576b5bfbeecca174593ca8c1d819018116","datavalue":{"value":{"text":"Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611522$B56C007B-B68E-4FF9-ABAC-650610CDBA55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"552e87df20237222512f539d7f4954d3b0255a6a","datavalue":{"value":"61.0102.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611522$2503A6FF-91D7-4171-B4F9-7CE8C7B1ABF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e52dcb4619b246192b81f8196376d57a68654a","datavalue":{"value":"10.1007/BF01472217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611522$C0003A16-7671-48DB-B07C-58271EEB3529","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611522$C081E9DC-FE54-47C9-902C-CE2BEB9A67BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q2611522$3F0E62F7-93CA-4639-8199-02C8DED63C99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20a2437feec2074399546ada8b6c7f425bc4b498","datavalue":{"value":"https://eudml.org/doc/159772","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611522$2AAE80E7-620F-48A5-9121-0317F0DB1FFC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"802bf4a367bc12cc09e9b009383c13a0bbb139ec","datavalue":{"value":"Gegenstand der Untersuchung ist die freie Gruppe \\(F\\) und ihre ``absteigende Zentralreihe'', die f\u00fcr jede Gruppe \\(G = G_1\\) aus den \\textit{Reidemeister}schen ``h\u00f6heren Kommutatorgruppen'' \\(G_n\\) besteht, wo \\(G_n\\) aus den Kommutatoren der Elemente von \\(G_{n-1}\\) mit beliebigen Elementen von \\(G\\) besteht, so da\u00df \\(G/G_n\\) die maximale Faktorgruppe ist, f\u00fcr die \\(G_{n-1}/G_n\\) noch in ihrem Zentrum liegt. Wie die Kommutatorreihe (iterierte Kommutatorbildung; maximale abelsche Schritte) der freien Gruppe nach \\textit{Levi} (Math. Z. 37 (1933), 90-97; JFM 59.0142.*) eine unendliche Kette mit dem Durchschnitt \\(E\\) bildet, so tut es auch, wie hier vor allem gezeigt wird, ihre absteigende Zentralreihe.  Um eine sch\u00e4rfere \u00dcbersicht zu bekommen, wird \\(F\\) in einen ``freien Gruppenring'' \\(\\mathfrak R\\) eingebettet, und die Gruppenerzeugenden werden in der Form \\(1+s_i\\) mit Inversen \\(\\sum (-1)^n s_i^n\\) dargestellt, wodurch jedem Gruppenelement \\(g = 1+\\sum\\prod s_i\\) eine Dimension \\(d\\) zugeordnet wird als kleinster auftretender Gesamtgrad unter den Summanden der Entwicklung von \\(g-1\\). Beim Kommutator von \\(1+s_i\\) mit \\(1+s_k\\) beginnt diese Entwicklung mit \\(s_is_k -s_ks_i\\); bei h\u00f6heren Kommutatorbildungen treten entsprechend h\u00f6here Differenzbildungen auf, aus denen sich die Entwicklungen der \\textit{Gruppen}elemente \u00fcberhaupt zusammensetzen. Die Elemente einer Dimension \\(\\geqq n\\) bilden in \\(F\\) eine charakteristische Untergruppe, die ``\\(n\\)-te Dimensionsgruppe'' \\(F^{(n)}\\) (also \\(F^{(1)}=F\\)). Sie ist sogar vollinvariant, d. h. mit einem Potenzprodukt der Erzeugenden liegt auch das entsprechende Potenzprodukt beliebiger Elemente aus \\(F\\) in \\(F^{(n)}.\\,F^{(2)}\\) ist die Kommutatorgruppe, und vermutlich bilden die \\(F^{(n)}\\) die absteigende Zentralreihe; jedenfalls liegt \\(F_n\\) in \\(F^{(n)}\\) aber nicht in \\(F^{(n+1)}\\).  Eine zweite Darstellung von \\(F\\) (und \\(\\mathfrak R\\)) wird durch unendliche Matrizen in den kommutativen Variablenreihen \\(\\alpha _1,\\alpha _2,\\ldots \\); \\(\\beta _1, \\beta _2, \\ldots \\); \\(\\ldots \\) mit den Erzeugenden  \\[  \\left(\\begin{matrix} \\l&\\;\\l&\\;\\l&\\;\\l&\\;\\l\\\\ 1&\\alpha _1&0&0&.\\;.\\;.\\\\ 0&1&\\alpha _2&0&.\\;.\\;.\\\\ 0&0&1&\\alpha _3&.\\;.\\;.\\\\ .&.\\;.&.\\;.&.\\;.&.\\;.\\;.\\;\\end{matrix}\\right),\\quad \\left(\\begin{matrix} \\l&\\;\\l&\\;\\l&\\;\\l&\\;\\l\\\\ 1&\\beta _1&0&0&.\\;.\\;.\\\\ 0&1&\\beta _2&0&.\\;.\\;.\\\\ 0&0&1&\\beta _3&.\\;.\\;.\\\\ .&.\\;.&.\\;.&.\\;.&.\\;.\\;.\\;\\end{matrix}\\right),\\ldots  \\]  gegeben, die eindeutige Inverse besitzen. Die erste Zeile gibt dabei obige Entwicklung \\(g=1+\\sum\\prod s_i\\) in \\(\\mathfrak R\\) vollst\u00e4ndig an: ersetzt man die \\(\\alpha \\) durch \\(s_1\\), \\(\\beta \\) durch \\(s_2,\\ldots \\) und multipliziert sie in der Reihenfolge, die die Indices der \\(\\alpha,\\beta,\\ldots \\) angeben, so steht als \\((n + 1)\\)-tes Element die Summe der Glieder \\(n\\)-ter Dimension der Entwicklung von \\(g\\) da. Die \\(n\\)-ten Abschnitte der Matrizen bilden eine zu \\(F/F^{(n)}\\) isomorphe Gruppe (man setze \\(\\alpha _n=\\beta _n= 0\\)).  Aus beiden Darstellungen werden Isomorphiekriterien f\u00fcr Gruppen gewonnen und durch Beispiele erl\u00e4utert. Insbesondere wird gezeigt, da\u00df eine freie Gruppe mit endlich viel Erzeugenden keiner ihrer echten Faktorgruppen isomorph ist (Problem von \\textit{H. Hopf}). Ferner gilt f\u00fcr endliche Gruppen \\(G\\) als Faktorgruppen der \\(F\\), da\u00df sie dann und nur dann direkte Produkte von Prim\u00e4rgruppen sind, wenn die Reihe ihrer Dimensionsgruppen \\(G^{(n)}\\) mit \\(E\\) endigt, entsprechend dem \\textit{Burnside}schen Resultat f\u00fcr die \\(G_n\\). Schlie\u00dflich wird gezeigt, was f\u00fcr das Klassenk\u00f6rperturmproblem von Interesse ist, da\u00df es bei gegebener maximaler abelscher Faktorgruppe bereits f\u00fcr den Typ (3, 3, 3) beliebig hochstufige Aufspaltungen (d. h. mit beliebig langer Kommutatorreihe) von Dreierpotenzordnung gibt. Das besagt noch nicht, da\u00df sich solche Gruppen zu einer abbrechenden Faktorgruppenkette verschmelzen lassen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611522$5B6F0B3F-AD95-49B3-9458-22D5DAA6A6EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b2975872458b12bab0ab357ec2e9eadbb40060","datavalue":{"value":"2531476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611522$7DEAD4DD-DDAA-4F8D-8B8F-184202219905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d963dd483ddf8d83ed5cda43f91a4a09b666a443","datavalue":{"value":{"entity-type":"item","numeric-id":766591,"id":"Q766591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611522$4DA2A635-62EE-426B-A3F2-6C694E55F35C","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":"Q2611522$07E88140-7E1C-4AE9-80B8-88CF8EA407BB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab2daf958976abbaba620b0645d4ff48657e190b","datavalue":{"value":"Q111526054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611522$70EE5694-49F3-40D6-9344-0772AA456F5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f34db6152eaa295cdcd6466d68f756a909c61","datavalue":{"value":{"entity-type":"item","numeric-id":1353295,"id":"Q1353295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611522$0F1B6B21-3E4D-4E0B-9D23-F258FBC74F43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a832c6a1fedb36fd09964f1982bd5c250db8f6f9","datavalue":{"value":"W2080955166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611522$75EB4222-AB0C-42A2-812E-4EB6B6DA9226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2611522"}}}}}