{"entities":{"Q5945130":{"pageid":8121932,"ns":120,"title":"Item:Q5945130","lastrevid":47681200,"modified":"2026-01-02T10:17:45Z","type":"item","id":"Q5945130","labels":{"en":{"language":"en","value":"Pro-finite presentations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656054"}},"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":"Q5945130$1DFA81E0-0C71-429E-84F4-48E108E17DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10d0a76e206b267be34f7cefca80e32152f1cdae","datavalue":{"value":{"text":"Pro-finite presentations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945130$78DA7F59-03D8-4E70-8831-07D732B99B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d5bf557fabb66e691480ab34c9bac409b9578d2","datavalue":{"value":"0985.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$6A9E0A90-30C6-48DC-9C29-B5A9DEED23B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ed41a9e4cc70247269c42e4e3e46c27cbb4acf","datavalue":{"value":{"entity-type":"item","numeric-id":186422,"id":"Q186422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$8821295C-C66F-4A3B-850F-E491D087A318","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$E89F2061-3ABD-4879-9AE7-8A72A3737A87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bd22e9bdafff3cc4af9c050513c24081452898e","datavalue":{"value":{"time":"+2002-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945130$AF38F586-5C75-41D1-8D0A-A803E3E456F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98e522aacd238906e5f53b779bbecd782ec3f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":591938,"id":"Q591938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$A818E258-6320-4D8E-93D5-24E66F3EDD5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$060A7220-C555-459E-85D7-A0A1E22D25B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$2354B23A-947D-47B5-86C2-40E02D86919B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc4012f0cd2de523a03a9ef4297b130c1ed4fd1c","datavalue":{"value":"1656054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$EB1DFFFE-2373-43F7-9F3D-F0A85EAF57F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec947f255e54c2548a062cd856c96f7dca15a8b","datavalue":{"value":"finitely generated profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$99DDD069-733C-40F8-9495-294A33D0874D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$BA94CB0D-7FF3-4173-ACDB-8444DDA4DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c36a534b34732dad3013e32494369f3d9230f9","datavalue":{"value":"numbers of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$9FDC19D9-7119-471A-97AE-BF7EBB2C7961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a24de2463b4ae79a52db0d18df904d2d0d7f458","datavalue":{"value":"numbers of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$D9BC4947-E558-40CC-B707-77D0E14E6306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899d37a4df1e01462d6155d67fbd993c8c1be43e","datavalue":{"value":"\\(d\\)-Abelian-indexed groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$45984DFC-249D-48EF-8039-9924E4226485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad6f0d8667a7a9695141fce8c68236e52fbca579","datavalue":{"value":"finitely presented profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$79586657-AF85-45A0-97EB-AADC3E9A3E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a6b0d9d9d5510ec6bae3b8ec9cc887cbda786b","datavalue":{"value":"pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$7E01A4F3-9E54-41BE-9AE1-225F56516967","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":"Q5945130$29010BA9-5278-45A1-803D-A01F86FAE846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d364b7c3b6181844f8cfebe962fb4e95c0fe9e0","datavalue":{"value":"https://doi.org/10.1006/jabr.2001.8805","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945130$55B03BB0-3058-4EA6-817C-97411672B139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9a911bded439a3d8407249348c9675195aeb752","datavalue":{"value":"W2041269336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$D0639121-22ED-4E10-ACE5-B43730C35A1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7424e80a2bd14729d3df233e499d11f6da7f0166","datavalue":{"value":{"entity-type":"item","numeric-id":5343415,"id":"Q5343415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$CE913363-B214-483F-A270-52A5A69DDDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8944f3412b4e5f108f35cdc3c3ef8fb0225bdad8","datavalue":{"value":{"entity-type":"item","numeric-id":2625151,"id":"Q2625151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$8C66D116-B089-49FD-A3BB-68FFDA2DB7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf6bacb374df32f4911b64b21125cc27788a05f","datavalue":{"value":{"entity-type":"item","numeric-id":5584601,"id":"Q5584601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$A57B379A-9CAA-4D7E-A261-88147AA5CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c0b685389a8438f7f005ba501bef03f0b75b0","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$AA42D64A-4E69-449D-A664-96664B103D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5354fd89adb434441a48b2a52f54cb63c906ad67","datavalue":{"value":{"entity-type":"item","numeric-id":3234175,"id":"Q3234175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$86D366FE-9489-4B69-AE6E-429647AED21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d766995c886dfc4fd0dd46a605c07b2cd646294d","datavalue":{"value":{"entity-type":"item","numeric-id":5564380,"id":"Q5564380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$BE1A17C8-DFAB-44F9-9ABC-7B58EBC94391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e27d11142482bc7b3973c58935c847bc35759","datavalue":{"value":{"entity-type":"item","numeric-id":4133834,"id":"Q4133834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$D49C6F8C-E7BB-446C-9898-24600CFFA8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87898b8c2c15fe101fc234d3b2cb490a8c39cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4705877,"id":"Q4705877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$24F202FD-4B1D-4F9A-98DD-8A6DD56645A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0548d46b3409e7cc15f9d7792d9d27ed80882672","datavalue":{"value":{"entity-type":"item","numeric-id":5936156,"id":"Q5936156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$38F6E184-B0E5-4232-BF7D-CAA5FD169BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$FF436507-21DE-4112-B7D0-C7C7F2CE0CBF","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":"Q5945130$B8293CF1-5BE0-4815-9718-EDD43D1327CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1b7df0451208fc0c417e310d07eaf2df36634","datavalue":{"value":{"entity-type":"item","numeric-id":4375859,"id":"Q4375859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$52315062-487F-44C3-9C1B-09B3286B3119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781be988cddb078191de6d4b5b39f9a8f2612194","datavalue":{"value":{"entity-type":"item","numeric-id":5803289,"id":"Q5803289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$8D516EBA-F897-4141-B7DD-5DF6303538F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0420c2ea60bec739d14dc0bae9b65928f940f64c","datavalue":{"value":{"entity-type":"item","numeric-id":5625306,"id":"Q5625306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$F3F1549D-90ED-4BB5-B993-609A529A61E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef17aad2a91908412751cf95599bfd2609ff976","datavalue":{"value":{"entity-type":"item","numeric-id":4349107,"id":"Q4349107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$17F19706-6C41-476A-989C-B980FD4D91E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6719a00804bfa75828a1588a5a1b4f54becce338","datavalue":{"value":{"entity-type":"item","numeric-id":4217279,"id":"Q4217279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945130$DD975C1B-0231-48FC-9896-AC6E8AA577E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5fa711090548474a968338b28d202c01144f81f","datavalue":{"value":"10.1006/JABR.2001.8805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945130$C12411AF-9A18-4C1C-B6C8-EC1B94BD3CC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf3b45881c0686ad1f79576ff49511adeb92a7a0","datavalue":{"value":"With this paper the author starts to present a systematic presentation theory for profinite groups. He begins by considering three questions due to \\textit{K. W. Gruenberg} [Relation modules of finite groups, CBMS Reg. Conf. Ser. Math. 25, AMS, Providence, RI (1976; Zbl 0327.20019)]. In the profinite group setting the first question is as follows. Given two presentations of a finitely-generated profinite group \\(G\\), denoted by \\(1\\mapsto R_i\\mapsto F\\mapsto G\\mapsto 1\\) for \\(i=1,2\\) where \\(F\\) is a finitely-generated free profinite group, is \\(d_F(R_1)=d_F(R_2)\\)? (\\(d_F(R)\\) denotes the minimal number of generators of \\(R\\) as a normal subgroup of \\(F\\).) The answer is positive. The second question considers \\(r(G)\\), the minimum number of relations needed to define \\(G\\). Is \\(r(G)\\) realised by a minimal presentation (i.e. one in which \\(d(F)=d(G)\\))? Again the answer is positive. To prove these results the author makes use of a lemma of Gasch\u00fctz. The author proves that there is only one way up to an automorphism of \\(F\\), to present \\(G\\) as a quotient of \\(F\\). The answer to the first question follows immediately, the second needs an additional argument.NEWLINENEWLINENEWLINEThe third question of Gruenberg asks whether \\(d_F(R)-d(F)\\) is independent of the presentation \\(G=F/R\\) and is therefore an invariant of \\(G\\)? The author proves that this is true for \\(G=\\widehat F_d/R\\) unless \\(R=R'\\). He then proves that the condition \\(R=R'\\) is equivalent to \\(G\\) being a \\(d\\)-Abelian-indexed group, where a profinite group \\(G\\) is called \\(d\\)-Abelian-indexed if \\(d(G)=d\\) and for any open subgroup \\(H\\) of \\(G\\), \\(H/H'\\cong\\widehat\\mathbb{Z}^r\\) where \\(r=1+(d-1)[G:H]\\). An example of a \\(d\\)-Abelian-indexed group is the free pro-solvable group \\(\\widehat F_d(S)\\). Furthermore, a \\(d\\)-Abelian-indexed group \\(G\\) can be mapped onto \\(\\widehat F_d(S)\\), therefore the collection of such groups is quite limited.NEWLINENEWLINENEWLINEThe author goes on to give a cohomological characterisation of finitely-presented profinite groups. The result extends the well-known result that a pro-\\(p\\) group is finitely-presented if and only if \\(\\dim H^2(G,\\mathbb{F}_p)\\) is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945130$F4A9DC42-BC37-4D0E-998B-5E0F61B2B477","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":"ae46de9227bdc49ac640d65346a502a0ecf3de93","datavalue":{"value":{"amount":"+0.7754372358322144","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":"Q5945130$570D9426-A089-4DBF-BA6F-918C76D174F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582bec6e8e937bc64bf8660f9fb2c3f21e85ee48","datavalue":{"value":{"entity-type":"item","numeric-id":2909491,"id":"Q2909491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a33d429295a26721105b8c45dbebb025e49a23","datavalue":{"value":{"amount":"+0.764661967754364","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":"Q5945130$859BF981-0B6D-42C7-B1B8-6315669DD861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41afad2792b7e2e954a7954f99d370501e97b797","datavalue":{"value":{"entity-type":"item","numeric-id":2469769,"id":"Q2469769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5bb331943c5b292f6b80e5d473e03ac3cc9ecf0","datavalue":{"value":{"amount":"+0.7589731812477112","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":"Q5945130$AB3780DE-5757-49D4-9AB5-E3FC3D8B9ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0cbdc738d9d1a6285b85209f2692f6877ea43","datavalue":{"value":{"entity-type":"item","numeric-id":2431539,"id":"Q2431539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cc1a3581d2dc7de9f62999340fb5bfa879dd8c","datavalue":{"value":{"amount":"+0.7554166316986084","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":"Q5945130$09BB3291-BCE3-4380-8EFF-78DE0F4B9691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceea339ab930c319ca11d641582902251478af6b","datavalue":{"value":{"entity-type":"item","numeric-id":1814173,"id":"Q1814173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecfaca1d2bbbb87a0ba97ef554c47ca8297acf8","datavalue":{"value":{"amount":"+0.7449520230293274","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":"Q5945130$A97488BC-3CCF-4551-AE42-65CB6EAFF5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945130"}}}}}