{"entities":{"Q677147":{"pageid":678996,"ns":120,"title":"Item:Q677147","lastrevid":42640380,"modified":"2025-07-07T14:41:36Z","type":"item","id":"Q677147","labels":{"en":{"language":"en","value":"On the generators of \\(\\text{Sp}_ n(\\mathbb{Z})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994647"}},"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":"Q677147$EE3FF821-5DD4-4FE1-BD3C-034C55A241B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dafe8affce3091b2531b4b34ac8b4afe5b0bcab","datavalue":{"value":{"text":"On the generators of \\(\\text{Sp}_ n(\\mathbb{Z})\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677147$6E33290F-6526-40E8-8A43-405264CC86A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51d32b0956addc8b9682d8d44ed90d3a8e3c4ef5","datavalue":{"value":"0869.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$2C2A2049-1820-4583-AA55-E5592A9855B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6dd6aa54c907fd186ae70c6a10069d28920246e","datavalue":{"value":"10.1016/0024-3795(95)00708-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$C0ABAAF3-1CA5-48D1-A2E1-A2429D30A230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"780b75f4ca528c1d0a13f8b55e81c600b5a66a51","datavalue":{"value":{"entity-type":"item","numeric-id":202926,"id":"Q202926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$407B951B-8EB2-4145-80DB-479F767E9CE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$73E777B8-CE2E-4CF9-AADA-1BA7F60ECD99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28164914b4be3d1db4cf2c74e16c2af70cce620e","datavalue":{"value":{"time":"+1997-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677147$8DDA0891-02B4-4694-8B2E-DF88AA2D6D9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93c84a5078096b2f104b4a8311b1fc31fa507f7e","datavalue":{"value":"Let \\(\\mathbb{Z}\\) denote the integers. \\textit{E. Witt} [Abh. Math. Semin. Univ. Hamb. 14, 323-337 (1941; Zbl 0025.01701)] showed that the group \\(\\text{Sp}_n(\\mathbb{Z})\\) is generated by the matrices \\(\\bigl(\\begin{smallmatrix} 1&S\\\\ 0 &1\\end{smallmatrix}\\bigr)\\) (\\(S\\in M_n(\\mathbb{Z})\\), \\(S=S^t\\)), \\(\\bigl(\\begin{smallmatrix} U^t&0\\\\ 0 &U^{-1}\\end{smallmatrix}\\bigr)\\) (\\(U\\in\\text{GL}_n(\\mathbb{Z})\\)), and \\(\\bigl(\\begin{smallmatrix} 0_n &1_n\\\\ -1_n &0_n\\end{smallmatrix}\\bigr)\\). The author gives a short proof for this theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677147$E0AD709D-3496-4E52-96D2-E3D9F4F792E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f68d42b7721128730c63ca7a7faa50a58869fe42","datavalue":{"value":{"entity-type":"item","numeric-id":184494,"id":"Q184494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$95302266-0A87-4871-B204-35D7B71C472A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7a5713e330dcd2b5ad9b012d5a3e52328c49f0b","datavalue":{"value":"20H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$CA7AFAA8-3D84-4558-83FD-146E7350A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$2C8ACD1D-7CDB-48E9-ACA4-D0DB02CE6869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06299a38dab9dd1c28e96fe2a7f8cac0943d746","datavalue":{"value":"15B36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$EE21B46E-33CF-4720-BD38-F9410384B0EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd31b0a77abd4d8ca18918b5bf9eaf6d81e356f","datavalue":{"value":"994647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$BD9C6BA2-B136-4937-A719-812A3DC6E3FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ff0a6eeb5636cae002988cff3de0dedb592cdd","datavalue":{"value":"symplectic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677147$D89231ED-1495-4C78-8A23-3DE9ACEDC1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41450e0ee35c4b9abcd8467e28320be727a659b4","datavalue":{"value":"standard matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q677147$E7BB3DC7-1FED-49E1-AB70-7B4932B26971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q677147$77E700F8-2B1B-4AE1-8233-6CCA38F9422A","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":"Q677147$BEE5323D-97AC-451B-B7BF-4B5F49CE252D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c0eb43c0c4aae93fa122575aa48ba506b98b92","datavalue":{"value":"https://doi.org/10.1016/0024-3795(95)00708-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q677147$01A9D010-8E9D-4B43-B504-F3D815A4C097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3546831539b9f534d2e5613ddea907166ffc26d8","datavalue":{"value":"W1971646130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677147$1C63B40A-3EEE-4C85-ACC0-BCFB44B2B69C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff6dd35ec0de28d0558244366a44b7bf2747e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3333116,"id":"Q3333116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$7E551BE6-0751-4A61-969A-A0D851FEDDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b0e17528134b29d4d0aed653daad083f1d215d","datavalue":{"value":{"entity-type":"item","numeric-id":5792071,"id":"Q5792071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$A19B3F3C-6D5B-43A4-ABCE-8B777E96B67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197a394b5230b36b9925ed05d1b8f2484686ead9","datavalue":{"value":{"entity-type":"item","numeric-id":3232318,"id":"Q3232318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$2274BEDF-FB4A-4DDE-A3BD-CC02B5589843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56107150f10fa7c9058e4014759708590e89eab4","datavalue":{"value":{"entity-type":"item","numeric-id":3843633,"id":"Q3843633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677147$72B4D9C7-BA8A-4EEB-AB24-909A7DCEC46E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4120e7c63d67ac64eac47ce9a2e4aa466fc43c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5689738,"id":"Q5689738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66803355f907a36ac10dee860e2b8512f5d0064e","datavalue":{"value":{"amount":"+0.8804066","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":"Q677147$2E350CF0-5EA1-4CB5-B00A-641F36814605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420a6612ff1adf7d309b20cc369753d919020cd4","datavalue":{"value":{"entity-type":"item","numeric-id":4029498,"id":"Q4029498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dcb4204f34b818421edb57eb9a8e5fdba470e2","datavalue":{"value":{"amount":"+0.8661178","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":"Q677147$3FF2BF4A-39C3-4A94-98E8-2A9349559964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ac749a4b5a66393b0d0fcd60b23b5e5e7c6fc4","datavalue":{"value":{"entity-type":"item","numeric-id":4393249,"id":"Q4393249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de429f2be61a769b064a1d5aedc9646e22525586","datavalue":{"value":{"amount":"+0.8651815","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":"Q677147$26A315C7-9960-43D4-A8B6-DCD7364C8E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e7fbb4be0acbbf2c5b92c01a095e8a9e68d46","datavalue":{"value":{"entity-type":"item","numeric-id":3697236,"id":"Q3697236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6096b77a58dfd6f40b14e302a5287ae16b966b1","datavalue":{"value":{"amount":"+0.86198497","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":"Q677147$7067E9DD-2312-4BB5-8D90-12D9EE9F0349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51151f27cf0a798fddcadf5c8af53ceddd8992c","datavalue":{"value":{"entity-type":"item","numeric-id":5733760,"id":"Q5733760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919d4010e825c2428d49aa0c1fca48ef6000afa4","datavalue":{"value":{"amount":"+0.8605602","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":"Q677147$DC429CF3-186D-45DA-904F-EE41F30BE7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e82118247657083a445d9023b3a5624b312bbd","datavalue":{"value":{"entity-type":"item","numeric-id":4189342,"id":"Q4189342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8558f3cc63e619130beb5fa2ba32ebf0fcdf657a","datavalue":{"value":{"amount":"+0.8590953","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":"Q677147$639390E1-1AEE-4441-BDD2-59FD6F0E74B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ee348f6692a346921c13a91afbe90aee475570","datavalue":{"value":{"entity-type":"item","numeric-id":3495439,"id":"Q3495439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936df9f61d608bf6104e52d6c7888d146bbcc73c","datavalue":{"value":{"amount":"+0.85892624","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":"Q677147$BF05CD8A-47D1-4B20-9380-B2CEDEDD20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755de1f86bc643d8b094a8e3942cd46e1a4f8518","datavalue":{"value":{"entity-type":"item","numeric-id":3168448,"id":"Q3168448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97580971c20b70cd87176b4e9d04cf3c013e9267","datavalue":{"value":{"amount":"+0.8557288","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":"Q677147$AD852BCA-5295-41D1-BAEE-930FD6506C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec7e042603c36291962364e69df53ce63047ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2370132,"id":"Q2370132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4100b57d1e767008b98272d4ac4e47cb3471aa68","datavalue":{"value":{"amount":"+0.8553122","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":"Q677147$741F842E-C8C0-490D-AFC5-F28FF6A534B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc38589b2dd843dc1d347365d039828a50058ac","datavalue":{"value":{"entity-type":"item","numeric-id":1261906,"id":"Q1261906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aac2c82b4285501fd2d2a55fae057438920338","datavalue":{"value":{"amount":"+0.8541918","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":"Q677147$E329BA1F-A093-405B-82D5-8CDA8AA333C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:677147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:677147"}}}}}