{"entities":{"Q541307":{"pageid":543074,"ns":120,"title":"Item:Q541307","lastrevid":62613936,"modified":"2026-04-11T07:16:43Z","type":"item","id":"Q541307","labels":{"en":{"language":"en","value":"Obtaining presentations from group actions without making choices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5904613"}},"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":"Q541307$191BEBBB-16B1-4A35-8C92-5A256C621980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85667f4db0c5045d9c52555229c49939c0c92c99","datavalue":{"value":{"text":"Obtaining presentations from group actions without making choices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541307$6EC472EA-7874-49A9-81F5-B34ECF5F2F73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b73f72bc6c8140ce0400bd64bf3ae8e02186097","datavalue":{"value":"1247.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$681F3641-3A34-4FCC-BA27-C5F319C55756","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629eb10af1d8862ca3cc695cf77ceee9c7e3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":410099,"id":"Q410099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$1D4E563C-D2C7-4E22-B2D1-4598095C5167","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$F21B716E-2A0E-497F-AB07-67A4645D54F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59c7414a462dce542bc3468dbc06343ce0474cb","datavalue":{"value":{"time":"+2011-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q541307$67304519-9605-4496-9099-EA26A9BACB38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57343dd6c22ad53614cfdb45bd129f20a9f95196","datavalue":{"value":"https://arxiv.org/abs/0901.4089","type":"string"},"datatype":"url"},"type":"statement","id":"Q541307$7CCC5A31-64E0-4BA5-80A8-BA109E9DC416","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c53a94100f2939d83d9eb0abd7a9314bf8dc4c1","datavalue":{"value":"Quoting from the introduction: ``Let \\(G\\) be a group and \\(X\\) be a simply connected simplicial complex upon which \\(G\\) acts. We will assume that \\(G\\) acts without rotations, that is, for all simplices \\(s\\) of \\(G\\) the stabilizer \\(G_s\\) stabilizes \\(s\\) pointwise. \\dots. If \\(X/G\\) is simply connected, then \\(G\\) is generated by elements which stabilize vertices. In other words, we have a surjective map \\(*_{v\\in X^{(0)}}G _v\\to G\\). As notation, if \\(g\\in G\\) stabilizes \\(v\\in X^{(0)}\\), then we denote \\(g\\) considered as an element of \\(*_{v\\in X^{(0)}}G _v\\) by \\(g_v\\). There are then some obvious elements in the kernel of this map, which we write as relations \\(f=g\\) rather than as elements \\(fg^{-1}\\). First, we have \\(g_v=g_{v'}\\) if \\(v\\) and \\(v'\\) are joined by an edge \\(e\\) and \\(g\\in G_e\\). We call these the `edge relations'. Second, we have \\(g_vh_wg_v^{-1}=(ghg^{-1})_{g(w)}\\) for \\(g\\in G_v\\) and \\(h\\in G_w\\). We call these relations the `conjugation relations'. The main theorem says that if \\(X/G\\) is 2-connected, then these two families of relations suffice to give a presentation.''   Some examples are given to illustrate the application of this theorem. The first two, concerning amalgamated free products, and the symmetric group, are toy examples. The third and fourth sketch results concerning the Torelli group and congruence subgroups of \\(\\text{SL}_n(\\mathbb Z)\\), the details of these appear elsewhere.","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$AE7A5101-0C2C-48D7-8DB0-F6A2EB451B59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$FB6739D7-9192-48E4-A9D8-32444A9901D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$DF3FB4CD-9799-402F-A566-678B63C96804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$5677049E-FFB7-41D7-9145-74431F3E6FCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a3d90cbbdc85772514273229ab9db171b35c50","datavalue":{"value":"5904613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$5532D5A2-CA82-4152-82EC-795FC38E0219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260bd9818f4b5c075531adb20c6af4b519239eb4","datavalue":{"value":"group presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$686DFE89-FD68-4079-AB75-B72DD32329F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac83d8c0bc9f884112fb8ef417e091f3fd76bd8","datavalue":{"value":"group actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$21BE4C8A-F577-4FC7-B0BA-8319F76CD0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a6ca6c1cb73b8213c0bc6c1f79eda7e4a1010b","datavalue":{"value":"simplicial complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$7153B248-3CFE-411A-B370-0FA638A6CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c96786c0c445a46b4b390e3723c5e3bacac573","datavalue":{"value":"vertex stabilizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$747A40BF-7683-4BD4-B9DE-1F4D12EDF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$FD315402-D931-4B7A-9987-D98CF47F3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a8dde5685d14e26bbda497595d18f6616c6a5f","datavalue":{"value":"amalgamated free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q541307$51106309-597F-4398-B8F2-E527509D1B16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f2ffab9587a4e6876d3bbdb56c67d1ab8a89cefb","datavalue":{"value":{"entity-type":"item","numeric-id":1861490,"id":"Q1861490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$3EA7844A-1F2A-4E94-9054-79A9EC39C4E4","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":"Q541307$18A04A10-4E83-4652-82D3-6AD56B74C198","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93975062306ad5b1279c06cfeeb7db3a464000e9","datavalue":{"value":"W3105365305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$2EDAA2C7-F8D3-4279-85D7-D8DF561C69DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f28b23c6956b8bb5c4667a72ceb722dfdd7cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5331104,"id":"Q5331104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$984AEC97-C9CC-4B76-AB81-5D4879BFC0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c020f9afdc4a6646da8f07c63961310b600cfff","datavalue":{"value":{"entity-type":"item","numeric-id":3809993,"id":"Q3809993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$6643F94D-52BE-49AE-B5CE-8B8FE32CA413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081fbd10b069a58a855fa451b022d700786bab79","datavalue":{"value":{"entity-type":"item","numeric-id":5331776,"id":"Q5331776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$940024AE-0395-408E-8240-3ED9B10CD45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a984d04e67177f41752e1fcb7dd3c9baaf77777b","datavalue":{"value":{"entity-type":"item","numeric-id":3659792,"id":"Q3659792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$48DAC3C2-419B-46BD-864A-DFC22C2AE217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f5d0749e63668e74a75eb5adf28f40df8e18fd","datavalue":{"value":{"entity-type":"item","numeric-id":4720067,"id":"Q4720067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$4C739F2F-5461-4761-83A4-A874FD08C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62973bc2751adc01275369a5a90993d5fdfc657","datavalue":{"value":{"entity-type":"item","numeric-id":797690,"id":"Q797690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$565B02E3-E7CF-4501-9824-B368FF9870F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888b6eaa18eb024cdec3af2a9a88bfcfccc1143c","datavalue":{"value":{"entity-type":"item","numeric-id":5570655,"id":"Q5570655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$3DC8D0F5-F148-4265-A3D8-AEB72B8EB7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a998493da314f6ce3c9a34c008af5a91a2e7631","datavalue":{"value":{"entity-type":"item","numeric-id":1146420,"id":"Q1146420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$49857E92-0172-479A-9150-9310854EF9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4345e0fe3283dc37ca563741009f09cf359a3c79","datavalue":{"value":{"entity-type":"item","numeric-id":799979,"id":"Q799979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$86460CA0-1713-4AE8-AF65-AB6D96C98C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329fc121401d1326a0a86fc14e005e64e7df9ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1061389,"id":"Q1061389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$1FF0FEBC-31D6-4D51-8876-39475C56A1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18404bd01d9282a311cc107d61460a43c7b29f2","datavalue":{"value":{"entity-type":"item","numeric-id":1225133,"id":"Q1225133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$11D7F739-47BA-45EE-AA5B-0A7099E1D1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b163c81b6bac79432638de93d9aef37450ff4893","datavalue":{"value":{"entity-type":"item","numeric-id":1067258,"id":"Q1067258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$CAB1356A-F71B-4F0A-9639-7545C6B1E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b84927d929f96b4d384c80c967cb5e506adbde","datavalue":{"value":{"entity-type":"item","numeric-id":1209386,"id":"Q1209386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$E76583CA-DBBC-4A3A-A437-3C3B316D483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6229eee9384874075ce9c106f9ebaecc29df05e","datavalue":{"value":{"entity-type":"item","numeric-id":5647075,"id":"Q5647075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$66AEBAB0-2821-4F31-AE55-64DD2853FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd01418925fcbb6aa5dc537b2ac14ad9ef7f4c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1034682,"id":"Q1034682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$14E51524-E7E6-4C30-AFCB-8768C7E1FE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$BB50EE3B-94CE-4096-823F-3E2EAD42308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541307$611F41CB-DCAF-4C8D-A161-865724A232EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7d73e0453a5a65dd809d5eb4a21194fcd83bcb3","datavalue":{"value":"10.2140/AGT.2011.11.1737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541307$1615F669-AB11-4B15-9384-DCD10B2A66DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6cd0bf9bfb7e25599b818e18bc5a63fa4f4a7aa","datavalue":{"value":{"entity-type":"item","numeric-id":797690,"id":"Q797690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ba1823ccb67f44e04be6ff56f19d0b8ed73901","datavalue":{"value":{"amount":"+0.8154282569885254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541307$DE4F6810-8F16-4471-8E5E-0EC5D1ECFA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed132d87ff72e15f4192cce9403eceda10c13bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3809993,"id":"Q3809993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3026fb4b925fcc89ec97d6161dddad9accdb48","datavalue":{"value":{"amount":"+0.7774640321731567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541307$F90552BA-4C32-465A-9D6A-47B1DEB8CB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67cda93d7e5c07c8be3be79556926736572e9782","datavalue":{"value":{"entity-type":"item","numeric-id":6039910,"id":"Q6039910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3508a74fbf64bd07ab3b0e9812d95fbdcdf2b5ba","datavalue":{"value":{"amount":"+0.7390572428703308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541307$523614D2-71DD-4D14-8762-EF90AA7F2A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30f075e0522ecf29d6db520228c19928ec5979f","datavalue":{"value":{"entity-type":"item","numeric-id":4866263,"id":"Q4866263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7154d2330090287d647bc7c9459c9a59b479dc50","datavalue":{"value":{"amount":"+0.7263216972351074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541307$4831D598-3A3D-499E-9E3E-F9CB1178BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd5142f33e39ba992de9c2b8e0d0d085ca658b5","datavalue":{"value":{"entity-type":"item","numeric-id":2362574,"id":"Q2362574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ba88227a6ddbdf8c299d05a31282068c7f3108","datavalue":{"value":{"amount":"+0.7228180766105652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q541307$47305F8D-C00F-4B7F-87CA-C5E1EB0B0A47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Obtaining presentations from group actions without making choices.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Obtaining_presentations_from_group_actions_without_making_choices."}}}}}