{"entities":{"Q6630630":{"pageid":14241782,"ns":120,"title":"Item:Q6630630","lastrevid":95868554,"modified":"2026-06-05T09:55:09Z","type":"item","id":"Q6630630","labels":{"en":{"language":"en","value":"Profinite completions of free-by-free groups contain everything"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7936841"}},"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":"Q6630630$F4ED8D0C-ABC8-4290-8633-D515FF709D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69f9d681849ca4b8b91e857834d9b327a4111fb4","datavalue":{"value":{"text":"Profinite completions of free-by-free groups contain everything","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630630$022BFF1A-A345-4391-9FEF-259BB79F04D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0547b9b116595c88b277833d81a2d5acc43946a","datavalue":{"value":{"entity-type":"item","numeric-id":168395,"id":"Q168395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630630$189001FC-A290-499D-AF32-E6931A28FA85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b43bf5288dc1ba675e9da92121dc9df495bd0ed3","datavalue":{"value":{"entity-type":"item","numeric-id":2716942,"id":"Q2716942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630630$CA893EDB-3275-426E-A4C5-C46CACC67D4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b639e699f7e190ac6074c505ed75a9af171b9e","datavalue":{"value":{"time":"+2024-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630630$4E1C4656-2F77-439F-8CA1-53D7F0985C7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed335f1483136ae7ef9e92562afbcb8978ffa641","datavalue":{"value":"The finite quotients of a group \\(\\Gamma\\) form a directed system and the profinite completion of \\(\\Gamma\\) is the inverse limit of this system \\(\\widehat{\\Gamma}=\\varprojlim \\Gamma /N\\). The natural map \\(\\Gamma \\rightarrow \\widehat{\\Gamma}\\) is injective if \\(\\Gamma\\) is residually finite and two finitely generated groups \\(\\Gamma_{1}\\) and \\(\\Gamma_{2}\\) have the same set of finite images if and only if \\(\\widehat{\\Gamma}_{1}\\simeq \\widehat{\\Gamma}_{2}\\).\\N\\NThe main result of the paper under review is Theorem A: Given an arbitrary, finitely generated, recursively presented group \\(\\Gamma\\) that is residually finite, one can construct a finitely generated, residually finite free-by-free group \\(M_{\\Gamma}= F_{\\infty} \\rtimes F_{4}\\) and an embedding \\(M_{\\Gamma} \\hookrightarrow (F_{4} \\ast \\Gamma) \\times F_{4}\\) that induces an isomorphism of profinite completions.\\N\\NFrom Theorem A it follows that the cohomological dimension of the profinite completion of a finitely generated, residually finite group of cohomological dimension \\(2\\) can be any positive integer or infinite. Despite being torsion-free itself, a free-by-free group can have all manner of torsion in its profinite completion. From this theorem it also follows that, with the possible exception of certain free-by-free groups \\(H\\), for all pairs of finitely generated, residually finite groups \\(\\Gamma_{1}\\) and \\(\\Gamma_{2}\\), if \\(\\widehat{\\Gamma}_{1} \\simeq \\widehat{\\Gamma}_{2}\\) and \\(\\Gamma_{1}\\) has a subgroup isomorphic to \\(H\\), then it's not necessarily the case that \\(\\Gamma_{2}\\) has a subgroup isomorphic to \\(H\\). Furthermore, it follows from this theorem that if a property \\(\\mathcal{P}\\) is common to the subgroups of free-by-free groups but not to the subgroups of all finitely presented, residually finite groups, then \\(\\mathcal{P}\\) is not a profinite invariant (\\(\\mathcal{P}\\) can be: torsion-free, locally indicable, left-orderable, all \\(2\\)-generator subgroups are finitely presented and several others).\\N\\NThe author points out that Theorem A is a consequence of a result he proved in [in: Elementary theory of groups and group rings, and related topics. Proceedings of the conference held at Fairfield University and at the Graduate Center, CUNY, New York, NY, USA, November 1--2, 2018. Berlin: De Gruyter. 11--28 (2020; Zbl 1528.20094)] using theorems of \\textit{G. Higman} [Proc. R. Soc. Lond., Ser. A 262, 455--475 (1961;Zbl 0104.0210167)] and \\textit{G. Baumslag} et al. [J. Pure Appl. Algebra 16, 1--47 (1980; Zbl 0419.20026)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$7F85EFA8-409D-4CE2-9EDA-19FED22EF185","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630630$A5824DC0-A4A2-4AFF-9744-0781A638B43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630630$0019D483-5BB3-4010-8FDB-5E22438D7164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630630$5093D919-028E-44A4-8D99-2D0DA1B1B6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f4d97f788112bb319e1ce84c40c80e26fe1c09f","datavalue":{"value":"20E34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630630$A4087D44-C332-4AD7-984D-ABBDDFF3BAF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ac59392dcff7053b79a35981b7b9a58f175081","datavalue":{"value":"7936841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630630$C9976A41-1EB4-4CDA-85C4-5A093E923601","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c8836e660117944b67dbfd567b2daf30a4849c","datavalue":{"value":"residually finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$D9E27D86-F0F6-4C2D-97AD-904F61055CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$9D4CF480-2BD3-41C4-9BC9-804EC241B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$BDC0D965-680A-4B6D-8C1C-0CB47470314D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3625954f8ac45ec3bb15dbde6020bf1b89c3fc","datavalue":{"value":"immersion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$D23EA818-D828-4E19-9A3B-FC59D7674AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d337a4099f2a4456cac5e1ecaf487881490661d","datavalue":{"value":"cohomological dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630630$F83608A8-ED00-4269-BFB9-9DA42B80CA06","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":"Q6630630$F2B9B34E-053B-4FC9-851F-7098D406A73C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7327933c408034c341ace6f28049d3010a3f6410","datavalue":{"value":"10.1093/QMATH/HAAE003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630630$AB39F477-94A2-4FA3-A2C4-8CC5D78E8397","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3070791832675430dacade1552f057564e34d4c8","datavalue":{"value":{"entity-type":"item","numeric-id":6194994,"id":"Q6194994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35daec097694a12961a1fb2b662f474c82508f02","datavalue":{"value":{"amount":"+0.8017807006835938","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":"Q6630630$97DB3A64-8F71-42EC-8EBA-4686F56AE841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2323f3755b6d1906927015b15711301d145401","datavalue":{"value":{"entity-type":"item","numeric-id":4280603,"id":"Q4280603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f59b40b1161c47b88872b0c8946a7d03f16d536","datavalue":{"value":{"amount":"+0.8006512522697449","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":"Q6630630$9AA2ED1E-CF6D-4BFA-84C8-D283F772B9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfb34756c094a28b0e269488f42b3edc8c3f50f","datavalue":{"value":{"entity-type":"item","numeric-id":5402610,"id":"Q5402610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab8a341277a9536184ddc2bc731fd0afa9ff784","datavalue":{"value":{"amount":"+0.7967212796211243","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":"Q6630630$5EBD0864-6613-4F0F-A93F-527BC12278C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d1cbf0760f6654fa0069e8c3df21aafc8e5b7e","datavalue":{"value":{"entity-type":"item","numeric-id":6624770,"id":"Q6624770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e667ba6b02bb4d021eab17bad6d191007f456457","datavalue":{"value":{"amount":"+0.7897867560386658","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":"Q6630630$28598FA3-096C-476C-97ED-20D0D8C03B16","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630630$EB9FECB9-9DAD-4DB4-AB60-D0A86CE5D6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Profinite completions of free-by-free groups contain everything","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Profinite_completions_of_free-by-free_groups_contain_everything"}}}}}