{"entities":{"Q2039738":{"pageid":2050480,"ns":120,"title":"Item:Q2039738","lastrevid":57700812,"modified":"2026-03-31T23:37:51Z","type":"item","id":"Q2039738","labels":{"en":{"language":"en","value":"Cohen-Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7367813"}},"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":"Q2039738$2C9CD514-DA0F-4A86-83CC-CDBD7BA03555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b99a968f97ba2338e35f453e3510da15eeab725","datavalue":{"value":{"text":"Cohen-Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039738$B12A52A7-B97B-4613-BDDC-F2F4C3FAB1D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd382b8627529ee766635119240e400c939b8c8","datavalue":{"value":"1489.11152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$0CECFD57-0B81-4C38-9601-B14C8F9007BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a749854f352be2ab3c31de992bc0d458b983247","datavalue":{"value":"10.1215/00192082-8939615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$BF252548-074F-48C8-936B-79A20D3AEB45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5277a2e4521ad2f65b1fd833f592802c65eb1a0","datavalue":{"value":{"entity-type":"item","numeric-id":2039736,"id":"Q2039736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$5EFE1CE1-0B3D-47CA-8C4C-1DC9F7356A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aff094f356a056e43b888f4045a6da3377fb7a","datavalue":{"value":{"entity-type":"item","numeric-id":2039737,"id":"Q2039737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$B8532E4E-37F8-41F8-8A98-55E1B262A1EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$E548F4F8-22D3-4FD5-9BF7-177658D86161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86486849d03cdb8621ac571bf3978b52d8c04f48","datavalue":{"value":{"time":"+2021-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039738$FF683A9A-452B-4997-9C0A-A194CBB676CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562351c72bebdfa78ac9d660ee10e69585d26584","datavalue":{"value":"https://arxiv.org/abs/1812.11728","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039738$D9CDFF30-EF9C-4DAE-ABD0-5A4406B0A9E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"174cf4e5d46eda303815c9d33e42e55deb6057d4","datavalue":{"value":"Motivated by conjectures of Cohen and Lenstra on \\(p\\)-parts of class groups of number fields, Friedman and Washington determined the distribution of the cokernel of \\(n \\times n\\) matrices with entries in \\(\\mathbb{Z}_p\\) chosen with respect to Haar measure [\\textit{E. Friedman} and \\textit{L. C. Washington}, in: Th\u00e9orie des nombres, C. R. Conf. Int., Qu\u00e9bec/Can. 1987, 227--239 (1989; Zbl 0693.12013)]. More precisely, they show that for any finite abelian \\(p\\)-group \\(H\\), \\[ \\lim_{n \\rightarrow \\infty} \\operatorname{Prob}_{A \\in \\operatorname{Mat}_n(\\mathbb{Z}_p)}(\\operatorname{coker}(A) \\simeq H) = \\frac{1}{|\\operatorname{Aut}_{\\mathbb{Z}}(H)|} \\prod_{i=1}^\\infty(1-p^{-i}). \\] Function field analogues of the Cohen-Lenstra conjectures led Friedman and Washington to also prove that \\[ \\lim_{n \\rightarrow \\infty} \\operatorname{Prob}_{A \\in \\operatorname{GL}_n(\\mathbb{Z}_p)}(\\operatorname{coker}(A-\\operatorname{id}) \\simeq H) = \\frac{1}{|\\operatorname{Aut}_{\\mathbb{Z}}(H)|} \\prod_{i=1}^\\infty(1-p^{-i}). \\] That is, they determine the probability that a random \\(A \\in \\operatorname{Mat}_n(\\mathbb{Z}_p)\\) satisfies both \\(\\operatorname{coker}(A) = 0\\) and \\(\\operatorname{coker}(A-\\operatorname{id}) \\simeq H\\).  The main results of this paper generalize this earlier work. Let \\(r \\ge 1\\) and \\(P_1(t),\\ldots, P_r(t) \\in \\mathbb{Z}_p[t]\\) be monic irreducible polynomials such that their reductions modulo \\(p\\) are distinct and irreducible. Suppose that \\(\\operatorname{deg}(P_r) = 1\\). The authors prove that for any finite abelian \\(p\\)-group \\(H\\), \\[ \\lim_{n \\rightarrow \\infty} \\operatorname{Prob}_{A \\in \\operatorname{Mat}_n(\\mathbb{Z}_p)} \\left( \\begin{array}{c} \\operatorname{coker}(P_1(A)) = \\cdots = \\operatorname{coker}(P_{r-1}(A)) =0\\\\ \\text{ and } \\operatorname{coker}(P_r(A)) \\simeq H. \\end{array} \\right) \\]  \\[ = \\frac{1}{|\\operatorname{Aut}_{\\mathbb{Z}}(H)|} \\prod_{j=1}^r \\prod_{i=1}^\\infty (1-p^{-i \\operatorname{deg}(P_j)}).\\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\] In fact, the authors prove something more general where \\(\\mathbb{Z}_p\\) can be replaced by any complete DVR with finite residue field.  A main step in the arguments is to prove a result about the distribution of the \\(\\mathbb{F}_q[t]\\)-module structure of random matrices over \\(\\mathbb{F}_q\\). An important idea in the proofs is to use a combinatorial tool, the cycle index, and study generating functions that encode information about similarity classes in \\(\\operatorname{Mat}_n(\\mathbb{F}_q)\\).  The authors also give an interesting general conjecture about the simultaneous behavior of \\(\\operatorname{coker}(P_1(A)), \\ldots, \\operatorname{coker}(P_{r}(A))\\) that has already motivated further work in this area.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039738$241FFB1B-2F3F-4EBC-93FA-95B663CEA378","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8b48e54faa2c8ef3677911a6fc0ebcd55da4a85a","datavalue":{"value":{"entity-type":"item","numeric-id":436082,"id":"Q436082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$8F17ABDE-1074-4BC1-B68D-06AEB3A4ED57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f4cb66dd7075cdf4c708090882d01ae8a24d91c","datavalue":{"value":"11N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$55BBC98D-5B4B-4A74-AB32-B4BA9FE60D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fad60f4f20aa9dea89d519269a20a5b36954889e","datavalue":{"value":"05E16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$CFA4C5FA-ED46-486B-B233-08EF0823BFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d92207e5132f33177f4a9d633493fc0d8d742c6d","datavalue":{"value":"11C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$DCA40E9F-A265-445B-94F5-3C273BA0CEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70859ede1ca06ac7d3be51584cbccead36f691b1","datavalue":{"value":"15B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$742A2484-1574-4758-A5DE-BF91646683CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87d6f8946381eec3fa4baa36bfb394cc7d1e5192","datavalue":{"value":"7367813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$6BEFC967-CC1A-4772-BCCA-8D8BF4DA631C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a8b0f9fac41a0d5f18f52be2eb8fa1a4950d48","datavalue":{"value":"\\(p\\)-adic random matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039738$B26C0C8A-220F-42BB-B1D3-DC1577DECBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3e5b339dff6112342e066c5e0d7e8594be9c26","datavalue":{"value":"cokernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039738$92D8CC1F-EB22-4207-AC9F-EF75629E33A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e629d9ff3439b4dcfb4f72a1580fb88f19707e","datavalue":{"value":"Cohen-Lenstra heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039738$C44ED4E3-326D-4596-98DD-EC0E6A3E5814","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":"Q2039738$EDBCE85D-D3B2-4F60-A421-F6AEEB18EE7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0af0e8e876b081e15ac5be86fb16e1f49733e69c","datavalue":{"value":"W3156180691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039738$9967CC19-E064-4B83-86FC-891F51311415","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8d84655db8906d19fde16bb2b5e23397a3b9cc","datavalue":{"value":{"entity-type":"item","numeric-id":3222942,"id":"Q3222942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$D245BBC2-1E30-485E-8272-5240A89B6638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45af1243483a375815fae70dbf60b6785a3fcb78","datavalue":{"value":{"entity-type":"item","numeric-id":291013,"id":"Q291013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$4F1224D3-D70F-456B-9B97-C41A8861518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1139574a39623c56493c95b8460707a2291d4bdb","datavalue":{"value":{"entity-type":"item","numeric-id":769480,"id":"Q769480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$1042C707-A88E-45BF-A7D9-0FA39A3F7557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da83837163fcb63be639c55f5e9fc8554b06e353","datavalue":{"value":{"entity-type":"item","numeric-id":2761195,"id":"Q2761195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$2DF23B52-6DBB-4827-A975-D824B1C38AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d153d64a7fba2002d73b96e5e0b07993e4bd6a","datavalue":{"value":{"entity-type":"item","numeric-id":2509497,"id":"Q2509497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$510733A7-8B38-453C-AB04-DE47F437E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a2a361839c4e790990fded2d947460a3b6ecec","datavalue":{"value":{"entity-type":"item","numeric-id":2003729,"id":"Q2003729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$72AE9A17-13B9-49DE-8180-625FEBA6B108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109b951fece67b58eb9c371eeb251af998b2932","datavalue":{"value":{"entity-type":"item","numeric-id":3035404,"id":"Q3035404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$4D865BF8-3D7E-4249-A9C0-E1ACD866ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2b09c32b8ee4ebc382697a6c362e34dd615bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1160128,"id":"Q1160128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$C8D31BC4-B829-473E-A09A-1029DAA6997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d52dc18655f16597f39f3a65fc0860fb432ae","datavalue":{"value":{"entity-type":"item","numeric-id":975100,"id":"Q975100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$A071A6BE-A84A-48EC-8045-1601714B67FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4ff99b5a7ac061aa7dacbeb40465d3e6d38145","datavalue":{"value":{"entity-type":"item","numeric-id":4328336,"id":"Q4328336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$CDE48E54-BC29-4555-81A6-022771EE1F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43791bb3aa6d1808174c320d6a92f3566d3077e3","datavalue":{"value":{"entity-type":"item","numeric-id":4254917,"id":"Q4254917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$428A4054-6E8A-463D-992C-CCC573D35E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$0FC09271-5EC3-467D-B94D-986335D306B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189eb6ed04b94dd4a7aa3696ed65ce2249b9328","datavalue":{"value":{"entity-type":"item","numeric-id":1823246,"id":"Q1823246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$C898793D-842B-4881-987D-2672B193FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88db0fa5a1eb359aee4356cfefeeb4be9c9e090a","datavalue":{"value":{"entity-type":"item","numeric-id":3030902,"id":"Q3030902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$56EBE47A-C839-40D1-A2D4-EB3043940DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfda51101fdfc826dd3ea7b656a9562999059f88","datavalue":{"value":{"entity-type":"item","numeric-id":5280066,"id":"Q5280066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$4A8066EC-70B0-4427-BF4F-44824B631189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb58c0172da902419e377088b44e0d96b1f9c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5376848,"id":"Q5376848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039738$4FA1AFF1-FE0B-4528-86E1-5020F2C0C45D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c2ac527275d7695bb3de085ad175cc9ea01d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2136925,"id":"Q2136925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55817ce78762daf8e7f1e1400a355c3624932bc5","datavalue":{"value":{"amount":"+0.8842769265174866","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":"Q2039738$07649EC9-5916-4F2E-B15C-F8AAA34206E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468e6f7a1d587e09312930e534461708bdd45057","datavalue":{"value":{"entity-type":"item","numeric-id":5376848,"id":"Q5376848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5dd7d1dc0af9a4254fca4edc5f104d9d7edb5e","datavalue":{"value":{"amount":"+0.8703458309173584","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":"Q2039738$0580326D-629D-479F-A268-A3287D735788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b506ee86beed4490168124c5f9abefde9d00458","datavalue":{"value":{"entity-type":"item","numeric-id":6133255,"id":"Q6133255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e3a38b0893cb13ccd76a580331f903813027f7","datavalue":{"value":{"amount":"+0.8657841682434082","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":"Q2039738$4A39ED62-7414-41E5-AD89-B13FC5D0FCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f81a106ba4ca80da26aa082068514dad91138e","datavalue":{"value":{"entity-type":"item","numeric-id":2509497,"id":"Q2509497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19c99483cb76b9a5c94d693bac97e14957e2c31","datavalue":{"value":{"amount":"+0.8266445994377136","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":"Q2039738$EC57C9CC-8349-435D-B07E-81E349A6DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30a83ee0af43aa2e1b3272c493c8000a8f873a9","datavalue":{"value":{"entity-type":"item","numeric-id":2003729,"id":"Q2003729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e631db5be6b0a532123aa857798da61fa0520f","datavalue":{"value":{"amount":"+0.8032656311988831","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":"Q2039738$BC675D15-38F8-455C-AD39-F774B23494FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2039738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2039738"}}}}}