{"entities":{"Q6588724":{"pageid":14199881,"ns":120,"title":"Item:Q6588724","lastrevid":55728292,"modified":"2026-02-17T21:47:38Z","type":"item","id":"Q6588724","labels":{"en":{"language":"en","value":"Hall's universal group is a subgroup of the abstract commensurator of a free group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7897903"}},"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":"Q6588724$56BA76A9-072B-462B-8D41-A009D61B4AF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddc80c88a84981b9d4f40e386d56805f6a464cd4","datavalue":{"value":{"text":"Hall's universal group is a subgroup of the abstract commensurator of a free group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6588724$DD660026-01DE-40FA-9B8F-A29AD7E9EDAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e8b0833628083364f04a75de31a96c9d25b2dcb","datavalue":{"value":{"entity-type":"item","numeric-id":510734,"id":"Q510734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$33709A94-9683-4CA5-961C-63DB4305D297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa371055a05c8b41c4d40fa0ece3e6502c156e18","datavalue":{"value":{"entity-type":"item","numeric-id":297545,"id":"Q297545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$1C2CBF5B-B252-4731-BADE-5C1A6EF46A49","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":"Q6588724$6D16AE2B-FC28-4A42-ACC7-D181A927F48C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9452a1505cd6db1dcbbb15b3ceccbb7525b3df24","datavalue":{"value":{"time":"+2024-08-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":"Q6588724$EC8A95C8-D577-408A-81EA-A1420F7F1635","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b28f7d2944c5c5b169c40fe6eb19dbd1ed742d6","datavalue":{"value":"Let \\( G \\) be a group. Consider the set \\( \\Omega(G) \\) of all isomorphisms between subgroups of finite index of \\( G \\). Two such isomorphisms \\( \\varphi_1 : H_1 \\to H_1' \\) and \\( \\varphi_2 : H_2 \\to H_2' \\) are called \\textit{equivalent}, written \\( \\varphi_1 \\sim \\varphi_2 \\), if there exists a subgroup \\( H \\) of finite index in \\( G \\) such that both \\( \\varphi_1 \\) and \\( \\varphi_2 \\) are defined on \\( H \\) and \\( \\varphi_1|_H = \\varphi_2|_H \\). For any two isomorphisms \\( \\alpha : G_1 \\to G_1' \\) and \\( \\beta : G_2 \\to G_2' \\) in \\( \\Omega(G) \\), we define their product \\( \\alpha \\beta : \\alpha^{-1}(G_1' \\cap G_2) \\to \\beta(G_1' \\cap G_2) \\) in \\( \\Omega(G) \\). The factor-set \\( \\Omega(G) /\\! \\sim \\) inherits the multiplication \\( [\\alpha][\\beta] = [\\alpha \\beta] \\) and is a group, called the \\textit{abstract commensurator} of \\( G \\) and denoted \\( \\mathrm{Comm}(G) \\).\\N\\NLet \\(\\mathbb{F}_k\\) be the free group of rank \\(k\\geq2\\). It is easy to see that \\(\\mathrm{Comm}(\\mathbb{F}_k)\\simeq\\mathrm{Comm}(\\mathbb{F}_2)\\) for every \\(k\\geq2\\). Therefore, one usually refers to \\(\\mathrm{Comm}(\\mathbb{F}_k)\\), say, as \\(\\mathrm{Comm}(\\mathbb{F})\\).\\N\\NRecall that a countable locally finite group, which contains an isomorphic copy of every finite group and such that any two isomorphic finite subgroups of it are conjugate, is called an \\textit{Hall universal group}. \\textit{P. Hall} [J. Lond. Math. Soc. 34, 305--319 (1959; Zbl 0088.02301)] proved that such a group exists and that it is unique up to isomorphisms.\\N\\NMaking use of the realization of the abstract commensurator \\(\\mathrm{Comm}(\\mathbb{F})\\) as the homotopy equivalence group of a full solenoid \\(\\hat{\\Gamma}\\), namely the inverse limit of all finite-sheeted covers of a finite connected graph \\(\\Gamma\\) with non-abelian fundamental group, the authors prove the following\\N\\NMain Theorem. Hall's universal group can be embedded into \\(\\mathrm{Comm}(\\mathbb{F})\\).\\N\\NFrom this result and from the properties of Hall's universal group in particular, one immediately gets the following\\N\\NCorollary. Every countable locally finite group can be embedded into \\(\\mathrm{Comm}(\\mathbb{F})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588724$7B15A283-385C-4D4C-A526-1753561DA7E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"77b7b9f091bb41a5565394fc4840af111131bd53","datavalue":{"value":{"entity-type":"item","numeric-id":310508,"id":"Q310508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$1DEECC94-865D-4F17-9B81-150EC59BA9B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$C92A5153-7078-4972-8A68-656F9D26D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$365B8D76-2C0D-4B14-9287-E89FFC151E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$D6BED8B7-AB1F-4DE6-AF2E-7DE41FCD6157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$D3E02417-4768-4366-B291-3A15F953BAA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e03e6470b442d853c9efc69a9a2f433e7cd4d8d","datavalue":{"value":"7897903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$0A8160CA-ECF8-4241-82F0-5BDB1C4A978B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342b0704f08f009bb6746c3af5a65daaeeab46a7","datavalue":{"value":"abstract commensurator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588724$9F829BB9-7289-48A5-ADEE-B0C38712DBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e5a1012574bbc0962c43c408ddbfe30d81833b","datavalue":{"value":"universal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588724$A54824D4-9B64-4A90-9420-87099D204AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f6887458f0de2b15597459653f3a31dde07648","datavalue":{"value":"group homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588724$7E6BA78E-C477-4B23-A662-FBF81D873C4D","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":"Q6588724$644C6CD5-87CA-43BB-9DAF-F8792BBC4385","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c91fa3fdf9acaa1d074a0a29e056982d10edb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1320042,"id":"Q1320042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$4FCE6CAE-F306-4001-A196-520D183BEBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c604f86fca1aa174a25ef8490010a83326c1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3068142,"id":"Q3068142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$90FCE175-2522-44C4-BF36-CBE54817A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02fa49e6cd6d5239a54c808fb7cbb5ac7479520a","datavalue":{"value":{"entity-type":"item","numeric-id":5163058,"id":"Q5163058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$25D3DAE3-3886-4732-9D70-68B9B88873B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7277b46d6806fa1069f3bd997d58cc248974326","datavalue":{"value":{"entity-type":"item","numeric-id":3260591,"id":"Q3260591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$02AA40DB-41F1-41BA-9DAB-AD51AFCEFAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ebebc42c348e1d37139119bb335a23847a582f","datavalue":{"value":{"entity-type":"item","numeric-id":2740292,"id":"Q2740292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$06E82DC0-F0C1-471D-BE79-9032EEDC55BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288adc9a8d9d0cb6569af47e90625800ba3c9a06","datavalue":{"value":{"entity-type":"item","numeric-id":5509510,"id":"Q5509510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588724$EE4DABC6-6EBE-4E83-81FE-9CDB8EFF5218","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":"Q6588724$63F32045-BDF3-4022-97CE-CBD3CE9E0DAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d80a6e1605f74aff482d8a6138c82412946d40a","datavalue":{"value":"10.1007/S11856-023-2591-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588724$4A3F703F-CE4C-4BDB-8B26-133834DE7F9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820e3c9876f449854b9853abe43c268df914c60e","datavalue":{"value":{"entity-type":"item","numeric-id":5253613,"id":"Q5253613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57113009fb00b908c2ec47aa810b9f416b07ccd7","datavalue":{"value":{"amount":"+0.8283092975616455","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":"Q6588724$2794EAC0-E542-46EE-8BFC-8A1470E88D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca0bbc0d726d71215a2e9996e9e83f98e7f0275","datavalue":{"value":{"entity-type":"item","numeric-id":1700673,"id":"Q1700673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea8f8af95360277b8cf6d9458c6e0be81c7612e","datavalue":{"value":{"amount":"+0.8134719133377075","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":"Q6588724$2DA152EA-0A77-4A0A-BAF5-DEF244FB8E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beec7ba8897ac4900832bfe15d6bc6839c65cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":1291107,"id":"Q1291107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a627ffc91affd8a1011793745125029b8203eda4","datavalue":{"value":{"amount":"+0.8003043532371521","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":"Q6588724$6730D97D-739F-4951-8110-8E90AEDEC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7dd18c2c47f324c788cf79744c431b414db43e","datavalue":{"value":{"entity-type":"item","numeric-id":1359015,"id":"Q1359015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e533029746bf576ade6e1c4dfd36012b7294d7a","datavalue":{"value":{"amount":"+0.796406090259552","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":"Q6588724$DCA9E6A0-C300-4576-AC3E-5052F31E6962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3520c4d94d2f0ff2359de440c244211f0b408882","datavalue":{"value":{"entity-type":"item","numeric-id":3132777,"id":"Q3132777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2005da89f9dc2ec7ed5d25ac34fa548ab085fd","datavalue":{"value":{"amount":"+0.7737098336219788","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":"Q6588724$2535FA0B-9B0E-4637-9A0D-CE4FFB1B5C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6588724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6588724"}}}}}