{"entities":{"Q1313815":{"pageid":1324565,"ns":120,"title":"Item:Q1313815","lastrevid":68433594,"modified":"2026-04-12T23:40:40Z","type":"item","id":"Q1313815","labels":{"en":{"language":"en","value":"On groups of type \\((FP)_\\infty\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500599"}},"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":"Q1313815$350827EB-A442-4176-99D8-62C4B6B24B23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829f928aa6f4fe26ea6ab35e8b94b6b6de7895d3","datavalue":{"value":{"text":"On groups of type \\((FP)_\\infty\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313815$98B2C03F-38D2-48F8-96BB-B65248782DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e68f5ef7f195452f69b210029a5d0c0d05662746","datavalue":{"value":"0816.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$886C0EB5-592D-4E2E-B082-73EEB4946A04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb394caf40f1748321a0d09287e1c3744b8ae77","datavalue":{"value":"10.1016/0022-4049(93)90136-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$C858C359-D6AF-4469-80AE-F45D9D157C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd036693c4f8aa2a8894e751e5dd583fa4052251","datavalue":{"value":{"entity-type":"item","numeric-id":897061,"id":"Q897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$3D3A0F74-F9E4-43A6-99CF-3E5B99C21907","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":"Q1313815$B7FE7E26-C87A-4A7B-8D30-2438BC611707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c077b2ef44f83af4e5178264e7e3ce27cb9500d1","datavalue":{"value":{"time":"+1995-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313815$8CD333F0-FBBB-420C-9B58-707A25D04EB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4a25a69f855af621cdb25cd3a645c30b07c86a9","datavalue":{"value":"If \\(\\mathfrak X\\) is a class of groups then \\(L{\\mathfrak X}\\) denotes the class of locally \\(\\mathfrak X\\)-groups: these are the groups for which every finite subset is contained in an \\(\\mathfrak X\\)-subgroup. Further, \\(H{\\mathfrak X}\\) denotes the smallest class of groups containing \\(\\mathfrak X\\) with the property that whenever a group \\(G\\) acts cellularly on a finite-dimensional contractible complex with all isotropy groups in \\(H{\\mathfrak X}\\), then \\(G\\) itself belongs to \\(H{\\mathfrak X}\\). We say that a functor \\(F\\) between two module categories is continuous if the natural map \\({\\underset \\longrightarrow  \\lim}_ \\lambda F(M_ \\lambda) \\mapsto F({\\underset \\longrightarrow  \\lim}_\\lambda M_ \\lambda)\\) is an isomorphism for all direct limit systems \\(\\{M_ \\lambda\\mid\\lambda\\in\\Lambda\\}\\) of modules. Let \\(G\\) be a group, \\(K\\) a non-zero commutative ring, then a \\(KG\\)-module \\(M\\) is said to be of type \\((FP)_ \\infty\\) over \\(KG\\) if and only if there is a projective resolution \\(P_ * \\twoheadrightarrow M\\) in which every \\(P_ i\\) is finitely generated as a \\(KG^*\\)-module. The group \\(G\\) is said to be of type \\((FP)_ \\infty\\) over \\(K\\) if and only if the trivial module \\(K\\) is of type \\((FP)_\\infty\\) over \\(KG\\).   Theorem A. Let \\(G\\) be an \\(LH{\\mathfrak X}\\)-group and let \\(M\\) be a \\(KG\\)-module. Suppose that the functors \\(\\text{EXT}_{KG}^ \\ell(M,-)\\) are continuous for infinitely many non-negative \\(\\ell\\). Then the following are equivalent: (1) \\(M\\) has finite projective dimension over \\(KG\\); (2) \\(M\\) has finite projective dimension over \\(KH\\) for all \\(\\mathfrak X\\)-subgroups \\(H\\) of \\(G\\).   Corollary. Let \\(G\\) be a torsion-free linear group. Then every \\(\\mathbb{Z} G\\)-module of type \\((FP)_ \\infty\\) has finite projective dimension. In particular, if \\(G\\) is of type \\((FP)_\\infty\\) then \\(G\\) has finite cohomological dimension.   Theorem B. If a group \\(G\\) belongs to \\(LH{\\mathfrak F}\\) and is of type \\((FP)_ \\infty\\) over \\(\\mathbb{Z}\\), then there is a finitely generated subring \\(S\\) of \\(\\mathbb{Q}\\) such that \\(G\\) has finite cohomological dimension over \\(S\\), and there is a bound on the order of the finite subgroups of \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$8550800E-12FB-4FF1-892B-D249A01BEA8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$6568BE6F-8435-4C75-AD06-8C4C96E2B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$6EC646F3-38BB-470D-B922-98073D38B447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"64c891c8db113a89f5535e38d0fdd8c3bd61e10c","datavalue":{"value":"20E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$CCA23F0C-2D70-4B4E-9198-6E7B6FF2684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a1a4186812d01433313a8948e0d5c4282e52788","datavalue":{"value":"20F19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$BBBCF9CD-F4A0-44AD-B7DE-7487421995A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$EE88E49F-1FD8-4AA4-92F6-29144D19829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f78d41e47725ec1bd07b77db78bbc1730df4db63","datavalue":{"value":"20F38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$1A96719D-D633-4848-9303-EF86FC46A224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$7418B99D-B634-419F-B4EE-F85FAEBD07C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"255dacb8b6c56948b21ecfe203b614e413ee9ccc","datavalue":{"value":"500599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313815$C127873B-EB2B-428B-8D6E-58AB08E03DD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff3952e8cac1ff7f49b919702d7d4b2c36a24e5","datavalue":{"value":"class of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$D17F6E4A-8242-44E6-B6C5-647BC223C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc565a84e9db546eb06810f1a4e9dc5417d514d","datavalue":{"value":"finite-dimensional contractible complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$0EBC6E43-42C4-422A-A858-897924CD0E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b8ad2ce7072c6e7f389248b3b644d2b9dd7f3f","datavalue":{"value":"isotropy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$95D022EB-F4EE-4B0D-B252-06F803CC43CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7a4ea8ba50a6553b0953b17f47566425dad040","datavalue":{"value":"module categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$192A79FD-78FE-4D9A-A20E-B0108464AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a715988b9cc71b87c7cd3cbe8b4755c74aa1833b","datavalue":{"value":"continuous functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$BC67CC04-CA84-4D09-9595-A7E5BB5553EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"740cabfd759c9bfcf7bd654f81c2f641e9bebe89","datavalue":{"value":"projective resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$57A78560-F26B-46D8-97D0-AED4603654EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"830584566fc701187008485c916a491286bbe9cd","datavalue":{"value":"finite projective dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$E8FC22CA-0256-4543-8CE7-0D45E9712E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1824aeb4404ac4c00bcf73f88ca24357a50c88","datavalue":{"value":"torsion-free linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$7BC5C5FD-8EE5-41D4-8977-583D53A03582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c88ef27e76083ecbd71501921cad844ae4830f2","datavalue":{"value":"modules of type \\((FP)_\\infty\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$73932561-4DAE-48D5-BA48-06BD9303F9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4097a664f11aa840e44a014a5c5038e95f70b91b","datavalue":{"value":"finite cohomological dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313815$17199360-E04D-4662-A63A-B5A253CD1DCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75e9767b9d7bb847b1244924f6c6a20939dd3b26","datavalue":{"value":{"entity-type":"item","numeric-id":233337,"id":"Q233337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$531B0253-AF96-44D8-9B42-139FF61865A5","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":"Q1313815$8AE33F26-867E-40F7-BEF3-0B6C6095F579","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d970dfd4ef9ed748c65a6fd97634e18cc80850a2","datavalue":{"value":{"entity-type":"item","numeric-id":5905269,"id":"Q5905269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$848F8BDA-ACFF-498B-9176-5165C77D7F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a382469e40ef9bc69cace2d4f40b82f95b95d5","datavalue":{"value":{"entity-type":"item","numeric-id":1208190,"id":"Q1208190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$5123308C-6ECE-4305-9274-0FB9B5D130AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d298597a87a6245de37f42adb19c3b72b39b","datavalue":{"value":{"entity-type":"item","numeric-id":3966341,"id":"Q3966341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$30E3A105-30C9-4410-9A12-6BE09B701E88","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":"Q1313815$78C68738-19A1-4B77-A65F-F6BD54D4CBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fe176529e5e807ffb2b7826263c20a01aaa223","datavalue":{"value":{"entity-type":"item","numeric-id":761661,"id":"Q761661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$C05ED3CA-9B75-4ADA-BAF8-9F2379461AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b033b74b4e38f9537d860b6504eaeb8a3efc44","datavalue":{"value":{"entity-type":"item","numeric-id":3994461,"id":"Q3994461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$FA494412-164E-4F31-B42D-2071B17D16EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1169a1c5bf15ac14af3714498eca75860bd4b601","datavalue":{"value":{"entity-type":"item","numeric-id":1109859,"id":"Q1109859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$99CAEFA3-55CF-415E-A7FD-3C7F4D24F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a29cf48e10c721ffd640601cccc070263c3dda","datavalue":{"value":{"entity-type":"item","numeric-id":791659,"id":"Q791659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$A7095B4C-E422-4870-8750-2704193ED908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a134863c2dca007f0b14e69fd31887e12dfbf2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082445,"id":"Q1082445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$8CEAC13D-1346-470F-89F4-A2CA99E61E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312b652bb3153567c32a4d6b5d4bbe5e9d675385","datavalue":{"value":{"entity-type":"item","numeric-id":4289499,"id":"Q4289499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$57BA7ACA-5572-40D3-B2DB-2BDEE6E6147C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef638f3b436d03b498695ca9975ecdb2743783b","datavalue":{"value":{"entity-type":"item","numeric-id":1325830,"id":"Q1325830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$1540486F-B204-4152-9D73-BFB3BEB14414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e2bffa9037a809adeaa5c7ec65988bb0b4f45c","datavalue":{"value":{"entity-type":"item","numeric-id":5654235,"id":"Q5654235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313815$9CA663B0-562A-4836-8E1A-7973AEAFAFC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e7e35e10d0ee61877e47ab6e7bccb4869efa70","datavalue":{"value":{"entity-type":"item","numeric-id":4265482,"id":"Q4265482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b116b5db96c62d2f620f7cf23c838884b549d66d","datavalue":{"value":{"amount":"+0.8589563965797424","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":"Q1313815$82A2F848-D460-42B3-BF24-09E04ECBFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9672eaf08f44c2f48e04650e07202d5a4423480","datavalue":{"value":{"entity-type":"item","numeric-id":2642242,"id":"Q2642242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b116b5db96c62d2f620f7cf23c838884b549d66d","datavalue":{"value":{"amount":"+0.8589563965797424","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":"Q1313815$AC6E81FE-F719-46B5-82A0-DE186BFCFB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f44152f450f84dc2c5533c5bc182267e6435d5","datavalue":{"value":{"entity-type":"item","numeric-id":4289499,"id":"Q4289499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7745f3b5328d9a000613f762dbec32a6a4f0aaf7","datavalue":{"value":{"amount":"+0.8494938611984253","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":"Q1313815$EA47044C-F5A0-4DC5-8231-50612BFB9E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdbcac71a8dd4b08dab7127116b6490a15dae647","datavalue":{"value":{"entity-type":"item","numeric-id":4867086,"id":"Q4867086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41866da1e13ffe3ee2d7f1a44359a1ccc74b914","datavalue":{"value":{"amount":"+0.848807692527771","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":"Q1313815$7B4C44A4-47D6-4CC7-AE70-029F7E36C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92726374d2aa90346ab80d5682d5d00a95016a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1293101,"id":"Q1293101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41866da1e13ffe3ee2d7f1a44359a1ccc74b914","datavalue":{"value":{"amount":"+0.848807692527771","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":"Q1313815$664C853E-7B32-4F8A-B3C2-45DC8E6650F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On groups of type \\((FP) \\infty\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_groups_of_type_%5C((FP)_%5Cinfty%5C)"}}}}}