{"entities":{"Q2249562":{"pageid":2260305,"ns":120,"title":"Item:Q2249562","lastrevid":57802026,"modified":"2026-04-02T14:30:12Z","type":"item","id":"Q2249562","labels":{"en":{"language":"en","value":"On torsion in finitely presented groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312465"}},"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":"Q2249562$701BF905-91DE-4452-9CFB-CD8C1BC64808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f529bfd577e4292beb48235ca26ea7651f53e8d","datavalue":{"value":{"text":"On torsion in finitely presented groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2249562$0E9216EA-F2DF-4882-B618-D119689A1F9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8204fd5f0882e95ce562db001b717297c6d0c9b","datavalue":{"value":"1329.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$4B3238CC-BE21-4F8F-8FDD-07618C04926C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e29beef0e390c22206180c5966b3716d28adef4","datavalue":{"value":{"entity-type":"item","numeric-id":716462,"id":"Q716462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2249562$F04773F6-A991-4384-BD14-A003E32386FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a79889a2dccf6ce9969c8b5f45f575d0f2507d37","datavalue":{"value":{"time":"+2014-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2249562$17D43363-B94A-441A-A6A6-B6D6DE97316A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58b17cb8210e9371eb049400ce461ffad78dc76c","datavalue":{"value":"https://arxiv.org/abs/1107.1489","type":"string"},"datatype":"url"},"type":"statement","id":"Q2249562$4792B01E-962E-41DE-A2EA-4D93FBF0885E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4b7fb8cfd93463294b582d0d5b824cc863adf16","datavalue":{"value":"The well-known embedding theorem of Higman shows that every recursively presented group can be uniformly embedded in a finitely presented group. As a result, there is a universal finitely presented group containing every other finitely presented group.   In this paper, the author gives a new proof (algebraic) for a theorem of Oleg Belegradek which says that there exists a universal finitely presented torsion-free group. It is also proved that for a set of natural numbers \\(A\\), the following statements are equivalent: (1) For some f.p. group \\(G\\), \\(A\\) is the set of orders of torsion elements of \\(G\\). (2) For some countably generated recursively presented group \\(G\\), \\(A\\) is the set of orders of torsion elements of \\(G\\). (3) \\(A\\) is a factor-complete \\(\\Sigma^0_2\\)-set (in Kleene's arithmetic hierarchy).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$2C802842-D6EE-43D0-8A51-DAC80070EDF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$2A634B23-CD4B-46AE-BE34-EA654171D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$023042E6-625E-4916-852C-B245B01D8416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$836164C2-93BA-4EC0-9FCB-03457874AE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$92B8EFEC-1720-443F-929A-B739C23DF944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c24d45c767e008431d1ca7ea5706b13702377a93","datavalue":{"value":"6312465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$ED77D310-02D4-4912-99C2-8641FDD3F1FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71d82de3f5ba2803f53fdbd647d3da6e2097c0d","datavalue":{"value":"Higman embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$426BACC9-4C01-43A1-A774-5823C1F1023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7966d37687937262cea3c316724f80faf6cf227","datavalue":{"value":"universal finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$D87C7860-712B-4B1C-9DD8-7AE845B777AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132c05f22916079723c9311b13ceaa641f667d42","datavalue":{"value":"universal finitely presented torsion-free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$93B98442-059B-4DA6-ADCB-3B5218D7DC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$E7340D1F-9AA0-46E9-9673-AC4210DEA47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$A27C73C0-A0FA-4295-922F-3CE7AA0E255C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d372f822d413802f08f3b951d034eb6ba664bfc","datavalue":{"value":"torsion elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$738F7B68-DC51-489F-A9F7-AF8D22758EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d34d025e174540b2a3d3033ad0ce83c9789f85","datavalue":{"value":"recursively presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$74F5045B-A8B7-4C2F-ACEF-34E6F9BE66B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$0BBD98E5-C99F-49F0-BE6F-F0FCCE034798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef66338858094d283600c86d45721a132707e104","datavalue":{"value":"sets of element orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2249562$34C3DD6E-2C94-4867-8648-14AA267B8EE9","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":"Q2249562$F6ABD2E3-197A-4318-ABF8-A3C9DD9C4649","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3863b8bba51d38a55457627dbb6dc50b4d14154","datavalue":{"value":"W3099022384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$FF52AAC7-68C9-4060-A306-CCAA196C49C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a18a76e0452e7f3e234bcf185ff161483b0557","datavalue":{"value":"10.1515/GCC-2014-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2249562$2E1605C4-4FF3-4433-BB88-53808F5A31F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"980529b8b82cbc0564c2c72ae8da94e8d76a3edf","datavalue":{"value":{"entity-type":"item","numeric-id":2873314,"id":"Q2873314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2249562$5E0E3B83-D0EC-4062-8E55-E64301EAE26F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d2c4d1974831c45ac760335e1df1ebdc7e5e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1669848,"id":"Q1669848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972a88381423137be288a1f9a4488afd51384c1c","datavalue":{"value":{"amount":"+0.7734671831130981","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":"Q2249562$80AC7300-2ADB-4E1E-855A-883413B1699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d7a60ff69f4bc456488017f5412653c83318c","datavalue":{"value":{"entity-type":"item","numeric-id":3379485,"id":"Q3379485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d3c912a308bd61c6fc5b09ce1281212438e3c9","datavalue":{"value":{"amount":"+0.7520427107810974","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":"Q2249562$96F41611-B20F-4A77-9E98-378FC92E9D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea413924ae211dbe04677b27df78bf3d68d0bcab","datavalue":{"value":{"entity-type":"item","numeric-id":5489374,"id":"Q5489374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115faab7b4b19e8d8551b62463ddd6be254e9299","datavalue":{"value":{"amount":"+0.7517361044883728","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":"Q2249562$5EACAD73-77FD-437A-9FAF-667338A30DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c785666331eca745ee47659afe59ef7c215df4","datavalue":{"value":{"entity-type":"item","numeric-id":4867081,"id":"Q4867081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93138e81b55ddb22b942608ebb1d19ae7da02631","datavalue":{"value":{"amount":"+0.751502275466919","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":"Q2249562$24235B74-A436-487D-B5BB-C002CF3B1447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66173de890ec13d9f4c865d60accafdac657bc16","datavalue":{"value":{"entity-type":"item","numeric-id":664234,"id":"Q664234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93138e81b55ddb22b942608ebb1d19ae7da02631","datavalue":{"value":{"amount":"+0.751502275466919","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":"Q2249562$585359A2-BFB7-4354-AA58-BBD34E706245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2249562","badges":[]}}}}}