{"entities":{"Q2903546":{"pageid":2914271,"ns":120,"title":"Item:Q2903546","lastrevid":58051638,"modified":"2026-04-03T14:58:12Z","type":"item","id":"Q2903546","labels":{"en":{"language":"en","value":"About the metric approximation of Higman's group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6064797"}},"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":"Q2903546$9C8A934E-FB4B-408B-A8D5-F27B039110B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec1132100ff0b2201fc43e91645f9de6326c0f0","datavalue":{"value":"1251.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$AE69CEEA-2427-4567-B9C4-941C763AFF49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07637b10e617dcfc33d1860592a718965a0a9dca","datavalue":{"value":{"entity-type":"item","numeric-id":286027,"id":"Q286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$75017998-35C0-4F9C-8F47-BB4F720829C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a441d8d0715752b5706ed908d152eb5ee7e7874","datavalue":{"value":{"time":"+2012-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903546$8C0207A9-6DC4-4A24-B50B-2D05847AAFFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"810f5ad6a048d9887e275fde9d9bbfb612460397","datavalue":{"value":"https://arxiv.org/abs/1005.0823","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903546$72A9A293-1323-4652-BCA8-D2C6912CE084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$9FF2787C-E29A-4A29-89E7-B8C2F12A1E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a53d213c0597533c818e1e9049abeb0c05450e39","datavalue":{"value":"22D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$7EDACD05-AA50-4755-B6C0-1F49F433F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$E0785F21-31C5-4668-8983-76270E192156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ba89766c69ae9994bc213aa2f3f65870598e77f","datavalue":{"value":"46M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$4FE35A06-9E06-466B-B3FC-77EB014DEBE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2966aad2710c8b4ff588296d6d3c46963219f56a","datavalue":{"value":"6064797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$B2EFCDC3-5434-4D55-853F-34D218002AAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f0e105f3d68ab803aa3c3fc42f3b989e5683b8","datavalue":{"value":"Higman group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$5D2E9C02-6612-41B4-94F2-D02C5BC5078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fc867e8f5218e9e91908b8bd29ef800314b270","datavalue":{"value":"commutator-contractive invariant length functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$C42E47F0-3747-41FB-8D9A-CE5405DBF4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5bf10e34e724c08e5ca2493c5b2895eaa74c19","datavalue":{"value":"approximation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$130962FB-8FA5-458C-8442-B0AE26E223A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e677285276e9ce054e9fad58c35135defe064150","datavalue":{"value":"sofic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$4D0B698B-13DB-400E-BAC6-C9A6C11558AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2f69c6c902f2d925dfd5acdcc6ef38805627ee","datavalue":{"value":"group von Neumann algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$69EC74AD-63FF-4B53-8DEF-C56453317589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b8ad8d5c31bd121e840ef336ff3767b50a9361","datavalue":{"value":"LEF groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$E9875609-9815-4FF0-B688-F12E548FB4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$25C0C63A-FEF3-4677-9FD3-9635459413DA","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":"Q2903546$BB4FCC41-BB95-43B3-BB72-A868C23F6721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5478db2d5dcf68b943ba2a928d12aa55a7d97efd","datavalue":{"value":"W2963622310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$15CB60CA-D01D-4176-BF13-9C1A918723C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5991a37f6902b12cace30f0528bc32570449847a","datavalue":{"value":"Q61677682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$4736C01F-1E11-4241-A5E8-661114010F21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"201376942f1198d9de677898c6ceabebb8d710bb","datavalue":{"value":{"entity-type":"item","numeric-id":1359534,"id":"Q1359534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$675FF25A-12CF-4165-8601-0055D04C2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984858f57aa53b75ce88486237830d8386cc64e0","datavalue":{"value":{"entity-type":"item","numeric-id":5943442,"id":"Q5943442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$945EEBDC-25EA-4A38-A09E-2AD82EE34D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471de4e8690e13d271e42586b5ceeb10c3166818","datavalue":{"value":{"entity-type":"item","numeric-id":1232677,"id":"Q1232677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$C7FECC5E-10A2-4801-B769-9B5B6F2AB832","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":"Q2903546$A59277F6-77D4-4084-8BBA-4ABAAE36FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c1a835b33bcfa13259b54e0495678d940f4820","datavalue":{"value":{"entity-type":"item","numeric-id":1779187,"id":"Q1779187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$A0912ED2-7481-4919-9E58-4CEDB85E61BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2c4b3fd61501a510f2dbe94cadbd982e8a7a36","datavalue":{"value":{"entity-type":"item","numeric-id":958639,"id":"Q958639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$8EF54C6A-4EE7-4D85-B372-F2881B99C345","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":"Q2903546$D94CBD28-2829-4E08-A5CF-2FEA0497AA3C","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":"Q2903546$40980978-3AF7-4E8D-A3D6-6D9FFD68E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fb7aeb9b2a5cc7ac46f6b7df56817c18c02359","datavalue":{"value":{"entity-type":"item","numeric-id":1319240,"id":"Q1319240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$D0C5E2D7-8D41-49F3-B887-176FFEA9249E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59625de458805ddda356f75bf45c0519d2a99226","datavalue":{"value":{"entity-type":"item","numeric-id":4820973,"id":"Q4820973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$D8FB4C79-A63E-4BD2-8440-E981F7A9A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e48ada3aba4f148251f78c9b190452e700439f0","datavalue":{"value":{"entity-type":"item","numeric-id":3515064,"id":"Q3515064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$628BE4C6-976F-43AB-9ED1-967F4B61BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5fa2b00735f0bab2016de1325c983854c88f31","datavalue":{"value":{"entity-type":"item","numeric-id":1049918,"id":"Q1049918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$F40E817B-9153-4F79-BD39-5E0DC509C4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fafdbb9f4fbb84de1ab4af160218e652226244c7","datavalue":{"value":"10.1515/JGT.2011.102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903546$7755BCBD-C197-4511-9C1C-BE53F486EB89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b011fe813a091f40fcd270a6333115102b4040e7","datavalue":{"value":{"text":"About the metric approximation of Higman's group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903546$4952C1F3-BD3B-49DC-926D-BC00CEB8CE55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd7178ae51228ce9b16137dd68ddaa898944ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":254311,"id":"Q254311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$0FFB38F1-1168-4C32-8156-412873422E24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0714704d533f7f6323860c3a4d8f8b97ec3ce71","datavalue":{"value":"Let \\(G\\) be a group. An `invariant length function' is a map \\(l\\colon G\\to[0,1]\\) such that \\(l(g)=0\\) iff \\(g=e\\), and \\(l(gh)\\leq l(g)+l(h)\\); \\(l(g^{-1})=l(g)\\); \\(l(hg)=l(gh)\\) for all \\(g,h\\in G\\). It is `commutator-contractive' if \\(l([g,h])\\leq 4l(g)l(h)\\) for all \\(g,h\\in G\\).NEWLINENEWLINE Let \\(\\mathcal C\\) be a class of groups with an invariant length function. \\(G\\) is said to have the `\\(\\mathcal C\\)-approximation property' if for all \\(g\\in G\\setminus\\{e\\}\\) there is \\(\\delta_g>0\\) such that for any finite subset \\(F\\subset G\\) and any \\(\\varepsilon>0\\) there exist a group \\(C\\in\\mathcal C\\) and a map \\(\\varphi\\colon G\\to C\\) such that \\(\\varphi(e)=e\\); \\(d(\\varphi(gh),\\varphi(g)\\varphi(h))<\\varepsilon\\) for all \\(g,h\\in F\\); \\(l(\\varphi(g))\\geq\\delta_g\\) for all \\(g\\in F\\setminus\\{e\\}\\). E.g. the classes of hyperlinear groups or sofic groups can be obtained using a \\(\\mathcal C\\)-approximation property for an appropriate class \\(\\mathcal C\\).NEWLINENEWLINE Let \\(\\mathcal F_c\\) be the class of finite groups with a commutator-contractive invariant length function. The author shows that Higman's group \\(H=\\langle a_0,a_1,a_2,a_3\\mid a_i=[a_{i+1},a_i],\\;i\\in\\mathbb Z/4\\mathbb Z\\rangle\\) does not have the \\(\\mathcal F_c\\)-approximation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903546$8035C6BD-90CC-4721-A5E0-844FAFCDA664","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cadf66dad117b4e71517adeef78e244c1bfb93b5","datavalue":{"value":{"entity-type":"item","numeric-id":590075,"id":"Q590075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903546$E044B3E9-7158-4EAF-89AB-71BA61A9C0A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b730454a9d0d9b148c6cc702ce9aa4727ca836","datavalue":{"value":{"entity-type":"item","numeric-id":521741,"id":"Q521741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81231b7ea7231980dbbd3ec3592f1ec64c66e3bd","datavalue":{"value":{"amount":"+0.7761580944061279","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":"Q2903546$4D7E4E01-31D3-465D-B96F-42D5DCD8C547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992edee9cad0d28cf5acacb3760c08614e316d98","datavalue":{"value":{"entity-type":"item","numeric-id":282321,"id":"Q282321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059afd7c9ccf70bc19ca113111d7ab5e45567a87","datavalue":{"value":{"amount":"+0.7516016960144043","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":"Q2903546$7BEE0875-FE52-45D1-BF01-018640B4BCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abda47bb0ae7418b77d091921d5666153ae0d8d0","datavalue":{"value":{"entity-type":"item","numeric-id":4559762,"id":"Q4559762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eba85048b53de4a1ec7c367802aab86b52f5a5b","datavalue":{"value":{"amount":"+0.746141791343689","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":"Q2903546$74CFCA68-4714-4DA2-9701-B4269EC379AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74094e79bccbaf7648524809de93e057abf9c26a","datavalue":{"value":{"entity-type":"item","numeric-id":5122092,"id":"Q5122092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832ef0bf5097aa99a39733452ccefc22f8b96b61","datavalue":{"value":{"amount":"+0.7390215992927551","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":"Q2903546$B1D94184-EF9E-4566-B45F-71D0CE266BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbfc5ea47f1e3abfef66de11886bee970993dabd","datavalue":{"value":{"entity-type":"item","numeric-id":1058593,"id":"Q1058593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52f3d48d95878c73a3ae809a3fee6462e1d9376","datavalue":{"value":{"amount":"+0.7346950769424438","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":"Q2903546$C3BDBD03-41AD-48F2-A121-31945A3ADB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903546"}}}}}