{"entities":{"Q2585918":{"pageid":2596661,"ns":120,"title":"Item:Q2585918","lastrevid":44407185,"modified":"2025-11-22T17:52:54Z","type":"item","id":"Q2585918","labels":{"en":{"language":"en","value":"The construction of soluble groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505595"}},"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":"Q2585918$28E6E470-57F9-43DA-89FE-88DFDD3DF4FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426ea4cfb8dd325d748d39d5c847c9524a33a5df","datavalue":{"value":{"text":"The construction of soluble groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585918$FCB85079-01DA-407C-9F99-95BA5D8F19D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b9d870ec10e0e899e497b0a9fc6ed7b217dacd9","datavalue":{"value":"66.0080.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585918$D498A917-C53F-4543-A0A7-8901E6BB48E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585918$DD3C70B6-DA67-458D-A879-3EB0CA92BE57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2585918$24A2522F-BC77-4D19-907C-46F43C2CBDF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bce3591d58751d84a4a00f4c26968865ec6ee20","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002175002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2585918$94FEAD50-E9BA-4242-97FB-56D384A0E012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b0ed0db4a1ff55025ca71b52971354e678e537","datavalue":{"value":"https://eudml.org/doc/150093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2585918$2E008975-84CA-431D-8C92-DB9F26B46E62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ee3f34ba7b5f57b52502eede55df09cf35bce2b","datavalue":{"value":"Die bisher angegebenen Methoden zur Konstruktion aller aufl\u00f6sbaren Gruppen endlicher Ordnung f\u00fchren auf zwei ungel\u00f6ste Probleme: 1) Angabe aller Faktorsysteme mit vorgegebenen Eigenschaften, 2) zu entscheiden, ob zwei schon konstruierte aufl\u00f6sbare Gruppen isomorph sind oder nicht. Verf. entwirft eine neue Methode der sukzessiven Konstruktion aller endlichen aufl\u00f6sbaren Gruppen, bei denen die angegebenen Schwierigkeiten entweder umgangen oder auf leichter zu l\u00f6sende Probleme reduziert werden, wobei er ebenso wie \\textit{Fitting} (Jber. Deutsche Math.-Verein. 48 (1938), 77-141; JFM 64.0066.*) voraussetzt, da\u00df schon ein Verfahren zur genauen Konstruktion aller endlichen \\(p\\)-Gruppen (\\(p\\) beliebig) vorliegt.  An die Stelle der \\textit{Schreier}schen Erweiterungstheorie tritt die Theorie der teilweise komplementierten Erweiterungen. Die Gruppe \\(\\mathfrak G\\) hei\u00dft \\textit{teilweise komplementierte Erweiterung ihres Normalteilers} \\(\\mathfrak N\\), wenn es eine echte Untergruppe \\(\\mathfrak D\\) gibt, so da\u00df \\(\\mathfrak G=\\mathfrak {DN}\\) ist. Jedem Element \\(\\xi \\) der Faktorgruppe \\(\\mathfrak F=\\mathfrak G/\\mathfrak N\\) l\u00e4\u00dft sich gem\u00e4\u00df der Zerlegung \\(\\mathfrak D=\\varSigma \\,d(\\xi )\\,\\mathfrak C\\) von \\(\\mathfrak D\\) in Restklassen nach der echten Untergruppe \\(\\mathfrak C=\\mathfrak D\\cap \\mathfrak N\\) von \\(\\mathfrak N\\) ein Vertreter \\(d(\\xi )\\) aus \\(\\mathfrak D\\) zuordnen, so da\u00df  \\[ \\displaylines{\\rlap{\\qquad\\!(1)} \\hfill d(\\xi ) \\,d(\\eta )=c(\\xi, \\eta )\\,d(\\xi \\eta )\\hfill} \\]  mit \\(c(\\xi,\\eta )\\) aus \\(\\mathfrak C\\) ist und durch  \\[ \\displaylines{\\rlap{\\qquad\\!(2)} \\hfill d(\\xi ) \\,xd(\\xi )^{-1}=x^{\\theta (\\xi )}\\hfill} \\]  jedem \\(d(\\xi )\\) ein Automorphismus \\(\\theta (\\xi )\\) von \\(\\mathfrak N\\) zugeordnet wird. Die genauen Bedingungen, die bei gegebener echter Untergruppe \\(\\mathfrak C\\) von \\(\\mathfrak N\\) und gegebener Erweiterung \\(\\mathfrak D=\\varSigma \\,d(\\xi )\\mathfrak C\\) von \\(\\mathfrak C\\) mit der Faktorgruppe \\(\\mathfrak F\\) an die Automorphismen \\(\\theta (\\xi )\\) von \\(\\mathfrak N\\) gestellt werden m\u00fcssen, damit durch (1), (2) eine Erweiterung von \\(\\mathfrak N\\) mit \\(\\mathfrak F\\) definiert wird, lauten: A) \\(\\theta (\\xi )\\) mu\u00df \\(\\mathfrak C\\) invariant lassen und dieselbe Wirkung auf \\(\\mathfrak C\\) wie Transformieren mit \\(d(\\xi )\\) haben, B) \\(\\theta (\\xi )\\cdot \\theta (\\eta )=\\varphi (\\xi, \\eta )\\cdot \\theta (\\xi \\eta )\\), wobei \\(\\varphi (\\xi,\\eta )\\) der zu \\(c(\\xi,\\eta )\\) geh\u00f6rige innere Automorphismus ist. Man hat also eine Homomorphie von \\(\\mathfrak D\\) in die Automorphismengruppe von \\(\\mathfrak C\\) fortzusetzen in eine Homomorphie von \\(\\mathfrak D\\) in die Automorphismengruppe von \\(\\mathfrak N\\).  \\(\\mathfrak N\\) ist genau dann teilweise komplementiert in \\(\\mathfrak G\\), wenn \\(\\mathfrak N\\) nicht in der Frattinigruppe \\(\\varPhi (\\mathfrak G)\\) enthalten ist. Nun werde vorausgesetzt, da\u00df \\(\\mathfrak G\\) eine endliche aufl\u00f6sbare Gruppe ist. Dann sind z. B. die inneren Glieder der \\textit{``absteigenden nilpotenten Reihe''} \\(\\mathfrak G=\\mathfrak L_0\\supset\\mathfrak L_1\\cdots\\supset\\mathfrak L_n=\\mathfrak L_{n+1}\\cdots=1\\) sowie der \\textit{``aufsteigenden nilpotenten Reihe''} \\(1=\\mathfrak U_0\\subset\\mathfrak U_1\\cdots\\subset\\mathfrak U_{n'}=\\mathfrak U_{n'+1}=\\cdots=\\mathfrak G\\) teilweise komplementierbare, charakteristische Untergruppen (\\(\\mathfrak L_i=\\) Normalteiler mit maximal nilpotenter Faktorgruppe von \\(\\mathfrak L_{i-1}\\), \\(\\mathfrak U_{i-1}= \\;\\text{maximal}\\) nilpotenter Normalteiler von \\(\\mathfrak U_i\\); \\(i = 1\\), 2,\\dots ). Da f\u00fcr eine beliebige \\textit{``nilpotente Reihe''} \\(\\mathfrak G=\\mathfrak G_0\\supseteqq\\mathfrak G_1\\cdots\\supseteqq\\mathfrak G_m=1\\) (\\(\\mathfrak G_i=\\) Normalteiler mit nilpotenter Faktorgruppe von \\(\\mathfrak G_{i-1}\\)) stets \\(\\mathfrak U_{m-i}\\supseteqq\\mathfrak G_i\\supseteqq\\mathfrak L_i\\)(\\(i = 0\\), 1,\\dots, \\(m\\)) gilt, so ist die nilpotente L\u00e4nge \\(n = n'\\) das Minimum der L\u00e4ngen nilpotenter Reihen von \\(\\mathfrak G\\). \\(\\mathfrak U_1\\) enth\u00e4lt die Vereinigungsgruppe \\(\\mathfrak z_\\infty \\) aller aufsteigenden Zentren. \\(\\mathfrak U_1\\) ist genau dann gleich \\(\\mathfrak z_\\infty \\), wenn \\(n= 1\\), d. h. \\(\\mathfrak G\\) nilpotent ist. Zwar ist \\((\\mathfrak z_\\infty, \\mathfrak L_1)=1\\), aber \\((\\mathfrak U_1, \\mathfrak L_1)=1\\) nur dann, wenn \\(n\\leqq 2\\).  Verf. hat bewiesen, da\u00df eine endliche aufl\u00f6sbare Gruppe \\(\\mathfrak G\\) von der Ordnung \\(\\mathfrak N=p_1^{\\nu _1}p_2^{\\nu _2}\\cdots p_r^{\\nu _r}\\) ein \\textit{Sylowsystem} enth\u00e4lt, bestehend aus \\(r\\) Untergruppen \\(S^{(1)}\\), \\(S^{(2)}\\),\\dots, \\(S^{(r)}\\) deren Indices die maximal in \\(\\mathfrak N\\) aufgehenden Potenzen der verschiedenen Primteiler \\(p_{i}\\) durchlaufen. Diese Sylowsysteme sind alle untereinander konjugiert. Der (absolute) Normalisator \\(M(\\mathfrak G)=N(S^{(1)})\\cap N(S^{(2)})\\cap\\cdots\\cap N(S^{(r)})\\) eines Sylowsystemes geh\u00f6rt demnach einer charakteristischen Schar konjugierter Untergruppen an. Dasselbe gilt f\u00fcr den relativen Systemnormalisator \\(M_{\\mathfrak G}(\\mathfrak N)\\) eines Sylowsystemes des charakteristischen Normalteilers \\(\\mathfrak N\\) bez\u00fcglich \\(\\mathfrak G\\). Da die Sylowsysteme von \\(\\mathfrak N\\) aus denen von \\(\\mathfrak G\\) mittels Durchschnittsbildung entstehen, so ist  \\[ M_{\\mathfrak G}(\\mathfrak N)=N(S^{(1)}\\cap\\mathfrak N)\\cap N(S^{(2)}\\cap\\mathfrak N)\\cap\\cdots\\cap N(S^{(r)}\\cap\\mathfrak N) \\]  und  \\[ M_{\\mathfrak N}(\\mathfrak N)=M(\\mathfrak N)=M_{\\mathfrak G}(\\mathfrak N)\\cap\\mathfrak N. \\]  Die Systemnormalisatoren von \\(\\mathfrak G\\) sind identisch mit den unteren Enden aller m\u00f6glichst langen Untergruppenketten \\(\\mathfrak G=\\mathfrak G_0\\supset\\mathfrak G_1\\supset\\mathfrak G_2\\supset\\cdots\\supset\\mathfrak G_s\\), bei denen \\(\\mathfrak G_i\\) maximal, aber nicht normal in \\(\\mathfrak G_{i-1}\\) enthalten ist (\\(i = 1\\), 2,\\dots, \\(s\\)). Zum Beweise zeige man etwa, da\u00df \\(M(\\mathfrak G_i)\\) auf Grund des bekannten Satzes \u00fcber die primitiven aufl\u00f6sbaren Permutationsgruppen mit abelschem Normalteiler zu \\(M(\\mathfrak G_{i+1})\\) konjugiert ist. Nach einem Satz von \\textit{Wielandt} ist \\(M(\\mathfrak G)\\) nilpotent. Als Folgerung ergibt sich nach einigen strukturtheoretischen Rechnungen: \\(M(\\mathfrak G)\\) \u00fcberdeckt jede zentrale Hauptfaktorgruppe, meidet jede nichtzentrale Hauptfaktorgruppe, d. h. wenn f\u00fcr die Hauptfaktorgruppe \\(\\mathfrak N/\\mathfrak M\\) gilt: \\((\\mathfrak G,\\mathfrak N)\\subseteqq \\mathfrak M\\), so ist \\((M(\\mathfrak G)\\cap\\mathfrak N)\\mathfrak M=\\mathfrak N\\), wenn dagegen \\((\\mathfrak G, \\mathfrak N)\\nsubseteqq\\text{(nicht in)} \\mathfrak M\\), so ist \\(M(\\mathfrak G)\\cap \\mathfrak N\\subseteqq\\mathfrak M\\). Demnach ist die Ordnung von \\(M(\\mathfrak G)\\) gleich dem Produkt der Ordnungen aller zentralen Hauptfaktorgruppen.  Vorausgesetzt, da\u00df die endlichen nilpotenten Gruppen und \u00fcberdies alle endlichen aufl\u00f6sbaren Gruppen, deren nilpotente L\u00e4nge kleiner als \\(n\\) ist, schon konstruiert sind, lassen sich jetzt die endlichen Gruppen mit nilpotenter L\u00e4nge \\(n > 1\\) als teilweise komplementierte Erweiterungen von \\(\\mathfrak L_i\\) mit \\(\\mathfrak D=M_{\\mathfrak G}(\\mathfrak L_{i-1})\\) oder auch von \\(\\mathfrak U_i\\) mit \\(\\mathfrak D=M_{\\mathfrak G}(\\mathfrak U_{i+1})\\)(\\(i = 1\\), 2,\\dots, \\(n - 1\\)) konstruieren. Unter diesen \\(2n - 2\\) Konstruktionsarten erscheint die Erweiterung von \\(\\mathfrak L_1\\) am vorteilhaftesten. Offenbar entsteht jede Gruppe der nilpotenten L\u00e4nge \\(n\\) genau einmal, so da\u00df das Isomorphieproblem fortf\u00e4llt. Das Problem der Aufstellung aller Faktorsysteme mit gegebenen Eigenschaften reduziert sich auf die einfachere Aufgabe der Fortsetzung eines Homomorphismus. Einige Einzelheiten der Konstruktion werden n\u00e4her untersucht. -- Wenn alle Sylowgruppen abelsch sind, so wird man auf die noch leichter zu l\u00f6sende Aufgabe der vollst\u00e4ndig komplementierten Erweiterungen gef\u00fchrt, denn f\u00fcr jeden Normalteiler \\(\\mathfrak N\\) gilt dann:  \\[ D\\mathfrak N\\cap M_{\\mathfrak G}(\\mathfrak N)=1,\\;\\;D\\mathfrak N\\cdot M_{\\mathfrak G}(\\mathfrak N)=\\mathfrak G. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585918$0C1F64F3-A7AC-4784-AE6B-4561F633A11D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7876ff6f63f67924771bb70f80888f75424bd2","datavalue":{"value":"2505595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585918$3EACD798-6229-4D67-B4E7-3AF9CCE5B6A9","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":"Q2585918$30DE4C29-EBF4-42D2-A2B3-0D169776AA47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f13bf3bf235f0e466a60f806d2feb445d0577d1","datavalue":{"value":"W4237227017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585918$ADB2F4F6-8238-4DED-B1D4-18ECDEA13D61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05afe5d1f4c06fbd2b429c8a43cd991635e1ff22","datavalue":{"value":"10.1515/CRLL.1940.182.206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585918$0F925F01-73C0-44E5-BEBA-DC14174DD46F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb31109260b5caf98b0f91fe4d061dd982ea2698","datavalue":{"value":{"entity-type":"item","numeric-id":6482173,"id":"Q6482173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585918$4FB98A8D-2025-4047-A2A8-3535E5052CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2585918"}}}}}