{"entities":{"Q2869860":{"pageid":2880580,"ns":120,"title":"Item:Q2869860","lastrevid":58038021,"modified":"2026-04-03T13:37:56Z","type":"item","id":"Q2869860","labels":{"en":{"language":"en","value":"On \\(p\\)-deficiency in groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243112"}},"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":"Q2869860$58F7D55F-5FF8-41EC-B68C-F530E3DC110D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"130b9c5c110db28fa9d6e4d0711d4f4205c5a06e","datavalue":{"value":"1293.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$0901D176-FDF0-4DBD-BA49-45E7B5C2687A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68ea5c64636fa43fee06bacdb21e5b225bafecf","datavalue":{"value":{"entity-type":"item","numeric-id":816641,"id":"Q816641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869860$BA9A1FA4-D14A-4EE1-A07E-0B3E5EC03B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c69b8199ae5afd4a45936b4f950506228e3a93a1","datavalue":{"value":{"entity-type":"item","numeric-id":408164,"id":"Q408164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869860$B2A24669-6AFF-4E75-9BAF-335087D07314","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":"Q2869860$417CDE03-0E3C-4A84-B96D-DD60E1BE8669","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b62054087ecfdb4f075fe42226b4bf080bcbce33","datavalue":{"value":{"time":"+2014-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869860$45D93589-1A1A-4FBE-BA2A-362AF364F74E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae51e1624064f6b86f5d7cf0b4cdbb4349c5d2b","datavalue":{"value":"https://arxiv.org/abs/1106.3255","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869860$4CB8D8CF-6BDC-44CD-96D7-8795B5DB9EF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$D175CFA6-DC14-422A-8B83-999F6DDDE445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$46B04E19-95CE-4DE5-A3B0-2A4427C4C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$2054D82D-281F-4139-A52A-1567F0F71811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0fa0ac135728bb7af6d8414037388c5731d84d3","datavalue":{"value":"6243112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$15B0C89C-E505-45ED-B877-C34737E0912F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b542e4114103a19b3b7415344b6b31aeb765af","datavalue":{"value":"deficiency of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$91036B66-CA66-4FC0-91BD-B278E8A817D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1055049972c1f2b984250c34b6446221905ad4a2","datavalue":{"value":"\\(p\\)-deficiency of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$280AFFE1-C802-43E2-8EAA-2779C9AB8AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43d0d60776624d67671ab31c7488eb80783aee4","datavalue":{"value":"rank gradients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$03D42995-7A8A-4CF5-9A64-0FA94A02CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$79B3AC15-FB21-4E36-8D71-1AEB8A8418C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70716e0f80984ec260cbb6ddb64459b87bf375d0","datavalue":{"value":"Fuchsian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$B927675F-0929-4245-8A78-73A11310E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d4b2c8516808e72ed5d84f27732a9e1e1eb3f72","datavalue":{"value":"finitely generated periodic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$B4B75FD4-2953-4EEF-90DA-7FDB62D6F8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0df7aed7fe94e326001c1677fc6c5717b3efdf","datavalue":{"value":"normal subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$0B9E9AB7-1BB2-4398-AEDA-51B1CDC12AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9d308cd2e6a72ef3e147c9fac1175d2c20049b","datavalue":{"value":"pro-\\(p\\) completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$A5FBA4DC-EFAF-4A72-B11D-F5E59C79BCEB","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":"Q2869860$25EA1C4E-2642-43BE-BF78-E759F0A124F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d39f2f6167758b365f4cf60bbae7dcd0e286134","datavalue":{"value":"W2047234288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$369727E6-207B-4F57-9874-708AA81F7EE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3b6b808f6da09491d11fb7318896cda059ccb37","datavalue":{"value":"10.1515/JGT-2013-0003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869860$9D62AFED-EB53-42C1-8096-F4E18D07E925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"052cb571057e463cf4fc4ca798fafa62da8d4354","datavalue":{"value":{"text":"On \\(p\\)-deficiency in groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869860$1D370DDD-9FE5-473A-B4CA-A8C615532BC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2d59b8606f6f5e8058911b549f3d6b27275f997","datavalue":{"value":"In a recent paper [J. Group Theory 15, No. 2, 261-270 (2012; Zbl 1259.20046)] the second author developed remarkably simple arguments to produce new examples of finitely generated infinite \\(p\\)-groups. The main tool in his construction is the \\(p\\)-deficiency \\(\\text{def}_p(G)\\) of a finitely generated group \\(G\\). Suppose that \\(\\langle X\\mid R\\rangle\\) is a presentation for \\(G\\) with finite generating set \\(X\\). The \\(p\\)-valuation \\(\\nu_p(r)\\) of a relator \\(r\\in R\\) is the largest integer \\(k\\) such that \\(r\\) can be written as a \\(p^k\\)-th power of an element of the free group \\(F(X)\\) on \\(X\\). The \\(p\\)-deficiency of the presentation \\(\\langle X\\mid R\\rangle\\) is \\(|X|-1-\\sum_{r\\in R}p^{-\\nu_p(r)}\\) and the \\(p\\)-deficiency \\(\\text{def}_p(G)\\) of \\(G\\) is the supremum taken over all presentations of \\(G\\) with a finite generating set.NEWLINENEWLINE A crucial role in that paper was played by the super-multiplicity of the \\(p\\)-deficiency for normal subgroup of index \\(p\\)-power, which allows to prove that if \\(G\\) has non-negative \\(p\\)-deficiency, then \\(\\Gamma\\) is infinite and has an infinite pro-\\(p\\) completion. Usually, knowing that the pro-\\(p\\) completion of a group is non-trivial tells us nothing about the pro-\\(p\\) completion of a subgroup of finite index, unless the index is a \\(p\\)-power. Quite surprisingly, the authors obtain in this paper a generalization of the super-multiplicity to all normal subgroups of finite index: let \\(G\\) be a finitely generated group and let \\(H\\) be a normal subgroup of finite index in \\(G\\). Then \\(\\text{def}_p(H)\\geq |G:H|\\text{def}_p(H)\\). In particular if \\(\\text{def}_p(G)\\) is non-negative (resp. positive), then \\(\\text{def}_p(H)\\) is non-negative (resp. positive); furthermore \\(H\\) has a non-trivial pro-\\(p\\) completion. The authors use the methods of the proof to show that some groups with non-positive \\(p\\)-deficiency have virtually positive \\(p\\)-deficiency. They also compute the \\(p\\)-deficiency in some cases such as Fuchsian groups and study related invariants: the lower and upper absolute \\(p\\)-homology gradients and the \\(p\\)-Euler characteristic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869860$CCA68E18-D2D2-4332-915A-E6FCF769EA7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2ab9b9689bc5b1c438587650d1c25b16f209ae","datavalue":{"value":{"entity-type":"item","numeric-id":314058,"id":"Q314058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869860$78873683-FF72-4627-A42C-72DB6636E664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f721d6f9ce67e7cefbb3c785c68de9810f23e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5504115,"id":"Q5504115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082952403f8d6347d94785b7f6e8eab42803fbc6","datavalue":{"value":{"amount":"+0.8046776056289673","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":"Q2869860$A4316921-DCBB-4CEB-ADD0-563A5787A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271758fff58869fff64ae394e488e6e4735fb857","datavalue":{"value":{"entity-type":"item","numeric-id":3013889,"id":"Q3013889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb125ce0de4bb51299d3b1fdd5c9046b0b3b4767","datavalue":{"value":{"amount":"+0.7985602021217346","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":"Q2869860$DD143DCD-BEE4-446D-A460-41368C9D2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e185ffdce0f7d0d5f02252986bb43f65c077cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2883155,"id":"Q2883155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23723492c124a3a5be92789bf76e37abe4bcb156","datavalue":{"value":{"amount":"+0.7836454510688782","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":"Q2869860$DB1D20BF-12A7-4232-AE3D-87D7E1FD4521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f50e7ce44845178c00caa2e831fee09444682f","datavalue":{"value":{"entity-type":"item","numeric-id":392508,"id":"Q392508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3386a578ab6a12b52983e03426ebd7f7a04323d6","datavalue":{"value":{"amount":"+0.77740478515625","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":"Q2869860$21A81BC3-0A5E-456B-B5AB-74B9DECE86EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f749c834a553118d4878e90ae78b8d8d64879b","datavalue":{"value":{"entity-type":"item","numeric-id":4867135,"id":"Q4867135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b41d9f3a52d6bc5e5f00b6b0bd387887dd7cc4","datavalue":{"value":{"amount":"+0.7701065540313721","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":"Q2869860$9B36C6E1-4CA3-4F66-9054-309B3DF4B9AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2869860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2869860"}}}}}