{"entities":{"Q1196975":{"pageid":1207724,"ns":120,"title":"Item:Q1196975","lastrevid":66338268,"modified":"2026-04-12T09:25:49Z","type":"item","id":"Q1196975","labels":{"en":{"language":"en","value":"Extending group actions by finite groups. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 89843"}},"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":"Q1196975$AE2C7991-00D3-44DE-9EF9-48A5418844A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4ddaeebfc116c26aafcd212283bf7873ed083cc","datavalue":{"value":{"text":"Extending group actions by finite groups. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1196975$FF4A4EB5-9A30-4D73-9F08-9DC396113206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b30d6f19b0761b5bd8008d23709ef60895cc4d","datavalue":{"value":"0829.22016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196975$C26D1D75-35D6-406B-A5A9-08BBEE4B4006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b690db247a03ec394fc64ff68962694e0dfdad8","datavalue":{"value":"10.1016/0040-9383(92)90030-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196975$3E75F1C3-B528-407B-89A7-3E05F3569EC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"881b7b1a44cd947d141c383c881c71f350956131","datavalue":{"value":{"entity-type":"item","numeric-id":1169726,"id":"Q1169726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196975$1C51EF55-7EBF-496F-B927-A87DB9A61F55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1196975$01CF950E-24C8-4572-B134-8B4F234ECE88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1196975$E02BF003-5BE9-4BD6-8BE4-29C985869D4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"738b4866505e4db326b8f7d216fe22ecdc25712d","datavalue":{"value":"Generalized Bieberbach-Nielsen problem: Let \\(\\widehat {\\Gamma}\\) be a discrete group containing the group \\(\\Gamma\\) as a subgroup of finite index, and suppose that \\(X_\\Gamma\\) is a closed aspherical manifold with \\(\\pi_1(X_\\Gamma) = \\Gamma\\). Does there exist an action of \\(\\widehat{\\Gamma}\\) on the universal covering \\(\\widetilde {X}_\\Gamma\\) which restricts to a covering action of \\(\\Gamma\\)? In this paper, we consider discrete groups acting by isometries on a symmetric space. Suppose given actions \\(\\alpha_i : \\Gamma_i \\times X \\to X\\) (\\(i = 1,2)\\), by diffeomorphisms, of discrete groups \\(\\Gamma_1\\), \\(\\Gamma_2\\) on a smooth manifold \\(X\\), and let \\(\\Delta\\) be a subgroup of both \\(\\Gamma_1\\) and \\(\\Gamma_2\\); the actions \\(\\alpha_1\\), \\(\\alpha_2\\) are said to be smoothly equivalent over \\(\\Delta\\) when there is a diffeomorphism \\(\\phi : X \\to X\\) such that, for all \\(\\delta \\in \\Delta\\), \\(x \\in X\\), \\(\\phi(\\alpha_1 (\\delta, x)) = \\alpha_2 (\\delta, \\phi(x))\\). Two such actions \\(\\alpha_i : \\Gamma_i \\times X \\to X\\) \\((i = 1,2)\\) are said to be smoothly commensurable when there is a group \\(\\Delta\\) contained as a subgroup of finite index in each of \\(\\Gamma_1\\) and \\(\\Gamma_2\\), such that \\(\\alpha_1\\) and \\(\\alpha_2\\) are smoothly equivalent over \\(\\Delta\\). A Lie group \\(L\\) with only finitely many connected components is said to be of type \\(FC\\); such a group admits a maximal compact subgroup \\(K\\), unique up to conjugacy, such that \\(L/K\\) is diffeomorphic to a Euclidean space (see \\textit{G. D. Mostow} [Ann. Math. 62, 44-55 (1955; Zbl 0065.014)]). When \\(L\\) is linear reductive, \\(L/K\\) is a symmetric space in which each factor in the de Rham decomposition is noncompact. Let \\(L_1\\), \\(L_2\\) be \\(FC\\) Lie groups whose identity components are linear reductive. We say that \\(L_1\\), \\(L_2\\) are geometrically equivalent, \\(L_1 \\underset {\\text{geom}}  \\sim L_2\\) when there is an isometry of symmetric spaces \\(L_1/K_1 @>\\simeq>> L_2/K_2\\). We shall prove:   Finite extension theorem. Let \\(L\\) be a connected reductive Lie group with no nontrivial compact normal subgroup, let \\(\\Gamma\\) be a discrete cocompact subgroup of \\(L\\), and let \\(\\widehat{\\Gamma}\\) be an abstract group which contains \\(\\Gamma\\) with finite index. Then \\(\\widehat {\\Gamma}\\) imbeds as a discrete cocompact subgroup in an \\(FC\\) Lie group \\(\\widehat {L}\\) which is geometrically equivalent to \\(L\\).   In terms of isometry groups this becomes: Generalized Bieberbach-Nielsen Theorem. Let \\(X\\) be a symmetric space with no compact factors, and let \\(\\cdot : \\Gamma \\times X \\to X\\) be an (effective) properly discontinuous action of a discrete group, \\(\\Gamma\\) as a cocompact group of isometries of \\(X\\). Let \\(\\widehat {\\Gamma}\\) be a (discrete) group which contains \\(\\Gamma\\) as a subgroup of finite index. Then (i) there is an action \\(* : \\widehat {\\Gamma} \\times X \\to X\\) of \\(\\widehat {\\Gamma}\\) by isometries on \\(X\\) which is cocompact and properly discontinuous, though not necessarily effective; it is, however, effective and, indeed, free when restricted to any torsion free subgroup of \\(\\widehat {\\Gamma}\\). Moreover, (ii) the action \\(*\\) is smoothly commensurable with the original action.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$F0D3D5E3-EB84-4885-8412-135BC7538674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b94b407701508e5bb46691743c4f6b27a112b94","datavalue":{"value":"22E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196975$D0C56C5C-6152-4901-9464-C1757E22A6C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0156f9744751b5a6d1c8646e93bf226bb975919a","datavalue":{"value":"89843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1196975$B700CC6E-8432-4226-9E67-647328584D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8c6780af229d986969801f41456042b34f6ad8","datavalue":{"value":"generalized Bieberbach-Nielsen problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$3EF38F47-05C0-4C3D-A879-B6BED61DCE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e4df2f5a173260ebd1532cad0af70945be109e","datavalue":{"value":"finite extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$F45E20F0-6DB6-4C3F-87BC-028C8595356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295ecc942c0eb1f954b25899822113d702882ae0","datavalue":{"value":"closed aspherical manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$9D43C6AC-0599-42B2-9630-2C85205D412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0d533395d47fe48a18d956716006e0b7d566e5","datavalue":{"value":"universal covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$91F8B8FE-AF10-4354-B79F-5F3DBD680891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234e0807c4364b80069ba1535d9063d557bd5325","datavalue":{"value":"smoothly equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$6ADDEBE0-BEAD-4AFC-818E-FC3EB4219A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011371ae25d3085f4d516cd36fb0649871b11fe1","datavalue":{"value":"diffeomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$EF0E5AFB-03E2-41BC-8EF8-E7A496DA1D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a41a97cf842674b96da6fb7b4237f395531ca2","datavalue":{"value":"smoothly commensurable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$82A5F97B-C802-430D-BD02-D44CC2CF6ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c638ef5ccbd7f298c83aaf12b900ac17e8cb045a","datavalue":{"value":"connected reductive Lie group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1196975$94BC7A9E-18EB-4C0E-BB51-3837FB4D8F75","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":"Q1196975$4470633A-728D-4BA5-B621-5CDBE6907F7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62056d14342de17279d7380b74e9cd9b990a0bd","datavalue":{"value":{"entity-type":"item","numeric-id":4519328,"id":"Q4519328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200cecf5a0e6d0cdb1db030600b32b45a37fb415","datavalue":{"value":{"amount":"+0.7486920356750488","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":"Q1196975$0465ABE4-D42D-43F2-9840-E7B85F5A2665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104069219ff0b63bdf6bbc77174ed3799c65d065","datavalue":{"value":{"entity-type":"item","numeric-id":2272773,"id":"Q2272773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200cecf5a0e6d0cdb1db030600b32b45a37fb415","datavalue":{"value":{"amount":"+0.7486920356750488","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":"Q1196975$7EC06783-FF57-437A-9FF9-9F73084BF571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4742aef02052c4d2fee66d850df4efdba5f576","datavalue":{"value":{"entity-type":"item","numeric-id":1422025,"id":"Q1422025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f302c2f4c4f16f0464bb88cd46a4491b2294ca","datavalue":{"value":{"amount":"+0.7455438375473022","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":"Q1196975$C71174B7-2A9D-44DF-8472-7E79D5C7132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d910a63009209f1c37b8c014587b26093686671f","datavalue":{"value":{"entity-type":"item","numeric-id":700513,"id":"Q700513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5e55edac0c688a3845609264712ec444e41949","datavalue":{"value":{"amount":"+0.7345369458198547","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":"Q1196975$29E6B0D4-FE9D-4F40-ABD1-707352B72EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173f67f0daac91dd456ce3d931a808c0cd60668d","datavalue":{"value":{"entity-type":"item","numeric-id":910773,"id":"Q910773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5e55edac0c688a3845609264712ec444e41949","datavalue":{"value":{"amount":"+0.7345369458198547","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":"Q1196975$C58C0BF2-E20D-4F24-BB60-A2889039CB33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending group actions by finite groups. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_group_actions_by_finite_groups._I"}}}}}