{"entities":{"Q7007385":{"pageid":21547272,"ns":120,"title":"Item:Q7007385","lastrevid":82860146,"modified":"2026-05-06T22:15:03Z","type":"item","id":"Q7007385","labels":{"en":{"language":"en","value":"Deficiency, relation gap and two-dimensional groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8017030"}},"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":"Q7007385$346CEFD9-06AC-4373-8CF8-592F97058908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b8ef604b9d5099f191174ea99a79c4124c02b88","datavalue":{"value":{"text":"Deficiency, relation gap and two-dimensional groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007385$FCDCC479-D9D4-4FA8-B661-B198B308BF10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3a2d8f7c86a6c2b207f3edcf6351db1ec11c92","datavalue":{"value":"1565.57022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007385$8F84EFE0-D11F-410E-B9EA-DB17EF4E6E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5600afda085df1b7d4a5fb59e3dc097d02b7ad1f","datavalue":{"value":"10.1142/S1793525323500085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007385$7C374186-6302-4832-8506-AB6C9EC6A35C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04fc1958767a14e0844352d0c6cb7f5a6dc324a","datavalue":{"value":{"entity-type":"item","numeric-id":173658,"id":"Q173658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$9A2C3145-7894-45F6-80A1-C60537FA571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02e5f1dc64cd77ff113aa87776a6ebde4ed6484e","datavalue":{"value":{"entity-type":"item","numeric-id":503272,"id":"Q503272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$CF76A98B-4FCE-4FEF-9FE3-57F4251C9230","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ec9bc5891a51e8eb25cc94f8b898331886067c8","datavalue":{"value":{"entity-type":"item","numeric-id":2797811,"id":"Q2797811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$2BD7EBE4-C296-44CB-A202-DDAC109FEFAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73717b0f7e6b2acea0ec4925c9882191b5fb6c53","datavalue":{"value":{"time":"+2025-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007385$DC0FB815-D679-4353-A6C5-1CA5C415EA7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92232021fe90ec424ff2e1da87fb8056433aea68","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:e55ee581-507a-482d-8c4c-aca619f6cfd9","type":"string"},"datatype":"url"},"type":"statement","id":"Q7007385$F241FBC9-E4D3-47C4-A32E-CDFA6C403BB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6131cfba451f5888a3bab3649a0ce68dfc965cfb","datavalue":{"value":"Let \\(G\\) be a finitely presented group with presentation \\(G=\\langle X\\vert R\\rangle\\). The deficiency of \\(G\\), \\(\\delta(G)\\), is defined as the maximum of \\(|X|-|R|\\) over all presentations of \\(G\\). Given a presentation for \\(G\\), \\(\\langle X\\vert R\\rangle\\) and a finite subgroup \\(H<G\\) of finite index, one obtains a presentation of \\(H\\) with \\(|G:H|(|X|-1)+1\\) generators and \\(|G:H|\\) relations, hence one has the following inequality \\(\\delta(H)-1\\geq |G:H|(\\delta(G)-1)\\). The authors previously proved [\\textit{A. Kar} and \\textit{N. Nikolov}, Int. Math. Res. Not. 2016, No. 3, 696--716 (2016; Zbl 1378.20045)] that if \\(G\\) has a finite classifying space of dimension 2, the previous inequality is an equality for every subgroup \\(H<G\\) of \\(G\\) of finite index. The 2D Conjecture asks for the converse of this, namely: \\N\\N\\textbf{2D Conjecture.} Let \\(G\\) be a residually finite, finitely presented group such that \\(\\delta(H)-1=|G:H|(\\delta (G)-1)\\) for every subgroup \\(H<G\\) of finite index. Then \\(G\\) has a finite classifying space of dimension 2.\\N\\NLet \\(G=\\langle X|R\\rangle\\) be a finitely presented group and \\(N\\) be the subgroup of \\(G\\) normally generated by \\(R\\). Then \\(G\\) acts by conjugation on \\(N\\) and this induces an action on the abelianization, \\(N^{ab}\\), of \\(N\\). The \\(G\\)-module \\(N^{ab}\\) is called the relation module. The \\(G\\)-rank of \\(N^{ab}\\), written \\(d_{G}(N^{ab})\\) satisfies \\(d_{G}(N^{ab})\\leq d_{F}(N)\\), where \\(d_{F}(N)\\) is the minimum number of normal generatos for \\(N\\). A presentation has \\textsl{a relation gap} if \\(d_{G}(N^{ab})\\not=d_{F}(N)\\). The relation between this relation gap and the 2D Conjecture is the following \\N\\N\\textbf{Theorem.} Assume \\(G\\) is a counterexample to the 2D Conjecture. Then, there exists a finite index subgroup \\(H<G\\) with presentation with a relation gap and this presentation realizes the deficiency of \\(H\\). \\N\\NThe authors prove an analog of the 2D Conjecture in dimensions greater than 2 and explore the 2D Conjecture for pro \\(P\\)-groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007385$254F734D-1F99-42F2-BCC6-5DF0807330E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"28a2fc1650d120faefb2584b76090d0e0589bd07","datavalue":{"value":{"entity-type":"item","numeric-id":203366,"id":"Q203366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$19162E97-82E2-48C7-B357-B336D9478BA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007385$A2F92379-E4EC-4D9B-8DF4-AD6E4728E17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7566d91374117e6c865154f26d3eec2d443097f4","datavalue":{"value":"55R35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007385$7DF92908-D1C5-4D5E-9A2F-FA255D497E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1676db52dc91a2571ec7453e2842e075265bdc31","datavalue":{"value":"8017030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007385$79CC3531-0A5C-4490-8EE4-E698A3A14931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007385$191BA9EA-67F0-4B34-8D25-151B83C14DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11afae548753dea93ce7e08d8da65945552237ed","datavalue":{"value":"relation gap","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007385$43879522-9E4C-4F4A-BE85-9EEC54C491A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1545995f675d28111f75f686af34462c24016c","datavalue":{"value":"Wall's D2 problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007385$3270E16B-39E7-43B5-983E-FA1AEE1CA32F","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":"Q7007385$29AD213B-F196-4C14-85A9-70869CCA0207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b2d5c3a67c5b23dfcc3ed06a149efada1d4c93","datavalue":{"value":{"entity-type":"item","numeric-id":664228,"id":"Q664228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$FE2517C4-ACAD-41E5-9957-A54CF59D7A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef9dd50be05075d9a6884c99d01f178372f4879","datavalue":{"value":{"entity-type":"item","numeric-id":5639012,"id":"Q5639012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$38047229-4C04-4A2B-8F34-051F271704CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f00496626f44208659e49f476b2a6b63b950c7","datavalue":{"value":{"entity-type":"item","numeric-id":5234623,"id":"Q5234623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$3DBEC783-9003-4444-8714-F054F2401B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ee69dd8341975592cdcc0f90569a38fdbdd6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2990048,"id":"Q2990048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$EAC89CAD-E5E9-41C1-94DC-83AA44F55F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e87ee7100a7408f98a40937fc567c6e19750553","datavalue":{"value":{"entity-type":"item","numeric-id":4434408,"id":"Q4434408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$BF2AE3CE-162E-472E-80C2-1BFA5E9F966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb4f74d7dcd539806cfd8a8760f312d99c8250e","datavalue":{"value":{"entity-type":"item","numeric-id":2796760,"id":"Q2796760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$EE91E739-2E3A-4ED0-B27F-F39F650EB0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104e4ef2669a64777a047abecd960ce198a0e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1166613,"id":"Q1166613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$2976FFB9-93EF-475E-AD95-AB4B622DD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1817bdef7c23db110fcaaeb671f787ad19c0ba68","datavalue":{"value":{"entity-type":"item","numeric-id":1873280,"id":"Q1873280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$9ACA989A-60D9-4891-A778-F14A2B0C1051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337dbd77131a8e5bba9f85f1e50ee7665e205461","datavalue":{"value":{"entity-type":"item","numeric-id":1164142,"id":"Q1164142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$18BF2FD9-EE48-4A61-89A5-DBE2D5123FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe833cba708c76d24d8e46b637c137e54c8dbc45","datavalue":{"value":{"entity-type":"item","numeric-id":3148984,"id":"Q3148984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$1D65544C-4A89-4BC7-9542-F61723BB54D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac81a533acb6bb0b3d09e432e65b79ad262aefc","datavalue":{"value":{"entity-type":"item","numeric-id":3628718,"id":"Q3628718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$71F7F823-2517-40E8-B45B-888FFC3CC8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa1e7c29984512e27de37bf681864ffab12e1eb","datavalue":{"value":{"entity-type":"item","numeric-id":2524079,"id":"Q2524079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007385$D7A9618C-D432-4A15-88DF-ED7392F7CCA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deficiency, relation gap and two-dimensional groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deficiency,_relation_gap_and_two-dimensional_groups"}}}}}