{"entities":{"Q5893763":{"pageid":7931998,"ns":120,"title":"Item:Q5893763","lastrevid":93355199,"modified":"2026-06-05T04:16:08Z","type":"item","id":"Q5893763","labels":{"en":{"language":"en","value":"On the homology and cohomology of congruence subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4015000"}},"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":"Q5893763$3CB61CA6-4FF1-4549-A96F-B313835C044B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901f5b6db3ae1ce0dacae7ebbc7f088fae7ffa14","datavalue":{"value":{"text":"On the homology and cohomology of congruence subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5893763$B9FA47ED-F6BE-4A57-91F6-29995B6BAD46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1825590961817ab922b97a0c24c4ba75da07697b","datavalue":{"value":"0625.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$3894EB34-FA09-4672-A58F-FA6C29B5D892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"125031bea8119f2a2b0d36a5402e027f22126dbd","datavalue":{"value":"10.1016/0022-4049(87)90012-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$55B356E3-9FE0-43A7-B3BE-6DF2D0477712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec011c3176e0a0616af483f0e69a59236830b73e","datavalue":{"value":{"entity-type":"item","numeric-id":579416,"id":"Q579416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$CF9F6834-CA50-4DFA-A7A0-B77716BB392F","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":"Q5893763$D4DA354F-260E-49BE-9D21-AFF3BFCB0E79","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":"Q5893763$36B00E9D-1A73-4825-BFC4-FE1CDB2B5906","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f96a698465719c751b7937801e7433381439f79","datavalue":{"value":"For any prime p let \\(\\Gamma_ n(p)\\) denote the congruence subgroup of \\(SL_ n({\\mathbb{Z}})\\) of level p, i.e. the kernel of the surjective homomorphism \\(SL_ n({\\mathbb{Z}})\\to SL_ n({\\mathbb{F}}_ p)\\). The author compares the stable homology groups of \\(\\Gamma_ n(p)\\) with those of \\(SL_ n({\\mathbb{Z}})\\) and calculates the stable homology groups \\(H_ i(\\Gamma_ n(p),{\\mathbb{Z}}/q^ d)\\) in low dimensions.    The main results are as follows. (1) If p and q are different primes and \\(q\\neq 2\\). Then for \\(i=2,3\\), \\(d\\geq 1\\) and \\(n\\geq 11\\) (or \\(n\\geq 9\\) if \\(i=2)\\), \\(H_ i(\\Gamma_ n(p),{\\mathbb{Z}}/q^ d)\\cong {\\mathbb{Z}}/((p^ 2- 1)/3,q^ d)\\) if \\(p\\neq 3\\) and \\(H_ i(\\Gamma_ n(3),{\\mathbb{Z}}/q^ d)=0\\). (2) Assume \\(p\\neq 2\\), \\(n\\geq 9\\) and \\(d\\geq 1\\). If \\(p^ 2\\not\\equiv 1 mod 16\\), then \\(H_ 2(\\Gamma_ n(p),{\\mathbb{Z}}/2^ d)\\cong {\\mathbb{Z}}/2\\). If \\(p^ 2\\equiv 1 mod 16\\), one has an exact sequence  \\[  0\\to ({\\mathbb{Z}}/(p^ 2-1)/8)_ 2\\to H_ 2(\\Gamma_ n(p),{\\mathbb{Z}})_ 2\\to {\\mathbb{Z}}/2\\to 0.  \\]  Moreover, for \\(n\\geq 11\\), \\(H_ 3(\\Gamma_ n(p),{\\mathbb{Z}}/2^ d)\\cong H_ 2(\\Gamma_ n(p),{\\mathbb{Z}}/2^ d)\\oplus m{\\mathbb{Z}}/2\\) where \\(m=0\\) or 1. (3) Assume \\(p\\neq q\\), \\((p^ 2-1,q)=(p^ 3-1,q)=1\\), \\(d\\geq 1\\). One has \\(H_ 4(\\Gamma_ n(p),{\\mathbb{Z}}/q^ d)=0\\) for \\(n\\geq 13\\) and \\(H_ 5(\\Gamma_ n(p),{\\mathbb{Z}}/q^ d)\\cong {\\mathbb{Z}}/q^ d\\) for \\(n\\geq 15\\). Finally the author studies the cohomology with \\({\\mathbb{Z}}\\)-coefficients and proves that res: \\(H^ 4(SL_ n({\\mathbb{Z}}),{\\mathbb{Z}})\\to H^ 4(\\Gamma_ n(p),{\\mathbb{Z}})\\) is zero for all odd primes p and \\(n\\geq 9\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893763$7BD9B632-37D4-4877-9566-528C37C91577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$DD7E66DF-0696-487A-B69B-1EEFB94D127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f74f1bfe7bc5707c851bdfd982cd61c83ba8e6","datavalue":{"value":"20G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$196A41ED-C850-4178-9994-6E47C2F817C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$3C176D61-7276-438C-85C9-54C2E9AD9628","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1299423fb76a649a90ed3d8072a4ce94e5af327","datavalue":{"value":"4015000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$749AD6CC-8263-45D6-91FA-9B0EDA748436","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c38b02b4495a754e84e63c4e535500c9f1939d","datavalue":{"value":"congruence subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893763$54F7334A-F3F1-4992-A7B3-F0BA5B38BC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a65262ca2cdf0e389a88d6df1f7c26966847208","datavalue":{"value":"stable homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893763$9A45B5A3-8123-4B97-91D8-CE29484087EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689b65561f64a4798cb1a20688ead5f777d09583","datavalue":{"value":"exact sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893763$D0DF2C98-67DB-4573-B514-0C84AFD9418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5893763$E84F0ABA-EAC7-4250-A437-4E97BE7EB3E9","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":"Q5893763$5A55F098-E134-4464-AA82-B1F5787D1550","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"881f6660be9376e538546cb77789e657d9aa2c78","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90012-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5893763$9F32F487-84D9-4000-8AEE-2BF9D4B6FF25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b3d7eb7cd1f7a8931b7aabe8165c9b1443e787d","datavalue":{"value":"W2085846870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5893763$3E52C7CF-3373-4EB7-A070-787CF36A1BE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0e66775dfb47785889de35ef183641ebf71a7a","datavalue":{"value":{"entity-type":"item","numeric-id":2266479,"id":"Q2266479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$40DFBE92-CC8F-4474-900A-42B18FB9E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6410cd71293a61f1ec89727627d8722e73541b","datavalue":{"value":{"entity-type":"item","numeric-id":5644808,"id":"Q5644808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$E8A07625-5499-4C7B-B02B-6F0C227A71E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103e4a2974690c51b3757e5eb3e5d68e229cfe25","datavalue":{"value":{"entity-type":"item","numeric-id":3329643,"id":"Q3329643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$2AA29F8A-3201-4196-A6E6-5121A051F634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83670de8eef057125ab3e39a402a7b695419c6be","datavalue":{"value":{"entity-type":"item","numeric-id":4078829,"id":"Q4078829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$3BD930B4-80E5-472D-9A9C-199EFA8C8575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42339d13d76a216096ff80da4b28c9b0866a84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3961641,"id":"Q3961641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$BC16A8D6-98BB-47F1-B331-67C2EAD90846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac584c059e4c50a806ea02fa77f9443dbd8feef7","datavalue":{"value":{"entity-type":"item","numeric-id":5905818,"id":"Q5905818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$DD779083-2D32-48E1-B0C0-D30ACD1E7715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebf0fa3b435bcc97254e85d2346226db9d1b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":1231553,"id":"Q1231553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$E97D2D48-4190-49C6-A797-CA57A33CA37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba1db0982e248cf70e6c24fefd2ae8e2ce7da17","datavalue":{"value":{"entity-type":"item","numeric-id":1249221,"id":"Q1249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$59A7E501-90B2-42BC-91D5-86AF2ED9BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6864eab6e12b4c491e0abcb9976033dc038207a5","datavalue":{"value":{"entity-type":"item","numeric-id":4198932,"id":"Q4198932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$00075546-7406-496D-AB3D-46AE4A1C9BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9494a0a4f42b7593634e66836f18a409ce98e927","datavalue":{"value":{"entity-type":"item","numeric-id":2556595,"id":"Q2556595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$5D979C18-1EBF-4392-AC07-3AEFFD27F249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d2f1313c06b4fea2720f4225c89aaa8b8c44f","datavalue":{"value":{"entity-type":"item","numeric-id":2553525,"id":"Q2553525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$B7275660-0204-46A2-9989-233EA74A868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358ec281fa898f38057b8f1e9a6ae6935e9b551d","datavalue":{"value":{"entity-type":"item","numeric-id":1249222,"id":"Q1249222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$98F1ED7C-7727-4CA1-82D4-6712E450A0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3fec870c1e0d099d012baf001a65fa16869ab1","datavalue":{"value":{"entity-type":"item","numeric-id":799733,"id":"Q799733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$48DAF690-9B7D-4C8D-B871-57CE803DC0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47d0681dc47243e4975610ffb500c13de0fc79b","datavalue":{"value":{"entity-type":"item","numeric-id":599900,"id":"Q599900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5893763$122A916C-35B4-4B2C-8D88-C5ACE694E2AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc3290942d1dadbd6006a75b127b29e3a03cfa0","datavalue":{"value":{"entity-type":"item","numeric-id":906180,"id":"Q906180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e03c40cd12e912099c54ecbea2c445a4b261b3","datavalue":{"value":{"amount":"+0.8519896864891052","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":"Q5893763$DDA605E4-406B-4DA4-B61A-3524BA120C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fcfee260d46a70652bc98c3df81965ae9ad796","datavalue":{"value":{"entity-type":"item","numeric-id":1196972,"id":"Q1196972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e38b1c52f81113214ec7f29a9876fd0d9b2e4","datavalue":{"value":{"amount":"+0.8321226239204407","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":"Q5893763$A0971072-CE45-4AE7-9CC5-4D3054EFD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3223e1006b8aa793f558515033cb8bfc99ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4735778,"id":"Q4735778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179c02cdda94a42a4890dabebab2c33c78f51d13","datavalue":{"value":{"amount":"+0.8105069398880005","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":"Q5893763$8ACE1C0E-3917-46B3-92F3-F112B2014FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac019844948a6e19e59ebb583900de621bc8d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":3584852,"id":"Q3584852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5450c748a5f4540618e2e1199783ab78986bb413","datavalue":{"value":{"amount":"+0.7921946048736572","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":"Q5893763$D694237D-CD31-4B0D-92F3-4AA5EF5F85DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c86e33a8d8dc0bcbd44227b356fb13851e2bc80","datavalue":{"value":{"entity-type":"item","numeric-id":392407,"id":"Q392407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5408e2e3a7511d07f0b632e5da7d9dca5bea958d","datavalue":{"value":{"amount":"+0.7920505404472351","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":"Q5893763$60DC5628-C307-4EF7-939D-4FF457BB7644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the homology and cohomology of congruence subgroups","badges":[]}}}}}