{"entities":{"Q473140":{"pageid":474907,"ns":120,"title":"Item:Q473140","lastrevid":62087718,"modified":"2026-04-11T03:41:15Z","type":"item","id":"Q473140","labels":{"en":{"language":"en","value":"The isomorphism problem for profinite completions of finitely presented, residually finite groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371839"}},"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":"Q473140$9664528C-F3C4-4036-9B6A-46FD47E6AA18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a87deae18e427411f4b8f6423656d11075920f","datavalue":{"value":{"text":"The isomorphism problem for profinite completions of finitely presented, residually finite groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q473140$391BEA23-64D4-4614-8674-90A19AC24916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aae3b648fbfb0d7269addde7452d4da0a338ca58","datavalue":{"value":"1309.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$691C045D-74E3-4D9A-8679-78AC5C91C177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e456953258209fa0f0aafc3b340b979553f3889","datavalue":{"value":"10.4171/GGD/245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$FE163C28-594A-4939-A851-E6CCFE7B10C6","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":"Q473140$E97F0F16-D970-4D25-BF04-799451168E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1fc03f649d48c9ad4760ea3320e840259e6772","datavalue":{"value":{"entity-type":"item","numeric-id":243393,"id":"Q243393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473140$2551028F-F290-4487-A2E1-452C6B4F6285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473140$A448ED44-F0B8-49CF-B465-737BC6215302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d0c07a87e80e5a99f3b903edfcb19ef7c5cda","datavalue":{"value":{"time":"+2014-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q473140$DC2596D3-713D-4016-97B2-0B51F4EA4F2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c32e6807d0f6803de35c6f7c63e00b4052f75c","datavalue":{"value":"https://arxiv.org/abs/1401.2790","type":"string"},"datatype":"url"},"type":"statement","id":"Q473140$AB557D4D-D994-4786-8F15-D82CFDFC03E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90ea45e3d8e6ae60b3810b27f6e7fe1b6b3f7281","datavalue":{"value":"A Grothendieck pair is a monomorphism \\(u\\colon P\\to\\Gamma\\) of finitely presented, residually finite groups such that the associated map of profinite completions \\(\\widehat u\\colon\\widehat P\\to\\widehat\\Gamma\\) is an isomorphism but \\(P\\) is not isomorphic to \\(\\Gamma\\). The existence of Grothendieck pairs was established in a joint paper by \\textit{F. J. Grunewald} and the first author [Ann. Math. (2) 160, No. 1, 359-373 (2004; Zbl 1083.20023)], raising the following recognition problem: is there an algorithm that, given a monomorphism of finitely presented, residually finite groups \\(u\\colon P\\to\\Gamma\\), can determine whether or not \\(\\widehat u\\) is an isomorphism?   The authors show that the answer is negative (nor do there exist algorithms that can decide whether \\(\\widehat u_n\\) is surjective, or whether \\(\\widehat P\\) is isomorphic to \\(\\widehat\\Gamma\\)) by proving the following theorem. There are recursive sequences of finite presentations for residually finite groups \\(P_n\\) and \\(\\Gamma_n\\) together with explicit monomorphisms \\(u_n\\colon P_n\\to\\Gamma_n\\), such that: \\(\\widehat P_n\\cong\\widehat\\Gamma_n\\) if and only if the induced map of profinite completions \\(\\widehat u_n\\) is an isomorphism; \\(\\widehat u_n\\) is an isomorphism if and only if \\(\\widehat u_n\\) is surjective; and the set \\(\\{n\\in\\mathbb N\\mid\\widehat P_n\\not\\cong\\widehat\\Gamma_n\\}\\) is recursively enumerable but not recursive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q473140$7A7C8F15-D9F7-4DC4-A735-6F191DE8692C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2ab9b9689bc5b1c438587650d1c25b16f209ae","datavalue":{"value":{"entity-type":"item","numeric-id":314058,"id":"Q314058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473140$2552C0A0-2D77-4C3D-AC0A-A027D39B1445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$596F5E8A-C3EB-423D-9243-7E984B6BF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$A41237F7-C659-4346-8062-064A8D2C8CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$588642C3-1835-4CFB-8EA5-4810D4B55544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$5F0767F1-AED6-46A1-B41A-60863BAE62B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$1C83101F-1A4C-42DF-8EC2-139A1285B1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29df3534f24c0998c01ba6c4eb4e795848576ba8","datavalue":{"value":"6371839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$0FEF6E36-7628-4F48-A51A-AA7FF41EFE45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43d25a44c4145eba5ad76c0dbcc5fd0871a3666","datavalue":{"value":"profinite completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q473140$D273743A-EE8F-4A68-A9D6-19380EF3EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbee85e76b56d033ee6c23851c7ccc016b8f0599","datavalue":{"value":"residually finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q473140$ACCA147E-6417-4C9B-8A5E-6B0771B94E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q473140$8A5188C3-30E0-487D-9685-878553EEABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q473140$350383F2-07BE-4CE7-BB0D-8C44A2F36198","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":"Q473140$2D179158-32F4-4A7D-9671-1C4CDF04B2FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a894470318526b81d400134733fcbd4dcbd57e24","datavalue":{"value":{"entity-type":"item","numeric-id":1589758,"id":"Q1589758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q473140$AC983D28-CCD5-42BE-A3B3-7E7F39767106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c8aa2c25d31a15a14eb8f2f688591c70111706","datavalue":{"value":"W2037358965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q473140$BAD25EF6-B013-4F32-B260-BB29C240C342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ea16c6e2166a1d6273e795d35d865c5b999545","datavalue":{"value":{"entity-type":"item","numeric-id":3570177,"id":"Q3570177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e291aa6bb9b99aa7f7348233f6598cc7c2b8a3f3","datavalue":{"value":{"amount":"+0.8093461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$5C76ED93-14D0-4EEB-AE8D-42F8E1642E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc35b64e574c7823e36cfca2aa96e41d257755bd","datavalue":{"value":{"entity-type":"item","numeric-id":303826,"id":"Q303826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbfb3bf7fd71a8f1a6a6a0f58cbdf9b645c2d13","datavalue":{"value":{"amount":"+0.7930888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$38614333-20DA-40D3-94E2-9D36819D8FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647ceead599f780b9352260ef849647de26cef64","datavalue":{"value":{"entity-type":"item","numeric-id":4722254,"id":"Q4722254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b338eddb6274c1521bee7061e3e019be883eea6","datavalue":{"value":{"amount":"+0.7311852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$2E5B4016-74B9-47F2-8CEA-2A91BC603120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbffbc90583237458802dcbd589414b52377492","datavalue":{"value":{"entity-type":"item","numeric-id":3804903,"id":"Q3804903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51bd1db53db94276c775dddea47a19f76093a1a","datavalue":{"value":{"amount":"+0.7195003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$D94906C9-F40F-4D20-B336-C122BEB98164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2094db20710d6a042a1471b0a7cfa6d39fe37957","datavalue":{"value":{"entity-type":"item","numeric-id":426202,"id":"Q426202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2b0d4a96a3882778a6c5bd016c29dac0dc830f","datavalue":{"value":{"amount":"+0.7191343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$9519DB36-F10F-4273-9CCB-A2484F1797C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae21fa0604b4e0449a1197f738c36bda7845752e","datavalue":{"value":{"entity-type":"item","numeric-id":3619547,"id":"Q3619547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b213e1e9645c750a8ca9503db918c933eee04b","datavalue":{"value":{"amount":"+0.6992212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$D85C7E48-A17E-4686-AE0B-DEBAFDC084A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9a07dfd16c0159602ebfa7cfcfaada97877504","datavalue":{"value":{"entity-type":"item","numeric-id":6062662,"id":"Q6062662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95206cc4223b9f1cd10e114759e388b5467d7891","datavalue":{"value":{"amount":"+0.6959036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$7392CC9B-4BB6-4295-B55B-5C68A15A1FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb142dca8a6ba6209db4adc38fc3dae2de12a609","datavalue":{"value":{"entity-type":"item","numeric-id":664241,"id":"Q664241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fab880ad9b06fcea438899908e56515055406b","datavalue":{"value":{"amount":"+0.6953156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$C608304A-CB4E-4E83-9AA8-C6C744B84861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ad5584efa50d82d534fafcc6500248d809aab1","datavalue":{"value":{"entity-type":"item","numeric-id":323946,"id":"Q323946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165f9be6a1adba59abb5139d344d55d2ee773d3f","datavalue":{"value":{"amount":"+0.6907297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$9E07864C-EAC8-4734-83BB-597DDA916B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee99ed7efadfea85c075bc63ff35fd5e7d87472e","datavalue":{"value":{"entity-type":"item","numeric-id":5115830,"id":"Q5115830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532e9f4d8a43bc75c761860bb8c255ca79403d81","datavalue":{"value":{"amount":"+0.6859061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q473140$CC8BBEAC-B4A8-4C97-92A7-A2AE5CC23509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The isomorphism problem for profinite completions of finitely presented, residually finite groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_isomorphism_problem_for_profinite_completions_of_finitely_presented,_residually_finite_groups."}}}}}