{"entities":{"Q1815023":{"pageid":1825765,"ns":120,"title":"Item:Q1815023","lastrevid":73020480,"modified":"2026-04-14T09:26:26Z","type":"item","id":"Q1815023","labels":{"en":{"language":"en","value":"The \\(FP_ m\\)-conjecture for a class of metabelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 941287"}},"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":"Q1815023$6D007318-D1E2-4690-AD5D-6351F0E9BEB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b77e42f7579728adf31b561db7a4c6d1213844f","datavalue":{"value":{"text":"The \\(FP_ m\\)-conjecture for a class of metabelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815023$12E15781-C0DA-434F-8346-493949274729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e35a7315b68d05e18138e0286e42e7658a198e97","datavalue":{"value":"0862.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$853BE4DA-BB95-414A-90F5-DC42B496D495","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":"Q1815023$822A2D6A-DEDB-4877-B41E-869982CDF1C4","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":"Q1815023$F9A61759-9585-4051-8A2C-5DAAA9A4864E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adb15fff212634ed49f2d35e429dbbe9bdd3c551","datavalue":{"value":{"time":"+1997-05-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":"Q1815023$93E9BC34-843C-41F5-A22C-8D82D56C8A35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0314007c904fd519bde2b1e1e2b4b7ddef969a52","datavalue":{"value":"The main results of this paper contribute to R. Bieri's conjecture which describes the homological property of finitely generated metabelian groups of being of type \\(FP_m\\) in terms of a geometric property of the invariant \\(\\Sigma^c\\), introduced by \\textit{R. Bieri} and \\textit{R. Strebel} [Proc. Lond. Math. Soc., III. Ser. 41, 439-464 (1980; Zbl 0448.20029)]. Recall Bieri's conjecture: Assume \\(G\\) is a finitely generated metabelian group, \\(A\\) an abelian normal subgroup of \\(G\\) with abelian quotient, and \\(m\\geq 2\\). Then the following statements are equivalent: (i) \\(G\\) is of type \\(FP_m\\) over some nonzero commutative ring. (ii) \\(G\\) is of type \\(FP_m\\) over \\(\\mathbb{Z}\\). (iii) The subset \\(\\Sigma^c_A\\) of the sphere \\(S(G/A)\\) is \\(m\\)-tame.   The first evidence for the truth of the conjecture was a theorem by R. Bieri and R. Strebel [op. cit.] which established the conjecture for \\(m=2\\). \\textit{H. \u00c5berg} [ibid. 52, 269-304 (1986; Zbl 0588.20026)] proved the conjecture for \\(m\\geq 2\\), but under an extra hypothesis on \\(G\\): If \\(G\\) has finite Pr\u00fcfer rank then the conjecture is true for every \\(m\\geq 2\\). Continuing \u00c5berg's work the author proves Theorem A. Let \\(G\\) be a finitely generated group with a normal subgroup \\(A\\) and an abelian quotient \\(Q\\simeq G/A\\) such that \\(A\\) is a torsion abelian group and has Krull dimension one as a \\(\\mathbb{Z} Q\\)-module. If \\(A\\) is \\(m\\)-tame as \\(\\mathbb{Z} Q\\)-module then \\(G\\) is of type \\(FP_m\\). Theorem B. Let \\(A\\to G\\to Q\\) be a short sequence of groups with \\(G\\) finitely generated, \\(A\\) and \\(Q\\) abelian, and either the extension is split or \\(A\\) is a torsion group. If \\(G\\) is of type \\(FP_m\\) then \\(A\\) is \\(m\\)-tame as \\(\\mathbb{Z} Q\\)-module. As a consequence the author proves Bieri's conjecture for extensions with \\(\\mathbb{Z}\\)-torsion Krull dimension one \\(\\mathbb{Z} Q\\)-module \\(A\\). Recently \\textit{K. U. Bux} [Finiteness properties of certain metabelian arithmetic groups in the function field case (submitted)] has proved the last consequence in the case where \\(A\\) is an \\(S\\)-arithmetic ring of prime characteristic and the extension is split.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815023$203C3E10-67CE-40AB-8869-35D91F656587","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$B847FE9C-AE60-439D-B09C-3BF55088FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$319653E1-26DE-4D52-BF0F-CBD0682365E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$DA952B30-E4CF-41B8-9FCC-D4B16FB32534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9432bfa258ca6f901cbe1c1f1202f83bee1c1e20","datavalue":{"value":"941287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$17023926-60E7-4808-8387-FB6048701524","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb815813f1ec69c500fabe9e9912fefcaa748b0d","datavalue":{"value":"finitely generated metabelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815023$6083EF8F-113C-413B-B571-AB92000636F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c92ac88f2c653687308dc79cc0cf0ab0881917","datavalue":{"value":"Bieri's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815023$9227CCE0-8619-41A7-986B-02BE9DCCEB76","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":"Q1815023$BA286BDC-9FA5-404D-8A30-D8AD3DA29D2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d27777f4bec830e6955475ce8c9d137b21afe1d","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0306","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815023$F75700C0-5831-4D53-8676-177AB90DE48B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f173e880bd664ab5b280a9caa44b54b12152b1c","datavalue":{"value":"W2056721077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$D23129C4-DED7-4E1A-8973-1AAB183E4359","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a30890d4ad841b6f9cc891430a5a16676a15842c","datavalue":{"value":"Q123078652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$B3F82A3F-0496-481C-91B9-1A127ACD919F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44e2483360b8e70fcf7f73025f43c5451788745","datavalue":{"value":"10.1006/JABR.1996.0306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815023$4A8B4534-0F52-4231-AAA2-5E70122150AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc9b1db838b98efd8874191244b391b0af71bcd","datavalue":{"value":{"entity-type":"item","numeric-id":3151070,"id":"Q3151070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab1cbfa8aa7b48e92e743bd88dfd5f100cf5def","datavalue":{"value":{"amount":"+0.93402004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$05F966E8-7277-498A-8D27-0109F4E3575B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1fbaa69f578f9514dc51130e9a0c0a0911c84e","datavalue":{"value":{"entity-type":"item","numeric-id":794761,"id":"Q794761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d686f028dc77b06335b78cfbf723729d857f6441","datavalue":{"value":{"amount":"+0.91544867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$8BC857FF-75CD-464F-B3DC-AEAC159D007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184a93712c833b0e7774f028dc94e0fac5beca20","datavalue":{"value":{"entity-type":"item","numeric-id":640024,"id":"Q640024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617bd739b984bcbf217c4178485b0ff30ef800c1","datavalue":{"value":{"amount":"+0.9126218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$08E38FD4-8264-424B-8768-B7367DB7DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fdfe2b6405bfef1e0b352c167016ace6287f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1427402,"id":"Q1427402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fe0abab0f540271312153e8e361a1cb9f94640","datavalue":{"value":{"amount":"+0.9107041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$00C7FBAD-1E3D-4ACD-B4E0-F72229E38F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d940e41c5cfca8678d452009b576628e833081","datavalue":{"value":{"entity-type":"item","numeric-id":4522195,"id":"Q4522195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e4e06eb93059bb60901d75b879224b1ba21fc1","datavalue":{"value":{"amount":"+0.90841657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$07A254DB-8770-463E-A650-CC838B6FDDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad18d7e7f454ed3e2156d9837be19aaaffb282e2","datavalue":{"value":{"entity-type":"item","numeric-id":5235128,"id":"Q5235128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f045e55bb0ab7ac2c9d926e4610547d450a46996","datavalue":{"value":{"amount":"+0.9068532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$05943DA7-BE0E-43E6-A6BD-61DE83B6521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a78102d05894dec64ae53b4695257c371013e9","datavalue":{"value":{"entity-type":"item","numeric-id":5816127,"id":"Q5816127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c379f912bce1718076bb5f75e873e570f7c952a4","datavalue":{"value":{"amount":"+0.9044886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$8E5CCD89-07CD-42C6-BD1A-1037ECD1FB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bbde70cd2565a5f576c9873663e4cfaa6c538d","datavalue":{"value":{"entity-type":"item","numeric-id":6174105,"id":"Q6174105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabfe916a03007e3e5d562d7f5cd56920751f5c6","datavalue":{"value":{"amount":"+0.90406245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$0C72603A-5D6A-4B93-9E26-219DED6952F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0169dd2981458ce277400cf7e83603acadc2cd24","datavalue":{"value":{"entity-type":"item","numeric-id":1969359,"id":"Q1969359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cebe6ff0280ee2a041da8712ef8dd159ed9f3bc","datavalue":{"value":{"amount":"+0.89696753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$E028759A-1996-4966-852B-F22F8DA70C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89f0616119b39a5224699d9851ab6faf1c13621","datavalue":{"value":{"entity-type":"item","numeric-id":1702696,"id":"Q1702696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cde9ff0278ce0e442a0a354a6a74bae11de92c","datavalue":{"value":{"amount":"+0.89538336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815023$0B810AEA-ED3A-4031-AB9A-1343D18D3B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(FP m\\)-conjecture for a class of metabelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(FP_m%5C)-conjecture_for_a_class_of_metabelian_groups"}}}}}