{"entities":{"Q1101541":{"pageid":1112293,"ns":120,"title":"Item:Q1101541","lastrevid":69644328,"modified":"2026-04-13T08:25:21Z","type":"item","id":"Q1101541","labels":{"en":{"language":"en","value":"Elementary equivalence of a polycyclic-by-finite group and its profinite completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045985"}},"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":"Q1101541$8DFEB7D9-566A-40EF-9919-7CFC72ACA6B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a4dd0a5ef0feef2a6b2455664df04a517dce649","datavalue":{"value":{"text":"Elementary equivalence of a polycyclic-by-finite group and its profinite completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101541$44B2B80D-20F5-45DD-A34A-F615A34D4568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e06c5953234af913d118f5c495109a661ef1700","datavalue":{"value":"0642.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$B7FB5FCE-206B-4081-80AF-F420DF8E74C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"176dca98dd8a5d70e769f873f13f2da2a005a063","datavalue":{"value":"10.1007/BF01237563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$F623210D-04D7-4777-8CD3-780E233CC46E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f3f7444675376fd78d1d813f01fbcb51b88c5a","datavalue":{"value":{"entity-type":"item","numeric-id":585347,"id":"Q585347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101541$88BD7629-AC02-4A3E-9BA9-A451B2A02BB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101541$E6BCD40D-0532-4E0F-8F1A-7D5893B280EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101541$DBEDE5E8-2E80-4726-A7C0-33F7ABBCBD96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"814b84f45cd0db5bbfef33adab80d7e5f39d7f74","datavalue":{"value":"In [the author, Proc. Am. Math. Soc. (to appear; reviewed above)], we showed that any finitely generated abelian-by-finite group is an elementary submodel of its profinite completion. Here, we prove that, if G is a polycyclic-by-finite group which is not abelian-by-finite, then there exists an existential sentence which is false in G and true in the profinite completion of G. It follows that a polycyclic-by-finite group is elementarily equivalent to its profinite completion if and only if it is abelian-by-finite. In [loc. cit.], we proved this result only for finitely generated nilpotent-by-finite groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$9CB68FF4-4D8C-4F4D-92EA-65DC7A02586E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$D99E6A99-EFD3-4AC4-BE1B-987F9509CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$687F7765-CC33-4D21-83AC-CFC2B0645E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$1800AFB8-97C5-4677-9AC5-CBBB955CD317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$8E4AE480-C7E6-4A17-A6C1-8892BEF0E05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ebff25a0518f1ec7ca9fd5c13c507c53eada26f","datavalue":{"value":"4045985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$94F97680-EFDF-436B-BF37-F559814B4A09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1ee265a6fa943034a67e28a76fc9fb9c5a3085","datavalue":{"value":"finitely generated abelian-by-finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$B0CCE8EA-5A9A-4F13-84B2-6A91C7EA6335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1d938581617637421a79f34f10273557f0434a","datavalue":{"value":"elementary submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$144FDC7C-42FD-435B-B6AB-5ED297B39155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$B3375EBF-DBCA-4C70-B1FD-93DAFED30E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f49986ae67f659ea7fa5c74d6201983986a0706","datavalue":{"value":"polycyclic-by-finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$44CCE69A-38F2-4038-A207-56F4A5198B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef148531684bd766572813acb28cdda92748310b","datavalue":{"value":"existential sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101541$F2AC10CC-6570-4EF0-AA0E-68B4D972A67B","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":"Q1101541$49C189F0-336E-4766-B566-19FCFEF6C4E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3572eee7fcaa83c7b65f8ca029fb113e3e1e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1051722,"id":"Q1051722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101541$ACCDA69F-EAA9-4CF5-A8FA-EEC3AEF2AB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1aac52292365f5652407a6bb3bf02583f90cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3784297,"id":"Q3784297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101541$38EC9837-BEC7-491C-BEB7-1C1400990A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745dd68ffca3d0b92e293a7c3c1bd7dcbf4adeff","datavalue":{"value":{"entity-type":"item","numeric-id":3663506,"id":"Q3663506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101541$6920A2CD-E24F-4DCE-B80D-344B76B87835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9b7baedba155c5228c218227c37ea845c8c4b83","datavalue":{"value":"https://doi.org/10.1007/bf01237563","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101541$B124D626-CA97-48A6-9E02-F4EA6AB0D0EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b02714c3feda43dc52eb11b3f7b6de65767a07dc","datavalue":{"value":"W2094825514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101541$AAFD9E35-081E-49EF-9E8A-D54FB1BDF8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfabe94e700c83d6e17e649317b8db9ac6599282","datavalue":{"value":{"entity-type":"item","numeric-id":3784297,"id":"Q3784297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ff9c24ef4307efa2bafdacda273f80f02b4454","datavalue":{"value":{"amount":"+0.9237267374992372","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":"Q1101541$D88FD0D9-C531-4500-9ECE-4DC48BFAB42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a800145b2e24e7d1ad251cb472ddea3d1e7c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3529397,"id":"Q3529397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04aa5d91b576960d1050d206c623953f55606b3b","datavalue":{"value":{"amount":"+0.8198290467262268","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":"Q1101541$5191A5C1-5A2D-4993-BA1E-AD4B6DC84223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1275a72bb23435dcc109cd4ca7db35463a0d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":914824,"id":"Q914824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0212e2e45cb2af0abad7c4c4ff61fcfc1b95dadc","datavalue":{"value":{"amount":"+0.8163450956344604","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":"Q1101541$EBB0F61C-2F51-4044-97D7-75FC9B79022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b391d0209b6cc1c77616ed5a84e0cc49d2e64b","datavalue":{"value":{"entity-type":"item","numeric-id":4350823,"id":"Q4350823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e96b4d52c67e93163adf0abed236b84d2d87e3","datavalue":{"value":{"amount":"+0.8073393702507019","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":"Q1101541$F2EAEC72-5962-4895-A5D9-D4251412F0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb0670ad5d7d3ff58b8bbd9fac52a0ee60da91c","datavalue":{"value":{"entity-type":"item","numeric-id":2406667,"id":"Q2406667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6896f6e0740885946b3b82bfc9beeba4e937d841","datavalue":{"value":{"amount":"+0.806895911693573","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":"Q1101541$73FD6F1D-DA6F-4975-A3A5-16E0F63250D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary equivalence of a polycyclic-by-finite group and its profinite completion","badges":[]}}}}}