{"entities":{"Q616515":{"pageid":618291,"ns":120,"title":"Item:Q616515","lastrevid":63085302,"modified":"2026-04-11T10:29:16Z","type":"item","id":"Q616515","labels":{"en":{"language":"en","value":"Higher homotopy of groups definable in o-minimal structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834339"}},"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":"Q616515$A9B8F5F8-75C0-46DC-BB65-8FE5D869C855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28b7f51a5841c372d46ff9edf03e3e0faca303d0","datavalue":{"value":{"text":"Higher homotopy of groups definable in o-minimal structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616515$721FE3FD-190E-4417-8FC4-CE3079C42C65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e4cf3353576c868c3ec76bba86259bb7548758","datavalue":{"value":"1213.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$DF3F2A1E-AD24-40F9-A1B6-72814B2A7AE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$A23CD508-62B9-40EC-B118-5574A1AA7EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b017da9786c8804ad7b41a1ae4778ce957e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":361792,"id":"Q361792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$163775C2-B13F-4533-A95F-90B3E5C7145E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3aea68f5ac92e48a118ea958c0f8522bdad0f4f","datavalue":{"value":{"entity-type":"item","numeric-id":556827,"id":"Q556827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$06564249-B032-4F75-A108-D45A9ED9E2B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$D0A2618C-EB0E-4995-9CB2-BE7934FF6640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740e49878700078887fbe9d119b7ad1f67f22eba","datavalue":{"value":{"time":"+2011-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616515$B7F57124-D7C4-412A-AB1A-2C9364BC1961","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c374e957fbba7883e9914948952ba67ede2354","datavalue":{"value":"https://arxiv.org/abs/0809.4940","type":"string"},"datatype":"url"},"type":"statement","id":"Q616515$6F6E76D0-A772-4C46-9BB1-BCF830806D2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fc8ad7cb7d6bf1d8807eb276d0aaf2eef7ca9d8","datavalue":{"value":"It is known that every definably compact group \\(G\\) has a canonical type-definable normal subgroup \\(G^{00}\\) such that the factor \\(G/G^{00}\\) with a ``logic topology'' is a compact Lie group. Moreover, \\(G^{00}\\) is divisible torsion-free. In a joint paper with M. Edmundo, the third author studied the o-minimal fundamental group \\(\\pi_1(G)\\) for an abelian \\(G\\) and showed that it is isomorphic to \\(\\pi(G/G^{00})\\) -- the fundamental group of the Lie group \\(G/G^{00}\\). The first author extended this result to the non-abelian case.  In this paper, the o-minimal \\(n\\)-th homotopy group \\(\\pi_n(G)\\) of \\(G\\) and the \\(n\\)-th homotopy group \\(\\pi(G/G^{00})\\) of \\(G/G^{00}\\) are compared for all \\(n > 1\\) and all definably compact groups \\(G\\). It is proved that, just as in the case \\(n = 1\\), they are isomorphic for every \\(n\\). In the abelian case this amounts to checking that \\(\\pi_n(G) = 0\\), and indeed to showing that \\(\\pi_n(G)\\) is finitely generated (since \\(\\pi_n (G)\\) is divisible). This is done by using the o-minimal \\(H\\)-space of the triangulated copy of \\(G\\) and results by E. Baro and the third author linking the classical theory of \\(H\\)-spaces and the o-minimal setting. As a consequence, it is shown that all the abelian definably compact definably connected groups of the same dimension are definably homotopy equivalent. The analysis for non-abelian groups is reduced to the study of the abelian and the semisimple centreless cases, making use of the long exact homotopy group of a fibration and again of results by Baro and the third author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616515$DE9850B2-C6B0-4DCA-B803-8ACBA59654CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$3195A5AE-F2BC-4D55-878E-6141640269ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$F2E465D1-FCEA-49ED-A49D-B0ABFFED6E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82d08693b28b7ae7cb6ffd5a0daee4966ec1d6e0","datavalue":{"value":"22E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$930222FC-F6E3-4400-839E-C8F6C86B1AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8077c87150f4def8d44e6ddf15a23c11bc6a76","datavalue":{"value":"55Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$DF74F7BB-F3CE-4A31-ACE0-DA4C599A6FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b805c0c8d12da154dc60f3a7ae532b035a96c804","datavalue":{"value":"5834339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$7AC4B19E-7459-454B-AF9C-DEC174FAEF49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d21638fad994776b924809c428b2bedc8f1db3d","datavalue":{"value":"definably compact group","type":"string"},"datatype":"string"},"type":"statement","id":"Q616515$745C0F28-9FA1-481A-A174-38D1D8E2A536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f972ddd5e777cd5ed7b28e7c5d063fa6b9ae8f5","datavalue":{"value":"homotopy group","type":"string"},"datatype":"string"},"type":"statement","id":"Q616515$49B6BF60-B949-4F9C-9A34-B2CB82F4CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92010ddb5bf9837d93c66baf5309e064a704f5e3","datavalue":{"value":"o-minimal homotopy group","type":"string"},"datatype":"string"},"type":"statement","id":"Q616515$16F7AA29-BB01-4A86-BDD5-FBDF01BAC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afae5991efcce6f73f4f2cf3cfe3317b98365eda","datavalue":{"value":"\\(H\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q616515$FC7834B9-506A-4B1A-A22B-171397FB307F","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":"Q616515$2C610F0B-A13E-403C-BB58-EE5DF65D6192","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f438e9b36815a13c532fe44b961353a8575804a","datavalue":{"value":"W1973584442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$720DBB10-296C-4588-9BA2-D3A8EE514D70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d58f159b2c776392bfff85f4900ee124b29709","datavalue":{"value":{"entity-type":"item","numeric-id":636288,"id":"Q636288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$F102EF5D-952B-4E67-B970-68FACB09D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c233ce9252863d3189e4bc5d74ad3be2a2756f","datavalue":{"value":{"entity-type":"item","numeric-id":5444693,"id":"Q5444693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$16EF98BA-9720-478C-A79D-0E890BE9DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fd865e74a55813dc613e5213942ad2e0858938","datavalue":{"value":{"entity-type":"item","numeric-id":3399182,"id":"Q3399182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$C7F61F0E-E22B-4E3C-BB21-B9175614B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beef8bcadf2681f9c13811d5832712fb6caed7c","datavalue":{"value":{"entity-type":"item","numeric-id":5457299,"id":"Q5457299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$2390B3C0-F9A0-4154-AAE8-6BF6ECCCBDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a948d3ff27dea0c3ca73d2855c6bd038e38ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":3151098,"id":"Q3151098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$B41F209D-C8E5-456D-98BB-CC42B32E72B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5997fc4edb17a27f078e7e6c7274f433a0ee0a","datavalue":{"value":{"entity-type":"item","numeric-id":556829,"id":"Q556829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$7974BC93-7370-4160-9CAB-2813AAB62518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e9d09d1f368b5feeb7634e68b4168e8ec92d59","datavalue":{"value":{"entity-type":"item","numeric-id":5434202,"id":"Q5434202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$14D013E6-54A9-4063-AF93-53EA872FF47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050b7e1dbb32813bd5ae931e7472496205a8251d","datavalue":{"value":{"entity-type":"item","numeric-id":4658681,"id":"Q4658681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$936970A9-7712-48A1-9D15-8DB428B42976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$26CF4559-2408-4C06-AB10-958D51B5607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32656f9fa3ebafd1387a2e2bcf3873074085c569","datavalue":{"value":{"entity-type":"item","numeric-id":3602607,"id":"Q3602607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$7BCCECDC-0559-47C0-A1BC-19E94BFE4B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb4a0a630292762bba242a0f53723902f0c7b93","datavalue":{"value":{"entity-type":"item","numeric-id":2391091,"id":"Q2391091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$A9D2066E-043D-4DD2-872C-E43CF7DF32DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a1486d452586bc0fd1d461175dded891b4f29b","datavalue":{"value":{"entity-type":"item","numeric-id":4501109,"id":"Q4501109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$DDDF18A8-EF67-41EB-A151-EBD357F5A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f0a02315f4430ce6079fd17f92a2e9a7980b59","datavalue":{"value":{"entity-type":"item","numeric-id":5957502,"id":"Q5957502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$ACF5D465-14FE-4019-A6E7-8766E54E24A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d816e1d873e54df46d8ef4a1dad656828501f27","datavalue":{"value":{"entity-type":"item","numeric-id":1964013,"id":"Q1964013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$37FEED69-65AB-418F-98A0-2B9D07FE59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf9d5b834a8641ee8246df10ed5e3be44009a58","datavalue":{"value":{"entity-type":"item","numeric-id":4658680,"id":"Q4658680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$BDB0C151-7768-47EE-8AB7-63A519C16CBB","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":"Q616515$14548628-AE7A-4DB5-9269-84454DCA06EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e60bcb318a54c561323259c1b01dc055722bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4192669,"id":"Q4192669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616515$42D969B1-AD84-499D-9AA5-0E2854FB096D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d52a5014762dd54954eae31401afc5cd98d3a3","datavalue":{"value":"10.1007/S11856-010-0098-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616515$B88365BA-F4BE-4F1B-A9EC-B3DA555C6CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3271f398a93cb5aecb53a74fe0c0feb4ca4b2696","datavalue":{"value":{"entity-type":"item","numeric-id":3004908,"id":"Q3004908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cfff97bc5094ad2a8246411ed49464799f715a","datavalue":{"value":{"amount":"+0.9003816843032837","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":"Q616515$64B3DD31-53CA-422C-914B-BC416005EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079ae2c8967f0a51b35cc24b861d69d2c378d757","datavalue":{"value":{"entity-type":"item","numeric-id":4658681,"id":"Q4658681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1da84fbe96de218555097f33e3820179a0a5b1","datavalue":{"value":{"amount":"+0.8585469126701355","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":"Q616515$256D2710-A805-443B-99BE-8488939BA8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7643666735ba9ade61556caf411bb88030bffe","datavalue":{"value":{"entity-type":"item","numeric-id":2893264,"id":"Q2893264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf13dc464aea8dde422933b265e69a668cb2f7c5","datavalue":{"value":{"amount":"+0.8375464677810669","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":"Q616515$43038B3D-9CF8-4F92-B294-45A4D7C4C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c886a66e5eb26ecb7cbefe9fa4c3eea0b08d3d40","datavalue":{"value":{"entity-type":"item","numeric-id":4658680,"id":"Q4658680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f77c5b7b78c85c193f623083ffa059a08a1aa8","datavalue":{"value":{"amount":"+0.829687774181366","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":"Q616515$9F1CA31B-6BC9-4F45-9A8A-E5C9C94E35D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bac0d4e9cdfbc3287e117c90797f6e3a9bed6","datavalue":{"value":{"entity-type":"item","numeric-id":5891805,"id":"Q5891805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a734d4917452d72a4bbf91d0d975878a856b967","datavalue":{"value":{"amount":"+0.8230584859848022","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":"Q616515$4E456C63-B1BE-426C-9307-B2D3F32FC445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher homotopy of groups definable in o-minimal structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_homotopy_of_groups_definable_in_o-minimal_structures"}}}}}