{"entities":{"Q1365158":{"pageid":1375898,"ns":120,"title":"Item:Q1365158","lastrevid":46564962,"modified":"2025-12-25T01:16:09Z","type":"item","id":"Q1365158","labels":{"en":{"language":"en","value":"On a generalization of the double coset formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054072"}},"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":"Q1365158$DB3243F5-69C6-4342-A857-4213AE146BB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ea90dedef75f1f02ecf602783dfc6c59c519fb","datavalue":{"value":{"text":"On a generalization of the double coset formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365158$B3E64EEC-C372-4C31-BA19-C010FF4B8A4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40d3eb2f23c2851677ef19c1c98f7d8e8736eb60","datavalue":{"value":"0895.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$781D03F1-E2CB-4865-9BC8-09B23D571D46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8701764ff4b32997750d413df5b41076589a520f","datavalue":{"value":"10.1215/S0012-7094-97-08901-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$AEACAA04-3E11-44FB-9D22-8106C7ABF9C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4a5cceceab47931d21f5ccdebe90349c663d37c","datavalue":{"value":{"entity-type":"item","numeric-id":1365157,"id":"Q1365157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$2E9DD8FB-D0E4-4A30-8C31-C043AE876724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$84ED7633-0532-4EAC-B115-6EEC6B8939F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec87f0f5e6cf696132f8fa2aa3bdaecd618cd35","datavalue":{"value":{"time":"+1998-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365158$E9B2A4D2-3693-4456-9B0C-CB4B344085AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10a1c50a3d0a9de2a529fe89a65a0bc4a2635947","datavalue":{"value":"The double coset formula is a very useful tool in computations of group homology for finite groups. In this paper we prove a generalization to the case of infinite index subgroups, using locally finite homology. In this context a transfer can be constructed, and a double coset formula, which is very similar to the usual one, holds.   As an application, we prove an estimate for the rank of the homology at the \\(vcd\\) of a congruence subgroup of \\(\\text{Sl}_n(\\mathbb{Z})\\). More precisely, let \\(\\Gamma(n,p)\\) be the subgroup of \\(\\text{Sl}_n(\\mathbb{Z})\\) consisting of matrices congruent to identity mod \\(p\\), \\(n\\geq 2\\), \\(p\\geq 3\\), \\(p\\) a prime. Then it is known [see \\textit{A. Borel} and \\textit{J.-P. Serre}, Comment. Math. Helv. 48, 436-491 (1973; Zbl 0274.22011)]\\ that the group \\(H_{n(n-1)/2}(\\Gamma(n,p),\\mathbb{Z})\\) is a finitely generated free abelian group. The result is the following   Theorem 1. The rank of \\(H_{n(n-1)/2}(\\Gamma(n,p),\\mathbb{Z})\\) is at least \\(\\geq p^{{n\\choose 2}}((p-1)/2)^{n-1}\\).   This improves the result of \\textit{R. Lee} and \\textit{R. H. Szczarba} [Invent. Math. 33, 15-53 (1976; Zbl 0332.18015)]\\ by the factor \\(((p-1)/2)^{n-1}\\). While the above estimate can be derived without using our double coset formula, we believe this setting makes the main idea more apparent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$74EFF7D2-9849-4899-84C7-EA145BCD9669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$091CFB3A-15A7-4FCA-BECF-3010AE967D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$6C5A366F-F7D5-4D86-823A-2CE0FE67FA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f74f1bfe7bc5707c851bdfd982cd61c83ba8e6","datavalue":{"value":"20G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$A0284CF6-C316-4807-BE0E-1BF951D20842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffacce772e28059820450480096b6413e53394b9","datavalue":{"value":"1054072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365158$32F7C70C-EE9C-451F-A4F4-B9241ADA3320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efc6cab49a78e419b50ac2e192d35663f99c9c7","datavalue":{"value":"double coset formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$770D968D-4045-4A55-93CB-B3D7D28F67F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f557b6c3f8167e9f9ae0276c364e9f4a9c60472d","datavalue":{"value":"infinite index subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$65FB1324-3877-4721-948C-64F0C5B3526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680dc7a7f9a81ca6f16436342f5e3b4e26ec5078","datavalue":{"value":"locally finite homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$26C50220-2CE7-40D1-8E2E-F5CD3CF5FFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548d1f07e827d6a0aac33d5f8508c1249beecb5f","datavalue":{"value":"transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$2E04A1A7-77C6-4A76-8192-7CB5DA3F4543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887020b8185a9d5888e92356c129fa0dbe9373c2","datavalue":{"value":"congruence subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365158$F9AC4899-4AF8-4BF3-9480-1DF82AC35CB0","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":"Q1365158$7E5428F4-CCB2-4F17-ACF3-4B55E1968F08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a6dadbf0a78959a4d54dc2953ea78c51662f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1141756,"id":"Q1141756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$EC321E29-631B-4C98-8096-6057AC2A7F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc9abd98105e9d6e3820117c8bc30a7fd551125","datavalue":{"value":{"entity-type":"item","numeric-id":1835987,"id":"Q1835987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$D4B566CA-7F0F-40E1-862C-F5E0C57EE576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38bcbdbe5401b8eec2b1a51617e25f8fbd47616","datavalue":{"value":{"entity-type":"item","numeric-id":5750939,"id":"Q5750939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$76EBC250-93EB-4C1E-AEC9-61C1724DA6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736c8a0e7eb6260652511f483124962ed2a40cc","datavalue":{"value":{"entity-type":"item","numeric-id":2265072,"id":"Q2265072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$1890805A-C6E8-46BC-B879-969CD601D592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955b3df1b36253b307306b7f62ee161a4fc1c409","datavalue":{"value":{"entity-type":"item","numeric-id":4280928,"id":"Q4280928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365158$07CEB8F3-03FB-46E8-8DFC-527B1EDDE1D7","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":"Q1365158$CC183E6E-A0F0-42AE-8A57-27368C83F423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a643a6aee9a5de19923155b3beb623f18e089","datavalue":{"value":{"entity-type":"item","numeric-id":5893763,"id":"Q5893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe61114da2cd266b9ad18978d16e9b9463b2686","datavalue":{"value":{"amount":"+0.7261348366737366","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":"Q1365158$009A1C9E-F4DE-4E84-BB2F-83D2C77E97CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c711e3e0c721c9b0bd66dfeb9233435c2988de8a","datavalue":{"value":{"entity-type":"item","numeric-id":2024752,"id":"Q2024752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fc07a787007219660281dc1ddc91a65ac86e18","datavalue":{"value":{"amount":"+0.7046430110931396","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":"Q1365158$C8E30F2D-B587-494F-A0F1-FE983FF8929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e1f5f38bc234f2a9e96b6315cd703fe9dfaf12","datavalue":{"value":{"entity-type":"item","numeric-id":3510068,"id":"Q3510068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894954c9edc5a36ea7197a6087ef63199435527a","datavalue":{"value":{"amount":"+0.6891697645187378","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":"Q1365158$3AD95437-40B1-4F30-AE3F-AFDEB563F6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cd19c7c5bdf3a7b7c7405524b65c63365acb07","datavalue":{"value":{"entity-type":"item","numeric-id":2267728,"id":"Q2267728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05628b97686add41ca646902d3a59098b801d18d","datavalue":{"value":{"amount":"+0.6881976127624512","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":"Q1365158$68589DA6-BC6A-4B36-87E9-F42715C50476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48cb6eddab815b3685df53c897718ba877ab3d19","datavalue":{"value":{"entity-type":"item","numeric-id":2846899,"id":"Q2846899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b0cef3fc47a395b0d265a371efeb6425b2d79c","datavalue":{"value":{"amount":"+0.6797633767127991","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":"Q1365158$8F9ECD8F-5B0F-435B-ACBF-B2EC2EF1EEB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1365158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1365158"}}}}}