{"entities":{"Q677429":{"pageid":679278,"ns":120,"title":"Item:Q677429","lastrevid":42636805,"modified":"2025-07-07T12:43:00Z","type":"item","id":"Q677429","labels":{"en":{"language":"en","value":"On a double of a free group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 997604"}},"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":"Q677429$B0E6A760-36C1-4ECE-9D2E-BD024C894087","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abf48fff776c96b39a506d80f4ca2870016c3a74","datavalue":{"value":{"text":"On a double of a free group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677429$A22A1816-3606-42F4-A0EE-52F40DE971BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad11f8fc9afa306c8d825b3d4560b78356a02895","datavalue":{"value":"0870.20021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677429$A4CCF0C5-60EF-43A7-B385-1C3645431D28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"424b2302e2ff9ea33e12bd0432a6d0a2c64f8d1f","datavalue":{"value":"10.1007/BF02937321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677429$A017F990-3D85-4F89-A3AA-BEF1F50B3FB2","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":"Q677429$3EF5E9AA-C358-486C-8217-3250025F2F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363253f0d755d55e9ff2172497e3d4fad4fcd658","datavalue":{"value":{"time":"+1997-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677429$E95F5C41-9274-4D06-BE11-9599F4C28DA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"389012a73de2f36e91bde81f7ab15f866ac3d69d","datavalue":{"value":"In this short paper the author exhibits a free product \\(G=F_1*_NF_2\\) of two free groups \\(F_1\\) and \\(F_2\\) each of rank two, amalgamating a normal subgroup \\(N\\) of index 3 in each of them, which is not LERF (or subgroup separable), i.e. for any element and for any finitely generated subgroup not containing it there is a finite image of the group that separates them. This group is a double in the sense that there is an isomorphism of \\(F_1\\) and \\(F_2\\) which is the identity on \\(N\\). The author constructs a finitely generated subgroup \\(H\\) of \\(G\\) such that for \\(g\\in G\\) there is no algorithmic procedure which decides whether or not \\(g\\in H\\). Thus \\(G\\) has an unsolvable occurrence problem which implies that \\(G\\) is not LERF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$ABD70945-1251-4702-882C-90C30FDC6739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677429$ABDBB8EB-370A-4A68-91A1-2905918A08A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677429$33B471D4-AD54-4872-9F81-F490E67652BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fd620bab66b4e9f3676a0a02420e23a9abfda3","datavalue":{"value":"997604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677429$EF17EE06-173A-4E74-86D3-AC204BC7E9C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$4A1BEE5F-C79C-407C-9F3D-BC75A324F3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522cace36363f72876a3277403be8d30c1ff43c0","datavalue":{"value":"subgroup separable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$15AFE139-7FED-4D0C-822F-5F04C00B716F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3dccbd93c7f1c8655c4c33bfb1cdfadbd433ac","datavalue":{"value":"finitely generated subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$96FC30D6-F8CE-44A1-B601-AF9258269E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b39b7d65b355b0fc4dcbf538488fc0547299f0","datavalue":{"value":"finite images","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$9A0A5229-C836-4A46-9C66-4D57EA7C4EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0008264a700d877ca451a2c45316cf8afdd7f55a","datavalue":{"value":"unsolvable occurrence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$F53D0F9B-902A-41A0-B25B-CC429D501FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111cf63bed7f6c94f44963344d7630176d1d61b3","datavalue":{"value":"LERF groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677429$F0AA87D8-3CAA-4CDB-86C8-27EEF4ABF2CC","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":"Q677429$4774606D-17F3-4EC7-AEE0-C759157F69B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d25876fca387be25085a4779efc05d794a4653b","datavalue":{"value":{"entity-type":"item","numeric-id":4863968,"id":"Q4863968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677429$D3142584-32A7-4CA1-A951-E8416FDBEBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd264c5dfd5c649381e4cc5b4c1e202d0f51399","datavalue":{"value":{"entity-type":"item","numeric-id":4317890,"id":"Q4317890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677429$4C072A71-8911-49D5-B757-C8E42FB65DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04b2eec9d6bfe62fe82efa74c284698108cf2d44","datavalue":{"value":{"entity-type":"item","numeric-id":6481255,"id":"Q6481255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677429$D4DAACE7-2687-4A6F-9674-AE39F5CCF917","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a407ce8515120d88f9fba739796a1770f30c329","datavalue":{"value":{"entity-type":"item","numeric-id":2852583,"id":"Q2852583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4f1dfac82dfebb58eb0e7f39c3dd2e825b7f89","datavalue":{"value":{"amount":"+0.9175086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$295E6FB2-1B68-4348-AB36-EF4F8FAD0F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8510455cb1e9f28b028aaeb2262a1103128731","datavalue":{"value":{"entity-type":"item","numeric-id":5239538,"id":"Q5239538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a6b646722da41f8f8ced80df79448e2236f4de","datavalue":{"value":{"amount":"+0.91019833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$50C81BAC-EE88-48CB-A3BE-D520A7C2C30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3abb13d29d97f7e7080b5e88016ecf7febbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":4691743,"id":"Q4691743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd99013c0596729ada3535cfd7b5aa363c57fb6","datavalue":{"value":{"amount":"+0.9038877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$6CCC662C-16B8-41A3-8741-22006B8F2E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bf64d62aed7704009869ea650938313ed53998","datavalue":{"value":{"entity-type":"item","numeric-id":1270956,"id":"Q1270956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee11f34539b7b7a014bab104c94516e88de423ff","datavalue":{"value":{"amount":"+0.9008258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$5FEC2895-2B23-41E5-B72C-108F3F1823B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4653b9bb900866b342f4e2e72c25f2268aba1859","datavalue":{"value":{"entity-type":"item","numeric-id":5928851,"id":"Q5928851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acc1fdb01155d93d3447cb5dcc3b73713f88120","datavalue":{"value":{"amount":"+0.9003632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$CB8B29FB-FB21-4626-975F-41EC5700FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606cff2b45c86c96ab421ddb0b8ac3b7c6492f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5586475,"id":"Q5586475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8c03f104291fe9720aa120b27e4f30e4e0771d","datavalue":{"value":{"amount":"+0.89666015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$3E53B2F8-79F7-4833-B8BC-743590266FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38b820c5f11b8e3ea870cb8ea3c970a1ae7e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267749,"id":"Q5267749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3655cb20e863296b4f88ac91d7267539208436","datavalue":{"value":{"amount":"+0.89365804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$F6D6CFAB-1261-4C95-8E0C-B71335AE4B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991c445fd3f944ea6dcb49fa5f4ce3e1eb457017","datavalue":{"value":{"entity-type":"item","numeric-id":3580042,"id":"Q3580042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fd60e93f58cafb21158ce859931c44b23bef48","datavalue":{"value":{"amount":"+0.89332855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$240FEE39-0273-4CCC-B734-054819D34950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3226eea65bc2d461e98c50fcb14827fc97e67999","datavalue":{"value":{"entity-type":"item","numeric-id":2359735,"id":"Q2359735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d784eba12c0b3f2f40f9f51e33790a41aae87d0d","datavalue":{"value":{"amount":"+0.890802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677429$C27CDB27-EE2D-42DD-AD10-F1BAAED5CF6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:677429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:677429"}}}}}