{"entities":{"Q1821869":{"pageid":1832611,"ns":120,"title":"Item:Q1821869","lastrevid":49055143,"modified":"2026-01-06T13:02:57Z","type":"item","id":"Q1821869","labels":{"en":{"language":"en","value":"Finiteness properties of solvable S-arithmetic groups: An example"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4000210"}},"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":"Q1821869$BB087D66-1286-43F0-9AFC-3BB70BD62F5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45391583d7628a1bd00a45b4a8cc57b5d83bd690","datavalue":{"value":{"text":"Finiteness properties of solvable S-arithmetic groups: An example","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821869$F45E2C12-118F-480B-9DD9-546042814426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"559e4bbfd3dc45114dabedd539f135149e08b3f6","datavalue":{"value":"0617.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$1F315BE3-6CA7-45A8-8094-66EC4F6785F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70c31a8c5aee8e9e7660fb93a7730abacbae8289","datavalue":{"value":"10.1016/0022-4049(87)90016-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$AEC0C5C3-ED07-4726-9F17-A1233CCE039A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$719FBF0D-F04D-4581-B38C-DF6F0E4E02A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1821869$0A87330A-A02D-470A-8744-3F54692341E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b392f5e327667e2b4cc29ddf9bab12af6bb631dc","datavalue":{"value":"A group \\(\\Gamma\\) is of type \\(FP_ n\\) if the \\(Z\\Gamma\\)-module Z admits a projective resolution which is finitely generated in dimensions \\(\\leq n\\). For example, \\(\\Gamma\\) is of type \\(FP_ 1\\) if and only if it is finitely generated, and \\(\\Gamma\\) is of type \\(FP_ 2\\) if it is finitely presented. Stallings gave the first example of a group of type \\(FP_ 2\\) but not \\(FP_ 3\\), and Bieri extended this to a sequence of groups \\(\\Gamma_ n\\) of type \\(FP_{n-1}\\) but not \\(FP_ n\\). Further examples of this type are due to Stuhler, whose groups are S-arithmetic groups \\(SL_ 2(O_ S)\\), where S is a finite set of primes in a function field and \\(O_ S\\) is the ring of S-integers. The authors exhibit similar sequences of S-arithmetic groups over number fields. The proof involves the Bruhat-Tits building; this, the authors remark, may well be the right approach for a systematic investigation.    For \\(n\\geq 1\\) and p a prime number, let \\(\\Gamma_ n\\) be the group of upper triangular matrices g in \\(GL_{n+1}(Z[1/p])\\) with \\(g(1,1)=g(n+1,n+1)=1\\). Note that \\(\\Gamma_ n\\) is a \\(\\{\\) \\(p\\}\\)-arithmetic subgroup of the solvable algebraic matrix group defined by the same equations as \\(\\Gamma_ n.\\)    Theorem A. \\(\\Gamma_ n\\) is of type \\(FP_{n-1}\\) but not \\(FP_ n\\); for \\(n\\geq 3\\) it is finitely presented.    (The negative result (that \\(\\Gamma_ n\\) is not of type \\(FP_ n)\\), the finite presentation for \\(n\\geq 3\\), and the \\(FP_{n-1}\\) property for \\(n\\leq 4\\) are known results. So the new result is that \\(\\Gamma_ n\\) is of type \\(FP_{n-1}\\) for \\(n\\geq 5.)\\) The positive part of Theorem A follows from:    Theorem B. There is a simplicial action of \\(\\Gamma =\\Gamma_ n\\) on a simplicial complex X with the following properties: (a) X is (n-2)- connected. (b) The isotropy group of every simplex is finitely presented and of type \\(FP_{\\infty}\\). (c) X is finite mod \\(\\Gamma\\).    The complex X is a subcomplex of the Bruhat-Tits building associated to the group \\(GL_{n+1}\\) and the p-adic valuation of \\({\\mathbb{Q}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$77C1FE29-69B7-4B25-9F29-3E458680163A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf1b8bf3afafa2d8d1dba1bb10a9c139d923c8b","datavalue":{"value":"20G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$240977A6-DA65-4809-9EAA-9873E9D5E9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$1D8A10E6-8796-4879-AA93-49FE5406B7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$B7E47551-1400-493A-8F67-B5484E60FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f74f1bfe7bc5707c851bdfd982cd61c83ba8e6","datavalue":{"value":"20G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$5D70BF1A-CB8D-4A77-8668-25A3A7CB93EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$B9245F8B-445A-4EF3-B468-EB7302D9B6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d441cca05a352782e8c8e9c285fa1f8dd5752682","datavalue":{"value":"55U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$0CAD5FBC-F739-4C45-91BA-A1879CBBCB67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"104307451ef3e4b0e8347dad744a71defc84b0b9","datavalue":{"value":"4000210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$2C9F1576-0F8E-402F-B8FE-11E50420C80F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ceaaf6b9bfdbafcb4c6927e8c81b45e778c6501","datavalue":{"value":"type \\(FP_ n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$C89F7DFC-72A0-4411-B24E-37D0BCB61002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"740cabfd759c9bfcf7bd654f81c2f641e9bebe89","datavalue":{"value":"projective resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$EA17E644-F697-45FC-B5FD-3D0CBB42C7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fb213292c54b57afcd193182002e1c40854571","datavalue":{"value":"S-arithmetic groups over number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$5543CD5F-D9E1-4393-B624-9335147EC5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72280ba92d51dfbb4c178da277807af42534fa","datavalue":{"value":"Bruhat-Tits building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$7AAD0119-1F39-4845-9BFE-969E685D2067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0abb7c9a4344c49d4edbde50b27c158a81b7e1a4","datavalue":{"value":"solvable algebraic matrix group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$39B9A828-3C3A-4B11-858C-BBE8033B68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808c05c220e474ef429d17a05533e11c23cae1e5","datavalue":{"value":"finite presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$B3A76F06-7C3C-4F16-9A00-94C1E4BF837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80884e667167e8902854090434ecb861a7927e6","datavalue":{"value":"simplicial action","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$01613068-20C8-4B78-9BE8-F6D942D5EC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b826843ab20a87c9262e0d558d414868bdd4a5","datavalue":{"value":"simplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$1F168EB5-1895-46A4-8128-7BFF7D200C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a653802385c1195f4990acc56b9e9ba6787647","datavalue":{"value":"isotropy group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821869$2F4007E9-B34F-4BCD-8F2A-E41CB97F38EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4990582f5645db21f0b6458d0fb8305808585c37","datavalue":{"value":{"entity-type":"item","numeric-id":191793,"id":"Q191793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$AAFA8BAA-6EF7-467C-8152-9330C2EEB535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a21c5c8b45708f74f9fd0a87f9078c070cc44787","datavalue":{"value":{"entity-type":"item","numeric-id":188539,"id":"Q188539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$871420F9-9013-44B6-99B1-5024230BB51E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"927d9484a486282fcf4f6f98854a0f08cddcf18d","datavalue":{"value":{"entity-type":"item","numeric-id":755670,"id":"Q755670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$AA2FB44B-70A2-4D3A-8A82-6223D26FE89F","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":"Q1821869$A565B088-DB34-4D0D-8356-59E116E940C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a7356c2549db796ed2c474956a61780a56f63e3","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90016-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821869$6EABC73C-F108-45C2-90B5-19F93A97BB73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26b2e06fe1537913ce6966d552c3ddab1a33182e","datavalue":{"value":"W1991439388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821869$7D9E1A27-D6A0-41CB-A8C5-A62394A3C5FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e8e937b1b32025caa939605544fee074106255","datavalue":{"value":{"entity-type":"item","numeric-id":3855376,"id":"Q3855376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$1CBFF09A-BB6A-4D54-AE7F-EEE9D23222D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3f6533534fe240aa3d88d80d63ad5f790743db","datavalue":{"value":{"entity-type":"item","numeric-id":3715325,"id":"Q3715325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$A9212401-9620-45D0-AFBE-1346A35C06A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55511a60f9a36c1e30676a120f417ce790c4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4129638,"id":"Q4129638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$98695740-BB1F-411A-9F31-5F69A0EE67F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36229733636d2699a1d0cb8472fcc38888ba21b","datavalue":{"value":{"entity-type":"item","numeric-id":1136863,"id":"Q1136863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$CAB7D9AF-30A1-4898-AE8C-807D4FE8426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0d9e1f2666cf6426fcf97e06c7ad96621ddb22","datavalue":{"value":{"entity-type":"item","numeric-id":1231001,"id":"Q1231001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$32A9F4C1-DDF2-4328-AEFF-3E65B79E7F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2af69b369d68a721c6842c78d5a56d31d0f1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4143495,"id":"Q4143495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$0663D78D-5DD5-412D-82DA-71E27C66E08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3090d15806f185f4c78f399da869613471111a6","datavalue":{"value":{"entity-type":"item","numeric-id":5903371,"id":"Q5903371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$B5E5788D-AEF2-4EE4-869F-5C71B3A54C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096e71d979c51134fe102c29007836a2a8e7793","datavalue":{"value":{"entity-type":"item","numeric-id":3967643,"id":"Q3967643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$9629263E-ED75-49B4-9BB8-EC5C275C273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260cbc891d844f33e67b8e8a720e6fa208341d90","datavalue":{"value":{"entity-type":"item","numeric-id":3718936,"id":"Q3718936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$1395FA5F-521B-4A80-A3C8-36682A7FDD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40dfa0e355e71738ea8479be10c2941727867aac","datavalue":{"value":{"entity-type":"item","numeric-id":5734509,"id":"Q5734509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$E27CD431-9E92-4531-B220-C100C053A20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b73d4b7f834775c7b291dbc21a5a0148ff5097","datavalue":{"value":{"entity-type":"item","numeric-id":3689356,"id":"Q3689356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$7CCDF028-147D-43C6-AA89-D19F0168D4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08af02bfcb8c704bd9da451888ede37199c9a06","datavalue":{"value":{"entity-type":"item","numeric-id":1138602,"id":"Q1138602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821869$E5DF118B-925C-483D-9319-43F6690BFABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f291b43fa5bfc38f26e58de010c0cc769719d8af","datavalue":{"value":{"entity-type":"item","numeric-id":1196328,"id":"Q1196328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68b3254fa7d4924e2d5752f9ab3e0fe247265fb","datavalue":{"value":{"amount":"+0.8397309184074402","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":"Q1821869$AD653439-7FDB-4603-8629-09B392935CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2711830727c1a9cd8feea2bf465806a5aaacc657","datavalue":{"value":{"entity-type":"item","numeric-id":870647,"id":"Q870647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d247046e45950586a2590fb0923f54eb7ce82469","datavalue":{"value":{"amount":"+0.8370825052261353","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":"Q1821869$58950FFC-E21F-4D59-8A59-EACB822C99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de10a73a85ec637b959dd6d7ce81c3b9fced78f7","datavalue":{"value":{"entity-type":"item","numeric-id":3718936,"id":"Q3718936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8471e0f23c772e10bccf8b4aac37325c9c42b9a2","datavalue":{"value":{"amount":"+0.8331968188285828","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":"Q1821869$B0EA16D0-AB46-4DE0-A33F-ED7E65F8D02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922be630dff0b1302f5d1280245107d1f2adbefc","datavalue":{"value":{"entity-type":"item","numeric-id":4664536,"id":"Q4664536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ace79ede161d0a800cf47abd122a787a5a4bc42","datavalue":{"value":{"amount":"+0.8197615742683411","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":"Q1821869$9137F760-A499-4607-B5F9-9FFBBF1FCBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa96bb76e68cc6198382304a7324b3eefaaef22d","datavalue":{"value":{"entity-type":"item","numeric-id":4664538,"id":"Q4664538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4ef5bea34197e0521fb87cf36ca4454bed03e1","datavalue":{"value":{"amount":"+0.8167529702186584","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":"Q1821869$D73456B8-0540-4810-BC55-6137076043F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821869"}}}}}