{"entities":{"Q1305063":{"pageid":1315813,"ns":120,"title":"Item:Q1305063","lastrevid":68675301,"modified":"2026-04-13T01:21:19Z","type":"item","id":"Q1305063","labels":{"en":{"language":"en","value":"Ping-pong on negatively curved groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340603"}},"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":"Q1305063$4EF7DA0B-C358-4972-BAF8-7FA45148499B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a709535f2611c71a44a8fd71ee5516a2a3adf92","datavalue":{"value":{"text":"Ping-pong on negatively curved groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305063$86CB1138-EE79-49A2-B5DA-0D18024DBD46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34027a24fe71a542fe689ee46e9ac62846292f65","datavalue":{"value":"0936.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$F2EC99EE-1FA5-47DF-A45B-5DE8A5593858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"671748a09812a3fa1cf1bcbf65b4ff061c6bd798","datavalue":{"value":{"entity-type":"item","numeric-id":1178345,"id":"Q1178345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$EE4459E9-ACB6-4296-A2D0-672AA3D34456","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$F7D5755C-C79B-45ED-A932-C1634593CC10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233d1da9a271e35b5bf8140accee545c863e21aa","datavalue":{"value":{"time":"+2000-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305063$A31A980C-3D05-492B-8FC6-43EB83DC1599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b28e976621eb61eb7adef6ae7c41b0fbcfde8d0","datavalue":{"value":"https://arxiv.org/abs/math/9612211","type":"string"},"datatype":"url"},"type":"statement","id":"Q1305063$C961BA1E-547D-4073-BF20-C06D049905B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7496b1b0f916a31b6a88705753b894245742be20","datavalue":{"value":"In a Kleinian group, any two loxodromic elements with distinct endpoints have high powers which generate a free group on two generators. An algebraic abstraction of this elementary geometric fact gives a sufficient condition for the subgroup generated by two subgroups of a group acting on a set to generate a free product with amalgamation along their intersection. In this paper, the author develops some refinements of this condition in the context of negatively curved groups.   The main result concerns two \\(\\mu\\)-quasiconvex subgroups \\(H\\) and \\(K\\) of a \\(\\delta\\)-negatively curved group \\(G\\). There is a constant \\(C\\) (depending only on \\(G\\), \\(\\delta\\), and \\(\\mu\\)) so that for any subgroups \\(H_1<H\\) and \\(K_1<K\\) with \\(H_1\\cap K_1=H\\cap K\\), if all elements of \\(H_1\\) and \\(K_1\\) which are shorter than \\(C\\) lie in \\(H\\cap K\\), then the subgroup \\(\\langle H_1,K_1\\rangle\\) generated by \\(H_1\\) and \\(K_1\\) is \\(H_1*_{H\\cap K}K_1\\). In case \\(H\\) is malnormal (that is, \\(gHg^{-1}\\cap H=\\{1\\}\\) for any \\(g\\in G\\setminus H\\)), and \\(K_1=K\\), if \\(H_1\\cap K\\) contains all elements of \\(H_1\\) shorter than a certain constant, then \\(\\langle H_1,K\\rangle\\) is \\(H_1*_{H\\cap K}K\\) (that is, there is no requirement on the short elements of \\(K\\)). In both cases, if \\(H_1\\) and \\(K_1\\) are quasiconvex in \\(G\\), then so is the subgroup they generate.   These results apply to numerous examples. In particular, when \\(H\\) and \\(K\\) are residually finite and have trivial intersection, the main result implies that there are infinite families of finite-index subgroups \\(H_m\\) of \\(H\\) and \\(K_n\\) of \\(K\\) so that \\(\\langle H_m,K_n\\rangle=H_m*K_n\\). If \\(H\\) and \\(K\\) are LERF, then they need not intersect trivially, and the conclusion becomes that for infinite families of subgroups, \\(H_m\\cap K_n=H\\cap K\\) and \\(\\langle H_m,K_n\\rangle=H_m*_{H\\cap K}K_n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$08DEB2DC-FD89-4674-8AC2-5C1FAF775653","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$0ACBB607-6CD3-4C18-B6DB-7E425F6915F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$1484F00E-0E44-4A4F-B54A-9C3A334B449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$AD75050F-F039-4648-AC1E-CD688A8F244B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$E0B13AD4-0BF4-4792-BBEE-F0DE446029D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$A7CE6EEE-6B3F-4CC2-AAC3-4E1AC0E15692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$BDF597CE-7D71-4600-A6EE-00D977980671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$58606C74-EB4C-477D-B83E-CD6472F2E818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfa4813f6c16e343dbc1ff03187d0d964a094c3a","datavalue":{"value":"1340603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$946E575F-C2C6-4B49-B6AB-D2773780F666","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f50f29dc867d99763cc491449c6f50206cfbe6","datavalue":{"value":"two-generator free subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$0478AE32-A82A-4189-95C9-54EF2A0CD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c45ff3ada10d950fdac7031868f6888298c563","datavalue":{"value":"free products with amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$1FD4832B-B80B-493C-B37F-F293F69F4C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c575ba757dc0db29ba26691a0443c51241b76215","datavalue":{"value":"malnormal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$662976D8-3043-4B5D-8655-3E79CAF5EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db23be9b540f7d4def1c0e3347940ee377815735","datavalue":{"value":"quasiconvex subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$66A9E1FB-F143-4E29-A17B-6CBCD2ED36B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7e76f5c63909ab5fc7d58a0fd82885403c6885","datavalue":{"value":"negatively curved groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$CD00B639-C859-4889-BD9A-64D673BF694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbee85e76b56d033ee6c23851c7ccc016b8f0599","datavalue":{"value":"residually finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$F89B4EFF-E7EB-4714-98CD-5BC47E298516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$6FD1476A-AA4E-4CE8-99F7-0FEEEBE8A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111cf63bed7f6c94f44963344d7630176d1d61b3","datavalue":{"value":"LERF groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305063$AD00CC48-ECE8-4F40-AA3C-9AECAF93DCC4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e40f5ebbd93079e78cc3b5e9f237942a7cfbb0f","datavalue":{"value":{"entity-type":"item","numeric-id":175066,"id":"Q175066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$E5536B95-8DE3-4C9E-B646-93FE3043B6E5","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":"Q1305063$EB71960A-063D-4A0D-AB65-780CA55249C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c33695475c45ff11c3155b588cdff12df67f5fca","datavalue":{"value":"W2041934133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$1A8D1BA7-A934-4E20-9B65-E2B81FC8BC20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0fdbf63c06daffbf0c14626d27f5b03f4a3768","datavalue":{"value":{"entity-type":"item","numeric-id":1188860,"id":"Q1188860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$0A224B88-0959-4D94-B607-23D03C57180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90759f0d06c427e4648e67d8507b4bc39ee592fa","datavalue":{"value":{"entity-type":"item","numeric-id":1361206,"id":"Q1361206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$A7A4DC52-5C36-4F6C-AD4E-3AF92A6A3902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d25876fca387be25085a4779efc05d794a4653b","datavalue":{"value":{"entity-type":"item","numeric-id":4863968,"id":"Q4863968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$3731D304-3AE4-4C06-BE97-05ADF3CA0893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$92F343F6-AAEB-49B8-8CFA-CFF708B03CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$BE5481C4-623F-42C8-8EE2-CF76AB909143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b74573be1779e89beba88a56570d816955eb6e0","datavalue":{"value":{"entity-type":"item","numeric-id":5728500,"id":"Q5728500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$C0BE25B4-1B5C-450D-8888-4A0629CDE790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61333110fa1fd18c215bdcaf7188e51a6eee218","datavalue":{"value":{"entity-type":"item","numeric-id":5520120,"id":"Q5520120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305063$1EAC2D6E-E556-4222-AA19-2EB70FCFA008","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f0da168e0c96b081118b7157dbb8c87e6e2278","datavalue":{"value":"10.1006/JABR.1998.7789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305063$1F52DA56-C7A5-4776-B64A-4C03029F7A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4550ee21922086582d8848289e87da7229996c7","datavalue":{"value":{"entity-type":"item","numeric-id":1361206,"id":"Q1361206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b55235398f6b8c04f63ce86b92ebcdb4a904d93","datavalue":{"value":{"amount":"+0.8281499147415161","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":"Q1305063$A92C7C30-0A9A-4F92-9705-639B02FC4FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d45847e738251a633e40498182e3e7abb31958","datavalue":{"value":{"entity-type":"item","numeric-id":5213274,"id":"Q5213274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d101003ae01c9935d6f187719d06294c339458","datavalue":{"value":{"amount":"+0.7742634415626526","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":"Q1305063$D2C523A4-E457-44A3-B69D-DA559E51C032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2183c63730f421a1809d81a67c0d89e5b4f44138","datavalue":{"value":{"entity-type":"item","numeric-id":1336794,"id":"Q1336794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fb6b09bb518539dda5716b6a859ef8504cd283","datavalue":{"value":{"amount":"+0.7528737783432007","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":"Q1305063$293C9216-2DB4-4C9C-A332-685969188876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ping-pong on negatively curved groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ping-pong_on_negatively_curved_groups"}}}}}