{"entities":{"Q2852574":{"pageid":2863294,"ns":120,"title":"Item:Q2852574","lastrevid":51840569,"modified":"2026-01-20T07:33:34Z","type":"item","id":"Q2852574","labels":{"en":{"language":"en","value":"Subdirect products of free pro-\\(p\\) and Demushkin groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214345"}},"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":"Q2852574$6D81F6FA-FFFB-4237-8CC8-0DADE645330C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b3ba6f88853a0adfba15aa459817cb988e8fdd","datavalue":{"value":"1286.20067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$8E7F908E-86AA-4656-B10D-7F8F96D1B2EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b37acebd234c0417cebb95e026a7c6fe8e936c4","datavalue":{"value":"10.1142/S0218196713500173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$55C90B4E-ED9D-4F16-946E-DAB3E99A0FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6706c32ed3addc57f6f4ab758f9e8e9cf490ad84","datavalue":{"value":{"entity-type":"item","numeric-id":194946,"id":"Q194946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$456D38F3-31F4-4BCC-8E72-351CE379EA0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$2ABEDD65-4667-444F-8B90-3A280DAF3413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3a25b4485e8891620915ff9cb8ef365b15ff9c8","datavalue":{"value":{"time":"+2013-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852574$9943ADCB-33F2-4A31-9137-68FC39CBA3B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$C0362F84-0708-4238-944A-098781BBBB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$E157CD57-DD9C-47C5-A5AE-9C28376BBAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda8691e9d3734316675ddc4b8b477d88cc9f0ea","datavalue":{"value":"6214345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$687D9250-20BA-4111-950F-1F8993B18A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f7467ef4ce891a6bc5276331dc9f886e260c40","datavalue":{"value":"free pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$A3D891E0-1E08-4F2B-8066-2CD00B515DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$CC543546-3AE7-4963-878A-18EF8CCDB3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9622e4ca29de24fb4011265908ac959c8d15818","datavalue":{"value":"Demushkin groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$5088636D-0101-4AFA-B5D9-18D79E5C9AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1db4963c392d3bca2d9d8bba6bd93319077b0c","datavalue":{"value":"homological finiteness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$C7117256-5FC3-464E-993E-CFF495923532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$3F96240F-6873-455A-A82D-757D93F06C73","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":"Q2852574$75683F3D-7F09-44E7-A661-8BA4668927F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"599700d5d8063c85646ec12e3f9ba233e35468de","datavalue":{"value":{"entity-type":"item","numeric-id":972568,"id":"Q972568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$98215A7E-49D0-4D0A-A961-F4B8B2D5B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74a78ee7b85792d44cf08703e0da14ac9e154ec","datavalue":{"value":{"entity-type":"item","numeric-id":4819182,"id":"Q4819182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$6B2F88D4-0EF2-4581-B046-F4909AD51674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff7bec6f5625f91049e865e6418b9cee06cfc9b","datavalue":{"value":{"entity-type":"item","numeric-id":4265562,"id":"Q4265562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$65FE4777-46FA-4830-A2F2-C88F0E7936BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2630ade7c81d823ce5e3aca86dd80fca183178a3","datavalue":{"value":{"entity-type":"item","numeric-id":4522195,"id":"Q4522195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$2CAF5CFF-5CDF-4E89-82A2-6C4614A1A325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a3a5b6b652ed72657617721f43a631a419d673","datavalue":{"value":{"entity-type":"item","numeric-id":661906,"id":"Q661906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$F5AA8534-4EB6-4534-969D-E5EBBC258E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae25d233162e912872a14ecc4647a615b403d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":994283,"id":"Q994283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$EC9D4D38-1F37-4D49-9E0A-2EDA5F45F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d5bd9ed7941d89764ca3713f6a485fd08994d1","datavalue":{"value":{"entity-type":"item","numeric-id":627465,"id":"Q627465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$60D80EAD-C739-47DA-BDCB-27227F88823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e3f7dca8f83c139cc9162e83c3c4f1478daca9","datavalue":{"value":{"entity-type":"item","numeric-id":5532597,"id":"Q5532597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$A79AF886-570B-43C2-8215-03E6BB03D8EB","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":"Q2852574$77C58A36-C761-4F4E-9F9F-118EE20DB745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0d5e0d0d68d30ab94623476dbbe8e4d593798c","datavalue":{"value":{"entity-type":"item","numeric-id":1426620,"id":"Q1426620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$1D6DAA14-A65F-4208-A92D-7FD0D988CE17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f75ebaf24dd4424733662e0c4342dd1ac8e6cde","datavalue":{"value":"https://doi.org/10.1142/s0218196713500173","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852574$9103969D-3BA7-4B95-98BB-AE54464A1A55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe60979399781563b18ed0f0ebd56f5edad3fc4b","datavalue":{"value":"W2145017935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852574$F6100C8B-BF8D-4495-92C3-8784685F1801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d55768f6620916b22b134325b55bcc1f4496c7","datavalue":{"value":{"text":"Subdirect products of free pro-\\(p\\) and Demushkin groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852574$3141EADB-946D-4839-9731-2CB04FBCF29E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c6aa23057ee961d16313469065fbadf7ac69b94","datavalue":{"value":"The paper is inspired by the paper of \\textit{M. R. Bridson, J. Howie, C. F. Miller} III and \\textit{H. Short} [Ann. Math. (2) 170, No. 3, 1447-1467 (2009; Zbl 1196.20047)], where subdirect products were studied. Here the author studies a subdirect product of Demushkin groups, an important object in pro-\\(p\\) group theory and Galois theory. Demushkin groups are Poincar\u00e9 duality pro-\\(p\\) groups of dimension 2 and so from this point of view are pro-\\(p\\) analogues of surface groups. A pro-\\(p\\) group \\(G\\) is of type \\(\\text{FP}_m\\) if \\(H_i(G,\\mathbb F_p)\\) is finite for all \\(i\\leq m\\).NEWLINENEWLINE The main result of the paper is the classification of subdirect products of type \\(\\text{FP}_m\\) Demushkin groups.NEWLINENEWLINE Theorem A. Let \\(S\\leq D_1\\times\\cdots\\times D_n\\) be a subdirect product of either non-soluble Demushkin or non-cyclic finitely generated free pro-\\(p\\) groups. Suppose \\(S\\cap D_i\\neq 1\\) for all \\(1\\leq i\\leq n\\) and \\(S\\) is finitely presented as a pro-\\(p\\) group. Let \\(2\\leq m\\leq n\\) be a natural number. Then \\(S\\) is of type \\(\\text{FP}_m\\) if and only if for every canonical projection \\(p_{j_1,\\ldots,j_m}\\colon S\\to D_{j_1}\\times\\cdots\\times D_{j_m}\\) the image \\(p_{j_1,\\ldots,j_m}(S)\\) has finite index in \\(D_{j_1}\\times\\cdots\\times D_{j_m}\\).NEWLINENEWLINE Note that the condition \\(S\\cap D_i\\neq 1\\) for all \\(1\\leq i\\leq n\\) always can be achieved by factoring out \\(D_i\\) with \\(S\\cap D_i=1\\). As a corollary the author deduces that if \\(S\\) is of type \\(\\text{FP}_n\\) then \\(S\\) has finite index in \\(D_1\\times\\cdots\\times D_n\\).NEWLINENEWLINE Some results on rank gradient are also proved in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852574$9FD821BC-5DA2-46CA-A55C-8F8C0781D6CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e4b8386fca35dd298ba4bf5b360c2a39f03880a9","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852574$EE0C637E-504C-4C31-853B-8BEE3F98E181","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6888f02984d2015e6495793f98f2dac35bba8ed8","datavalue":{"value":{"entity-type":"item","numeric-id":661906,"id":"Q661906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54af059433168a0eec2ad284f25547b7d3ae39d3","datavalue":{"value":{"amount":"+0.9143492579460144","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":"Q2852574$1FD10D97-4B1B-48D6-BFCF-96DCA760ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8552da758294d46eafe410c54b7ab84c22e45c2","datavalue":{"value":{"entity-type":"item","numeric-id":2655766,"id":"Q2655766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7921baa845224c0cab75021a12f640d377445747","datavalue":{"value":{"amount":"+0.9070621728897096","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":"Q2852574$29D0234D-396F-4854-A4D1-15B669829426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545ee39c68457585c0c0fa43d9641fd213a8ff54","datavalue":{"value":{"entity-type":"item","numeric-id":5360307,"id":"Q5360307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20a725e26bad985532c96060468d27484541f35","datavalue":{"value":{"amount":"+0.848534107208252","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":"Q2852574$9D3538CD-26F3-4D45-8B4D-C01CFC96B635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"290ec55dff1430631a59a6419529cb28d071fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":3406629,"id":"Q3406629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbaf8a265dddc9dd2e2b722f84e6b17a0cde4cc5","datavalue":{"value":{"amount":"+0.7840343117713928","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":"Q2852574$289FB22F-14A6-4EDE-999B-F8D017BA458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5140d004a4b55776763bd52a06721df4e157b9","datavalue":{"value":{"entity-type":"item","numeric-id":1771998,"id":"Q1771998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dcd357da2e933b00292581c60e0b36e3082317","datavalue":{"value":{"amount":"+0.7737633585929871","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":"Q2852574$0A98488C-5199-4A80-9955-7E249E856935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852574"}}}}}