{"entities":{"Q2901710":{"pageid":2912435,"ns":120,"title":"Item:Q2901710","lastrevid":84967529,"modified":"2026-06-03T05:22:08Z","type":"item","id":"Q2901710","labels":{"en":{"language":"en","value":"A formula for the number of invertible matrices over some finite ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062228"}},"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":"Q2901710$4CAC440A-22E8-43D6-8FCF-648F5A6B34A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89c974ee4a6a41110a316bf2fe4dd0b4b7e94ac8","datavalue":{"value":"1249.15039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901710$99349116-E79B-40CC-899D-C7586E5F3A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901710$048C0435-8369-4439-B4DB-486354AAEF26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901710$F4FE6E0E-C522-42D8-8574-7F6C6BF20027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0614cfe757af775354cacad4d1852bd334b9e455","datavalue":{"value":"11A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901710$CD8A6ADF-6DC8-47D0-9800-9B327726EF36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c6d8130184495575e3783477d8ed1e48280d08","datavalue":{"value":"6062228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901710$39367E77-EB65-40B6-AF0F-3452442A7F7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab713b354844b4ed47899d7e89696d812ad7d0f5","datavalue":{"value":"residue rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901710$5B55A7FB-ECB9-4932-AA23-229574916D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b2d0e89167553f0d765f839c4fc86d92310bf6","datavalue":{"value":"invertible matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901710$3C87C904-A71D-4429-B74F-8BDD83ADB020","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":"Q2901710$C9BE3A6B-094E-43B1-A22D-8B0ADC2F7D29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ffef2f6e287137a0264206659843c9e2945bf1","datavalue":{"value":{"entity-type":"item","numeric-id":821297,"id":"Q821297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901710$FD6872BE-2543-473C-8EA5-37DC8F34D562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa665d7060942c5ca2a00ff625155bc940aa3a3","datavalue":{"value":{"text":"A formula for the number of invertible matrices over some finite ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901710$0CC95D22-8D0F-4563-9329-395E457AE034","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7f4cc04fcaa20fb1b72f843077f0fff94947d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6768708,"id":"Q6768708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901710$EDBF99DD-46A6-4B86-AF4B-1C73D7D75144","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cc4e44210e63fe3ddd68815db4eaf5b62eb4b71","datavalue":{"value":"The problem of computing the number of invertible matrices over residue rings is analyzed. Let \\(M_{n}(p,k)\\) and \\(M^{\\mathrm{inv}}_{n}(p,k)\\) (\\(p\\) prime, \\(k \\in \\mathbb{N}\\)) be the number of all respectively all invertible \\(n \\times n\\)-matrices over the ring \\(\\mathbb{Z}_{p^{k}}\\). The formula NEWLINE\\[NEWLINE | M^{\\mathrm{inv}}_{n}(p,k) | = | M_{n}(p,k) | \\prod\\limits_{i=1}^{n} ( 1 - p^{-i}) NEWLINE\\]NEWLINE can be established as follows. If \\(k=1\\) then the number of selections for \\(\\mathbf{a}_{i} \\in \\mathbb{Z}^{n}_{p}\\) \\((i = 1, \\dots, n)\\) not being any linear combination of \\(\\mathbf{a}_{1}, \\dots, \\mathbf{a}_{i-1}\\) is computed. If \\(k \\geq 2\\) then the number of sums \\(B+C\\) is computed, where \\(B \\in M^{\\mathrm{inv}}_{n}(p,1)\\) and \\(C \\in M_{n}(p,k)\\). Let \\(M_{n} (l)\\) and \\(M^{\\mathrm{inv}}_{n}(l)\\) \\((l=p^{{\\alpha}_{1}}_{1} \\dots p^{{\\alpha}_{m}}_{m}\\) the canonical factorization) be the number of all respectively all invertible \\(n \\times n\\)-matrices over the ring \\(\\mathbb{Z}_{l}\\). The formula NEWLINE\\[NEWLINE | M^{\\mathrm{inv}}_{n}(l) | = | M_{n}(l) | \\prod\\limits_{j=1}^{m} \\prod\\limits_{i=1}^{n} ( 1 - p^{-i}_{j}) NEWLINE\\]NEWLINE can be established by applying the following variant of Leng's homomorphism theorem for residue rings. For any finite non-empty set \\(S\\) and any pairwise prime integers \\(a_{1}, \\dots, a_{m} \\in \\mathbb{N}\\) let \\(F_{a_{i}}(S) = \\{ f \\mid f: S \\rightarrow \\mathbb{Z}_{a_{i}} \\}\\) \\((i = 1, \\dots, m)\\), \\(F(S) = \\{ f \\mid f: S \\rightarrow \\mathbb{Z}_{\\prod\\limits_{i=1}^{m}a_{i}} \\}\\), \\(\\widehat{F}_{a_{i}} \\subseteq F_{a_{i}}(S)\\) \\((i = 1, \\dots, m)\\) and \\(\\widetilde{F}_{a_{i}}(S) = \\{ f \\in F(S) \\mid f_{\\bmod a_{i}} \\in \\widehat{F}_{a_{i}} (S) \\}\\) \\((i = 1, \\dots, m)\\), where \\(f_{\\bmod a_{i}} (s) = f(s) (\\bmod a_{i})\\). Then there holds the identity NEWLINE\\[NEWLINE | \\bigcap\\limits_{i=1}^{m}\\widetilde{F}_{a_{i}}(S) | = \\prod\\limits_{i=1}^{m} | \\widehat{F}_{a_{i}} (S) |.NEWLINE\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901710$CC59471B-13CF-4781-9A0B-F369B5B2C695","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8026469d66905e9df0b58a0425211693df76eee9","datavalue":{"value":{"entity-type":"item","numeric-id":1645318,"id":"Q1645318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901710$4C2168F9-8A47-4F6B-8C3E-812E623808A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ba3a50d5c8bbe0c11edf2981311a4c400f34ad","datavalue":{"value":{"entity-type":"item","numeric-id":3510157,"id":"Q3510157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49f904bc4c130f7eb89cda55709b44eec165193","datavalue":{"value":{"amount":"+0.8160907030105591","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":"Q2901710$7105AF34-EE1D-4620-B388-B6F3B8CFEFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1205671fa10b5749a67f65a4001bb27468b2223c","datavalue":{"value":{"entity-type":"item","numeric-id":4277673,"id":"Q4277673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4628c5e0905a2a47e21f52a113499460bce02cf7","datavalue":{"value":{"amount":"+0.8132804036140442","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":"Q2901710$E50D605C-2A40-4A8B-93B6-6B3D8F52507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8747efff0f6712a9f1b04ecc808e60405e230e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1955588,"id":"Q1955588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543e81e959ff26b3252f677d007abe2bbeca0083","datavalue":{"value":{"amount":"+0.8051211833953857","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":"Q2901710$92BB23B3-035F-4404-BEC8-C558001A73F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81a573e612c6def4cc181a8867f18a33bee8d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4005552,"id":"Q4005552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851238f8a667ec11b1db6f431c8ee10d824a88bf","datavalue":{"value":{"amount":"+0.7875442504882812","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":"Q2901710$CAB30E42-8D6C-4CED-A10A-10EE5BAA7452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc9863edbb5df1290fc7759d07761440b106899","datavalue":{"value":{"entity-type":"item","numeric-id":2833887,"id":"Q2833887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6ccb13bca41029160e7842672e6931d5170ec4","datavalue":{"value":{"amount":"+0.7849239706993103","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":"Q2901710$9765030F-5A61-473F-87CA-4CA2D3B5C8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formula for the number of invertible matrices over some finite ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formula_for_the_number_of_invertible_matrices_over_some_finite_ring"}}}}}