{"entities":{"Q1829443":{"pageid":1840185,"ns":120,"title":"Item:Q1829443","lastrevid":69267960,"modified":"2026-04-13T05:52:55Z","type":"item","id":"Q1829443","labels":{"en":{"language":"en","value":"\u00dcber diskontinuierliche Gruppen mit einer definierenden Relation. (Der Freiheitssatz.)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562945"}},"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":"Q1829443$283A6A1F-3B69-4031-BF99-E2C24E59D452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748540658c0e5ec962435c275d83fbbec11ba879","datavalue":{"value":{"text":"\u00dcber diskontinuierliche Gruppen mit einer definierenden Relation. (Der Freiheitssatz.)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1829443$D83B6B1D-E33F-40C8-B6C7-F49D3EB49314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77db9cd78bde0387d54de7ae48d7a8fc70dfaae","datavalue":{"value":"56.0134.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829443$BF58F403-F1B3-4E70-BBC2-9A852A29E879","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":"Q1829443$3F3D1FB4-CBEE-4C12-B0F1-1B82FB3E572F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1829443$A6BA82B1-011B-4A49-B587-AD2B04067D89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25b26cb82c8fc260e712f0dad45c52a264e86c84","datavalue":{"value":"https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002171368","type":"string"},"datatype":"url"},"type":"statement","id":"Q1829443$7329BD35-28B6-4B11-8768-A29EDBCFF796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d5fc7ad7c63f29d9fce18d903b0d5beaae8e47d","datavalue":{"value":"https://eudml.org/doc/149736","type":"string"},"datatype":"url"},"type":"statement","id":"Q1829443$7E75FEC0-56A2-4EC4-8D2A-40B4A6E58149","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63fd88f8fe846970c396b1d641497798d58961fc","datavalue":{"value":"Es wird folgender f\u00fcr die Theorie der diskontinuierlichen Gruppen fundamentale Satz, der sogenannte ``Freiheitssatz'' bewiesen: L\u00e4\u00dft sich in einer Gruppe mit einer einzigen definierenden Relation eine Erzeugende aus der Relation eliminieren, so kann das durch Transformation mit einem Element der Gruppe geschehen. Anders ausgedr\u00fcckt: Kommt eine Erzeugende in der Relation und ihren s\u00e4mtlichen Transformierten vor, auch wenn alle m\u00f6glichen K\u00fcrzungen (Streichungen von Faktoren \\(a^{-1}a\\)) ausgef\u00fchrt werden, so erzeugen die \u00fcbrigen Erzeugenden der Gruppe eine freie Untergruppe. Zum Beweis werden einige an sich interessante Hilfss\u00e4tze verwendet, die mit dem Satz \u00fcber die ``Existenz des freien Produktes mit vereinigten Untergruppen'' [\\textit{O. Schreier}, Abh. Math. Semin. Univ. Hamb. 5, 161-183 (1927; JFM 53.0110.01)] inhaltlich \u00e4quivalent sind. Der Freiheitssatz wird benutzt, um folgendes Problem, das ``Wurzelproblem'', in Angriff zu nehmen: Es sind alle Relationen zu finden, die zur Folge haben, da\u00df ein vorgegebener Ausdruck in den Erzeugenden zur Einheit wird; diese Relationen werden die Wurzeln des gegebenen Elements genannt. Aus dem Freiheitssatz flie\u00dft nun: da\u00df Wurzeln einer Erzeugenden nur ihre Transformierten und die Transformierten ihrer Reziproken sind; da\u00df Wurzeln eines Kommutatorelementes von zwei Erzeugenden nur seine Transformierten, die Transformierten seiner Reziproken und die primitiven Elemente aus den zwei Erzeugenden sind; die L\u00f6sung des Wurzelproblems f\u00fcr einige weitere spezielle F\u00e4lle. Die in der Arbeit benutzte Methode beruht zu einem wesentlichen Teil darauf, da\u00df sich Transformierte einer Erzeugenden, deren Unabh\u00e4ngigkeit nachgewiesen wird, als neue Erzeugende einf\u00fchren lassen; dadurch lassen sich Aussagen \u00fcber Elemente in der Faktorgruppe der Kommutatorgruppe versch\u00e4rfen. Wenn dieses Verfahren nicht unmittelbar brauchbar ist, so wird die vorgelegte Gruppe in eine andere eingebettet, in der das Verfahren sich dann anwenden l\u00e4\u00dft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1829443$0500D7F9-0AE5-4F9D-A188-35636AB2775A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9e7ed65eaa37ef307946ffe104383f51694c61b","datavalue":{"value":"20-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829443$3AED86B9-5EDE-435B-B00A-D28E3B5890F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f6bc6c4d672ffe2c88bfe9a9766b6dd099b8c4","datavalue":{"value":"2562945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829443$7CB7020B-563A-4833-BCA8-0ADF3D89C5F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37d7f99ad0ccc872b7f41ef895525da1ec22286","datavalue":{"value":"discontinuous groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1829443$5717A861-928E-4CC6-B4CF-D7E05E0D79BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0823c969eaec0e92ee0b2962800bf0d1531ef7a7","datavalue":{"value":"one defining relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1829443$8D437224-F242-40D9-A11E-17859C646E04","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":"Q1829443$184BD754-DA64-43D5-9F27-F397C8CA0744","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":"Q1829443$F71A2318-D466-4C3B-905A-7D831E0FC9CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca470dcd655534ca70269ddfd500fb7be5f87878","datavalue":{"value":"W3134185209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829443$AEFBB74D-DFDD-44A3-A5EA-2E26327DA4B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7306cae6ec9990ec4012fb51837395ce4485fd","datavalue":{"value":"10.1515/CRLL.1930.163.141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829443$8DE331E0-E7E3-4EEE-9BF9-7AD6FB887A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber diskontinuierliche Gruppen mit einer definierenden Relation. (Der Freiheitssatz.)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_diskontinuierliche_Gruppen_mit_einer_definierenden_Relation._(Der_Freiheitssatz.)"}}}}}