{"entities":{"Q2585873":{"pageid":2596616,"ns":120,"title":"Item:Q2585873","lastrevid":44415225,"modified":"2025-11-22T19:04:47Z","type":"item","id":"Q2585873","labels":{"en":{"language":"en","value":"\u00dcber die Automorphismengruppen der freien Produkte. I, II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505555"}},"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":"Q2585873$AF7D2DDC-6002-4252-A69A-894655C73ED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"067012668770f9e4afacdf23c1c052de36acc5da","datavalue":{"value":{"text":"\u00dcber die Automorphismengruppen der freien Produkte. I, II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585873$F0E07C98-028D-4E69-A19E-E707CD178212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b5afb78de1249d9274e17ea58fa1caf5ca4aa6","datavalue":{"value":"66.0066.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585873$163272E1-EB70-4BEA-AA49-044FD81BF403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f8a14d7113636759ee3ee50b49d34f4b827c6b","datavalue":{"value":{"entity-type":"item","numeric-id":2579692,"id":"Q2579692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585873$551D2DE6-3DCE-4796-A6C9-745ED5D35234","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6903551564e0f3a14ef595826ea478e17130e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2579687,"id":"Q2579687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585873$E9727B33-B5C4-447D-B472-0195CC6C104C","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":"Q2585873$AD793370-A934-432D-8201-7AD5F88FDB1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af2a5a2090880cf0be40ea11a0e38160bb28dec1","datavalue":{"value":"https://eudml.org/doc/65159","type":"string"},"datatype":"url"},"type":"statement","id":"Q2585873$23EA0586-7B9C-4D33-909D-B656C44A4FCE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf59c25c48142c20c17f1b12383e9272a9614167","datavalue":{"value":"F\u00fcr die Automorphismengruppe des freien Produktes \\(\\mathfrak G=\\mathfrak A_1*\\mathfrak A_2*\\cdots*\\mathfrak A_n\\) von endlich vielen frei unzerlegbaren Gruppen werden Erzeugende und ein vollst\u00e4ndiges System definierender Relationen angegeben. Nach geeigneter Umnumerierung m\u00f6gen \\(\\mathfrak A_1=(a_1)\\), \\(\\mathfrak A_2=(a_2)\\),\\dots, \\(\\mathfrak A_m=(a_m)\\) unendliche zyklische Gruppen, die \u00fcbrigen freien Faktoren dagegen nicht isomorph zur unendlichen zyklischen Gruppe sein. Jede vorhandene Isomorphiebeziehung \\(\\mathfrak A_i\\cong\\mathfrak A_j\\), \\(i\\neq j\\) l\u00e4\u00dft sich derart durch einen Isomorphismus \\(\\sigma _{ij}\\) zwischen \\(\\mathfrak A_i\\) und \\(\\mathfrak A_j\\) verwirklichen, da\u00df stets \\(\\sigma _{ij}\\cdot \\sigma _{jk}=\\sigma _{ik}\\) gilt. Jeder Automorphismus \\(\\overline{\\varphi }_i\\) von \\(\\mathfrak A_i\\) l\u00e4\u00dft sich eindeutig zu einem Automorphismus \\(\\varphi _i\\) von \\(\\mathfrak G\\) erg\u00e4nzen durch die Vorschrift, da\u00df jeder von \\(\\mathfrak A_i\\) verschiedene freie Faktor elementweise festgelassen werden soll. Alle \\(\\varphi _i\\) bilden eine Gruppe \\(\\varPhi _i\\) von Automorphismen, die zu der Gruppe aller Automorphismen von \\(\\mathfrak A_i\\) isomorph ist. Ferner l\u00e4\u00dft sich jedes Isomorphismenpaar \\(\\sigma _{ij}\\), \\(\\sigma _{ji}(i<j)\\) eindeutig zu einem Automorphismus \\(\\omega _{ij}\\) von \\(\\mathfrak G\\) erg\u00e4nzen durch die Vorschrift, da\u00df die von \\(\\mathfrak A_i\\), \\(\\mathfrak A_j\\) verschiedenen freien Faktoren elementweise festgelassen werden sollen. Alle \\(\\omega _{ij}\\) erzeugen eine Gruppe \\(\\varOmega \\) von Automorphismen, die isomorph ist zu dem direkten Produkt endlich vieler symmetrischer Permutationsgruppen. Alle Automorphismen \\(\\alpha _{ij}^{(\\lambda )}\\) (\\(i\\neq j\\), \\(j > m\\)) bzw. \\(\\beta _{ij}^{(\\lambda )}\\), \\(\\gamma _{ij}^{(\\lambda )}\\) (\\(i\\neq j\\), \\(j\\leqq m\\)), die alle von \\(\\mathfrak A_i\\) verschiedenen freien Faktoren elementweise festlassen und die Elemente aus \\(\\mathfrak A_i\\) mit dem festen Element \\(a_{ij}^{(\\lambda )}\\) aus \\(\\mathfrak A_i\\) transformieren bzw. von rechts oder von links her multiplizieren, erzeugen bei festgehaltenen Indices \\(i\\), \\(j\\) Gruppen \\(\\mathfrak A_{ij}\\), \\(\\mathfrak B_{ij}\\), \\(\\mathfrak C_{ij}\\), die jeweils zu \\(\\mathfrak A_i\\) isomorph sind. Der erste Hauptsatz der Arbeit lautet: Die Automorphismengruppe \\(\\varGamma \\) von \\(\\mathfrak G\\) wird erzeugt von allen Gruppen \\(\\varPhi _i\\), \\(\\varOmega \\), \\(\\mathfrak A_{ij}\\), \\(\\mathfrak B_{ij}\\), \\(\\mathfrak C_{ij}\\). Im zweiten Hauptsatz wird die Liste der definierenden Relationen zwischen den im ersten Hauptsatz erhaltenen Erzeugenden von \\(\\varGamma \\) angegeben. Der Beweis der beiden S\u00e4tze st\u00fctzt sich auf den Satz von \\textit{Kurosch} (Math. Ann., Berlin, 109 (1934), 647-660; JFM 60.0082.*), da\u00df jeder Automorphismus von \\(\\mathfrak G\\) jeden freien Faktor, der nicht isomorph zur unendlichen zyklischen Gruppe ist, auf eine Gruppe abbildet, die durch Transformieren mit einem von diesem Faktor abh\u00e4ngigen Element der ganzen Gruppe entsteht, ferner auf die grundlegende Arbeit von \\textit{Nielsen} (Math. Ann., Leipzig, 91 (1924), 169-209; F. d. M. 50, 78 (JFM 50.0078.*)), in der dieselben beiden S\u00e4tze bereits f\u00fcr den Fall \\(m = n\\) bewiesen sind. Teil I der Arbeit behandelt den Fall \\(m = 0\\), Teil II den allgemeinen Fall. Die tabellenm\u00e4\u00dfige Anordnung der gruppentheoretischen Rechnungen ist bemerkenswert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585873$CAACD491-B351-42F2-8B62-529C3B413516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c48e2caa5f35819c627897849c89bb1b23495677","datavalue":{"value":"2505555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585873$EA932E19-021E-4F0B-BEA0-7AE7E7042274","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":"Q2585873$FD59FC95-A1E5-41EC-90F0-D6054FCB00A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2585873"}}}}}