{"entities":{"Q1737950":{"pageid":1748691,"ns":120,"title":"Item:Q1737950","lastrevid":73599726,"modified":"2026-04-14T16:36:17Z","type":"item","id":"Q1737950","labels":{"en":{"language":"en","value":"Soficity and variations on Higman's group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047430"}},"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":"Q1737950$F2727A50-04AA-4F3E-B532-F67977817ACD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56c27a66ec2d3ea09cfcf0e85f1f056aa63856cb","datavalue":{"value":{"text":"Soficity and variations on Higman's group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1737950$C5E45836-CF88-427C-AB18-DBBD802FA920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5d00b684d0eec9afaf3e002dea1b022b52464a6","datavalue":{"value":"10.4171/JCA/26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737950$AEC0E7FE-619D-4661-9CA9-266BD70A29FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"838cb5f6299e114d08cd4a9ca9fc637342b85704","datavalue":{"value":{"entity-type":"item","numeric-id":312407,"id":"Q312407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$2EBA6489-9CF9-4717-85E7-C09A3130C798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16e8e857c612d65ce5ac018ba300952488b9a090","datavalue":{"value":{"entity-type":"item","numeric-id":1700780,"id":"Q1700780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$2DA06581-C8D3-456C-B23E-4E923DCD4CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730d806b40fda18163abb14449d7d9ec5d52953e","datavalue":{"value":{"entity-type":"item","numeric-id":591321,"id":"Q591321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$0A82DB1A-BBD5-4AD9-AF9D-269F2184A894","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"266b8489dd8355c3b5a1bcb7389460df9a47e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":509937,"id":"Q509937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$D049C9EF-E5B2-4661-A217-87C697866565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5935bb4f070aa8014d987a25d24fc56c18ba30a","datavalue":{"value":{"time":"+2019-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1737950$9F9906DA-AA48-45EE-A76E-29C2D723F65C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"447592fcfbbeb345c10758e466a42c75a518b554","datavalue":{"value":"https://arxiv.org/abs/1712.07191","type":"string"},"datatype":"url"},"type":"statement","id":"Q1737950$1A0DC21C-EED8-4235-A0F2-C9B9A3551BCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"521e25b59a971768b1f674895a5db9c4394d501d","datavalue":{"value":"Summary: A group is sofic when every finite subset can be well approximated in a finite symmetric group. No example of a non-sofic group is known. Higman's group, which is a circular amalgamation of four copies of the Baumslag-Solitar group, is a candidate. Here we contribute to the discussion of the problem of its soficity in two ways.  We construct variations on Higman's group replacing the Baumslag-Solitar group by other groups \\(G\\). We give an elementary condition on \\(G\\), enjoyed for example by \\(\\mathbb Z \\wr \\mathbb Z\\) and the integral Heisenberg group, under which the resulting group is sofic.  We then use soficity to deduce that there exist permutations of \\(\\mathbb Z / n \\mathbb Z\\) that are seemingly pathological in that they have order dividing four and yet locally they behave like exponential functions over most of their domains. Our approach is based on that of Helfgott and Juschenko, who recently showed the soficity of Higman's group would imply some the existence of some similarly pathological functions. Our results call into question their suggestion that this might be a step towards proving the existence of a non-sofic group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737950$5AA86D8C-8075-446F-93E1-2B3E4EFEF79A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737950$81F516E4-9C97-4215-A9A3-3A09BA44398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e44886d86b7e4edd90303c512458ec5cc0ca9f79","datavalue":{"value":"20F69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737950$132C4E51-1B4B-4D53-A858-44BE8BD6EB28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dcbb887eb5a1a046f7532135f790dbaa3fc6058","datavalue":{"value":"7047430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737950$E9D3C61E-FA71-4325-A9C6-6F4D5B33648A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04af5a2755c8158ab3b61f3b88107fac3c50df2","datavalue":{"value":"soficity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737950$7A65E662-881E-44F8-8650-B9F4C94D309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9aa6c140af9d11d9fcc3d59dd5e8c523b549986","datavalue":{"value":"Higman's group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737950$2F528B82-3CA9-4E21-BB3F-3BFF3F47178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6ed73bfc727b1c3fccd856b5680795101a78a8","datavalue":{"value":"residually finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1737950$29EE16FC-F8FF-4073-8018-E4EC0FDF44A6","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":"Q1737950$254F73E4-B1A3-4186-B727-C49BDEE9557B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38537278164d829370179c13c04f8844934566c1","datavalue":{"value":{"entity-type":"item","numeric-id":2346103,"id":"Q2346103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$88E93D07-D16A-4ACC-A64F-600F3ECA5F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25429efdb04f8e8f4845098d3e8d212a4e425f","datavalue":{"value":{"entity-type":"item","numeric-id":2348139,"id":"Q2348139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$D435A1EF-8F22-4772-A276-92BFF1CDB000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfa7c626d5cfc35bd7b6c8f0fa07def35ee8006","datavalue":{"value":{"entity-type":"item","numeric-id":5818508,"id":"Q5818508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$33DDED15-242F-45D3-95B5-06216505FAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443160847b6e82866f8bcf14bb93b6595485dc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2883477,"id":"Q2883477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$40892724-B92F-402C-ACF6-1959D70E8922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73889cdb443412fe545a36d459727f6a1ad904d","datavalue":{"value":{"entity-type":"item","numeric-id":1763893,"id":"Q1763893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$0A7416B6-79D4-4EDF-A09A-91BDE66FE8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922284080e5a132fe75614b538dc8d89e6ea995b","datavalue":{"value":{"entity-type":"item","numeric-id":3104450,"id":"Q3104450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$7ED746ED-FB7A-4AD4-8D46-7A2182F31D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510482e8348dceafc74743b9a495015a8f2e881","datavalue":{"value":{"entity-type":"item","numeric-id":2909484,"id":"Q2909484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$75B69D47-AA13-4E4B-AC3A-092BF63D1B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46b2b5275f982e88197e39ec2af03fb683dd586","datavalue":{"value":{"entity-type":"item","numeric-id":5402443,"id":"Q5402443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$D84B9EDF-5955-447B-8A53-90C2086ED234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a5685255fbd052966db1470e61ca3e400667a","datavalue":{"value":{"entity-type":"item","numeric-id":1290359,"id":"Q1290359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$89A5ECB2-7A81-451A-8DA0-9830AD8CEDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48614dff2c491808daadfdb5c23810a57721cad","datavalue":{"value":{"entity-type":"item","numeric-id":3241234,"id":"Q3241234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$9B300DF6-13B3-4415-A5B7-47E3DE9ED692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3c5ea79b5c71930899953a51c5cf9ed288b23","datavalue":{"value":{"entity-type":"item","numeric-id":4645101,"id":"Q4645101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$E3E76427-98CB-4062-BBD3-7202E3DCE4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39b5869d83034d553bc57e556881374a03bb7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5803291,"id":"Q5803291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$442AC56A-A6C6-4899-9DFD-15087BA61EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12438f0aefc74682f98d487a28487b2e9a59e71","datavalue":{"value":{"entity-type":"item","numeric-id":1590954,"id":"Q1590954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$81AEFBEC-6830-42E2-A4E5-2600239CE27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59b024a0f3d78df4fda0f4ceeb909cec6b42c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2851615,"id":"Q2851615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$4DFD4732-9804-4BD6-AD1D-D65BD72C531D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97255db8e8e497af87247137f1c2e762ac59eff","datavalue":{"value":{"entity-type":"item","numeric-id":2360705,"id":"Q2360705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$6F82D762-383B-43D5-8772-5751DBDA5552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d16d29f6398432e5cc5b776684f4616e9d3f9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5504172,"id":"Q5504172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$85CD8AF5-98E9-41E9-947E-D7CFB454C0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500dc278c7aac39909301f983432167674f269f4","datavalue":{"value":{"entity-type":"item","numeric-id":5122092,"id":"Q5122092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$888F13DF-302D-4121-81A5-61F70AC60C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c5145188a8142145ada96d626cc0345aebc1af","datavalue":{"value":{"entity-type":"item","numeric-id":2903546,"id":"Q2903546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$6B447C35-C3B0-40B9-ABA7-97CD9767052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e54e6ab14374cbf98f369339f03b7c55d4c58e","datavalue":{"value":{"entity-type":"item","numeric-id":2736862,"id":"Q2736862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1737950$AB5B666E-CE51-4C92-A2A2-9D727318D585","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a3713da40515e817bcb3a223ff2c33318a02adf","datavalue":{"value":"Q128469943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1737950$FF59EB8B-199B-4F8F-A4D8-A9254E940318","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b672aa51a6903dea14394d30406ebb358c791d08","datavalue":{"value":{"entity-type":"item","numeric-id":4645101,"id":"Q4645101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a37262c1f07771f5469188b9d86d1969dd972f","datavalue":{"value":{"amount":"+0.8295645713806152","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":"Q1737950$B1ABD4ED-9194-46A5-9E67-A5CFE6B4E390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b010e5e7bdd85417ff347a3085bd048107b183","datavalue":{"value":{"entity-type":"item","numeric-id":471287,"id":"Q471287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4fc8287b8a4ce4dca3b117381bfea482919709","datavalue":{"value":{"amount":"+0.7916403412818909","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":"Q1737950$BC824F3C-B174-4F8C-815C-F19C13820A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f07ce0a1ac96e754ddf61558db79933aac2b9a","datavalue":{"value":{"entity-type":"item","numeric-id":517060,"id":"Q517060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc41f079d9b7582ecae38245698ceaba40433b7","datavalue":{"value":{"amount":"+0.7766779065132141","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":"Q1737950$434CBEE3-6B62-4EF5-BBA5-F89A258E43F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db840294d0124feaca2614d51df97093ab4ccdb","datavalue":{"value":{"entity-type":"item","numeric-id":540421,"id":"Q540421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb311d34478fd0e37e1808fe7e92ead2b49876c","datavalue":{"value":{"amount":"+0.7717257738113403","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":"Q1737950$C22A9059-25B0-460E-9417-4F00C3F986AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ced08bd76f8ce74fba2d8948080d76cffbc605f","datavalue":{"value":{"entity-type":"item","numeric-id":5471275,"id":"Q5471275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4921d13757f496a226ac0a8981ebb6c96e0d115d","datavalue":{"value":{"amount":"+0.7667980194091797","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":"Q1737950$6FACC06F-55F6-414A-808C-CA41EF9FB250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soficity and variations on Higman's group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soficity_and_variations_on_Higman%27s_group"}}}}}