{"entities":{"Q1938585":{"pageid":1949327,"ns":120,"title":"Item:Q1938585","lastrevid":57620490,"modified":"2026-03-31T15:58:47Z","type":"item","id":"Q1938585","labels":{"en":{"language":"en","value":"The probability of rectangular unimodular matrices over \\(\\mathbb F_q[x]\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138282"}},"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":"Q1938585$34714A14-4AE4-4DE5-B50A-148F39267569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f280a39902300e7515ec728895b588ab58e35e71","datavalue":{"value":{"text":"The probability of rectangular unimodular matrices over \\(\\mathbb F_q[x]\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1938585$FA3F4F2F-D821-4CB2-B207-280155C03555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c98153c0369128ea7d5935c2eeeb60b129a15fd1","datavalue":{"value":"1263.15033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$632B9A03-AAE8-4B3A-BCDD-86B5CB475ACD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d006d04612a4c3fcbb7badee6ba69b1d83f5f7","datavalue":{"value":{"entity-type":"item","numeric-id":279723,"id":"Q279723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$EE9798E8-D0BE-4677-B896-99CCAB5BC312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20579a9879645231a36cb08a0b1d0f48320643a","datavalue":{"value":{"entity-type":"item","numeric-id":970477,"id":"Q970477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$38335012-6C89-4D5C-AC10-1A69AC6DB328","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":"Q1938585$956C1233-A328-42ED-B589-55B1EA49548E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-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":"Q1938585$A5023CDA-CD70-4AAA-A2FF-D9202A6EFCC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90bf2edb8260d4ac6064a77a3d600ca7a4c509ec","datavalue":{"value":"https://arxiv.org/abs/1107.3367","type":"string"},"datatype":"url"},"type":"statement","id":"Q1938585$AE0772DB-D587-4B48-9DC2-268F830CEA3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7dc2fb51a4020c7cb513cd510f143ee25e2cc03a","datavalue":{"value":"Let \\(R\\) be a ring and let denote by \\(M_{k\\times n}(R)\\) the set of all \\(k\\times n\\) matrices over \\(R\\). A matrix \\(A\\in M_{k\\times n}(R)\\) is called unimodular if it can be extended to an \\(n\\times n\\) nonsingular matrix. When \\(R= \\mathbb{Z}\\), the probability that a random \\(k\\times n\\) matrix is unimodular is given by \\(\\prod_{j=n-k+1}^{n} \\zeta (j)^{-1},\\) where \\(\\zeta (z)\\) is the Riemann's zeta function. This result has been proved by \\textit{G. Maze, J. Rosenthal} and \\textit{U. Wagner} [Linear Algebra Appl. 434, No. 5, 1319--1324 (2011; Zbl 1211.15044)]. It constitutes an extension to matrices of the well-known Dirichlet density theorem for the probability of \\(n\\) integers are co-prime, see [\\textit{G. L. Dirichlet}, ``\u00dcber die Bestimmung der mittleren Werte in der Zahlentheorie'', Abhand. K\u00f6nig. Preuss. Akad. Wiss. 69--83 (1849); G. Lejeune Dirichlet's Werke. Erster und zweiter Band. Bronx, N. Y.: Chelsea Publishing Company (1969; Zbl 0212.00801)].  The aim of the paper under review is to extend the above results to the polynomial ring \\(R= \\mathbb{F}_{q}[x]\\), where \\(\\mathbb{F}_{q}\\) is a finite field consisting of \\(q\\) elements, for any prime power \\(q\\). Let denote by \\(\\mathcal{M}_{N}(R)\\) the subset of \\(M_{k\\times n}(R)\\) consisting of all matrices with entries in \\(\\{f_{0}(x),\\dots, f_{N}(x) \\}\\). For any \\(S\\subseteq M_{k\\times n} (R),\\) the natural density of \\(S\\) in \\(M_{k\\times n}(R)\\) is defined as \\(D(S)= \\lim_{N\\rightarrow \\infty} \\frac {|S \\cap \\mathcal{M}_{N}(R)|}{ | \\mathcal{M}_{N}(R)|}\\) if the above limit exists. Notice that \\textit{K. E. Morrison} [Random polynomials over finite fields (1999), available from {\\url{http://www.calpoly.edu/~kmorriso/Research/RPFF.pdf}}], has introduced the concept of natural density of a subset of \\(\\mathbb{F}_{q}[x]\\) in \\(\\mathbb{F}_{q}[x]\\) and its value has been done.  Indeed, let \\(E\\) be the set of all \\(k\\times n\\) unimodular matrices over \\(\\mathbb{F}_{q}[x]\\). Then the authors prove that if \\(k<n\\), the natural density of \\(E\\) is \\(\\prod _{j=n-k+1}^{n} \\zeta_{q}(j)^{-1}\\). Here \\(\\zeta_{q}(j)= \\prod_{m=1}^{\\infty} (1- q^{-jm})^{-\\varphi_{m}}\\) is a \\(q\\)-zeta function and \\(\\varphi_{m}\\) is the number of monic irreducible polynomials in \\(\\mathbb{F}_{q}[x]\\) of degree \\(m\\). Furthermore, they deduce that if \\(k=n\\), then the natural density of \\(n\\times n\\) unimodular matrices over \\(\\mathbb{F}_{q}[x]\\) is zero.  Notice that recently several authors, e.g. \\textit{A. T. Benjamin} and \\textit{C. D. Bennett} [Math. Mag. 80, No. 3, 196--202 (2007; Zbl 1204.11059)] have also considered the question of the probability of \\(n\\) polynomials to be co-prime in \\(\\mathbb{F}_{q}[x]\\). Their methods are based on the Euclidean algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$A375B9F2-5501-4A32-8D4E-57D1E0731933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"70859ede1ca06ac7d3be51584cbccead36f691b1","datavalue":{"value":"15B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$7435EDFF-AA13-4FBE-8682-638E370F7E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$63FC8505-C638-4E0F-B6CC-499012BF690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c33def852ac10907f4986a9ec14e41d92759a10c","datavalue":{"value":"60B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$BBFCC38B-D02A-497D-8AD0-9165BEF7D321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e2417e055dac8201b2edbf4ce214140443124f6","datavalue":{"value":"11M38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$4998CBCE-73BD-4C1E-9D05-C2236237BEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f615758ab7de44f32f462f035bf1593a820c417","datavalue":{"value":"60B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$B41C8040-BED9-4BFF-AC94-43F7901A8E24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd35e8fb4d5d9a826540403eed5516a5ebef9b3b","datavalue":{"value":"6138282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$D8477BFC-3F1C-4A6B-8AD6-9763E825B0DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa56fdc36e38753a24ca03d0015d02ead09a0c56","datavalue":{"value":"natural density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$EE78AFE1-0AC7-4C58-9BB9-CD6426263F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887707dfbdcec9f5365313611370f5720569adbe","datavalue":{"value":"unimodular matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$9A0652DE-2AD2-4F85-92D4-04F6C44CAF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8516d327a89577899b90e05c6bd1361dc43ba70f","datavalue":{"value":"Riemann's zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$6F9B041F-1E2F-4735-85A8-0EA4200176BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9a33a33ce362c062c3aa33956fd3fbf47ba6a4","datavalue":{"value":"\\(q\\)-zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$3AA663A8-6A6D-43CC-B6A9-34D7088C4BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$E65416F9-15D1-4D6D-9B56-B2B975EC0C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$C1BD6D44-4C24-44D8-9192-0A6DC3E67D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29ef22b3af0ff2b7639eb6eeb493357093087744","datavalue":{"value":"random matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938585$8B3D8A93-DC02-42A1-9CE5-BCA018EA1647","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e9b21f497ee9c92a9da223c188b40b8ca16d1dc1","datavalue":{"value":{"entity-type":"item","numeric-id":170418,"id":"Q170418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$215FBD92-299B-4F0E-AACC-3DB1DADC71AC","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":"Q1938585$7AC4C157-CD26-416C-84DF-B89B0C18F7C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac96def1169bc82472fd261a515410e3492a4165","datavalue":{"value":"W2963391030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$61B86EF2-3C04-4CFE-BCB3-E1A3AB9821E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"232367a03ab0a1a577841b04953296f01148d9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3635816,"id":"Q3635816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$1B9E5366-8D31-4D01-BD1A-06D1D48166D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33d06a81273dcfc16815a0f4ad3b439c6ad3960","datavalue":{"value":{"entity-type":"item","numeric-id":3260833,"id":"Q3260833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$F1B53057-FA73-4BDB-A1CA-581C7D0E8A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc22bdc4ae956419b8a65b70248666fcf0aa5ea","datavalue":{"value":{"entity-type":"item","numeric-id":5343492,"id":"Q5343492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$DE817792-26DF-40B8-B85A-698217A5651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dff389ca3d90e1e611c420e9aeaca7349597b","datavalue":{"value":{"entity-type":"item","numeric-id":4793678,"id":"Q4793678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$54ED7214-6A99-4889-9C22-69E253352B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68b68fae15e5f59e148fff98f38354792258da9","datavalue":{"value":{"entity-type":"item","numeric-id":624535,"id":"Q624535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$F61C6858-2C59-49F8-B9C2-82A93406E895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cca7d8ace00c8ea920d4e8a6dbe013dde91630d","datavalue":{"value":{"entity-type":"item","numeric-id":5905834,"id":"Q5905834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$04772F8F-7CD0-4C24-BB6D-5B4E333CDCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13372878e7a8ba9078061e05752bee4f774569c","datavalue":{"value":{"entity-type":"item","numeric-id":3504284,"id":"Q3504284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$3EE302EE-D7C9-4454-AC21-27A9F9066732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77df5c71758c05b6c718170c175ea2daabac660e","datavalue":{"value":{"entity-type":"item","numeric-id":4124942,"id":"Q4124942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$BC10B331-8B56-4788-936B-1AF6290323A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b573d4cdbde4e56c7ad3712dfc0fd31b67412861","datavalue":{"value":{"entity-type":"item","numeric-id":3123961,"id":"Q3123961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$E6A63798-B67E-4A95-8592-3E878B440259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55335eab032a54025a37ea16b86e637c557fc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3346427,"id":"Q3346427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938585$74645EE3-CADE-4C0F-94CF-8F2E97E3C537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3b7f1551202ee30c76f02caa5d75bd82740bc60","datavalue":{"value":"10.1016/J.LAA.2012.11.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938585$D423E156-DD0D-4B83-9122-B161325F5B66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebeea8dcf6a34f02323813b183e06311e5d3a10","datavalue":{"value":{"entity-type":"item","numeric-id":624535,"id":"Q624535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1d8afb3cc2c72963e5f5a42174d2087b1ee47a","datavalue":{"value":{"amount":"+0.8854858875274658","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":"Q1938585$A4C0729F-A3B3-44B2-9413-4FA2D1D939F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec17d889bdf212224bca7df2a24c02679d2e973","datavalue":{"value":{"entity-type":"item","numeric-id":4627482,"id":"Q4627482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d398e80eb9b7a78a625c6b6c476e9ab886d0f03","datavalue":{"value":{"amount":"+0.8746052980422974","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":"Q1938585$C032F4B1-4AB0-4EEF-BC4E-74DDF72B4F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae22531f29ca0422dd2156ff91645e112562a1f7","datavalue":{"value":{"entity-type":"item","numeric-id":3504284,"id":"Q3504284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0150296b0cfb09adee3401f7b6ddf8649f1105ed","datavalue":{"value":{"amount":"+0.8127176761627197","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":"Q1938585$164F58E1-C527-4A15-A2DF-2C3691A8655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ad619593a482c6ced804e507a9ef28201a89f9","datavalue":{"value":{"entity-type":"item","numeric-id":1688874,"id":"Q1688874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11938d650fedacf85213c2db357e4bffd0ee7d8c","datavalue":{"value":{"amount":"+0.8094614148139954","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":"Q1938585$D3EF5E54-5F73-4332-A8DA-21FED0CF656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9591b52deb717944631a74d5297832b142f54a64","datavalue":{"value":{"entity-type":"item","numeric-id":992559,"id":"Q992559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d1dce29c4a3a3bdffdcc875c4ef28354b277f1","datavalue":{"value":{"amount":"+0.8082506060600281","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":"Q1938585$E0636D74-B994-4C17-BA16-D1500DCEB7C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1938585","badges":[]}}}}}