{"entities":{"Q711575":{"pageid":713424,"ns":120,"title":"Item:Q711575","lastrevid":63727521,"modified":"2026-04-11T15:08:22Z","type":"item","id":"Q711575","labels":{"en":{"language":"en","value":"A Dirichlet unit theorem for Drinfeld modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806735"}},"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":"Q711575$98E254AA-66D3-40EB-9C9F-926AB22C730C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a380aa62bd1d8ae9679afb21da0de38a4ed9323e","datavalue":{"value":{"text":"A Dirichlet unit theorem for Drinfeld modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q711575$C2F39655-CD8E-4A33-B438-E4C1AD483E8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"747ef8e05a75fafbcf9c936e71197d88fd3a3fde","datavalue":{"value":"1217.11062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$6CF96380-9200-4254-9B8F-10D0735DCF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b75e29c82dd3940ae78d8e211999a661a252bd","datavalue":{"value":{"entity-type":"item","numeric-id":246325,"id":"Q246325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$EACC893A-9F39-4DFF-B1EC-C03E025A741E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$2DBC0977-B667-481B-B733-401C67B686A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09144b649555c784d4a38ccd8313b58ed480e0c2","datavalue":{"value":{"time":"+2010-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q711575$79B2307C-8341-4571-BBBC-F37B3D5D0294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0791cfcc0fea65a1f0ee3d17963fafaa61c1f3ed","datavalue":{"value":"https://arxiv.org/abs/0910.3142","type":"string"},"datatype":"url"},"type":"statement","id":"Q711575$7B4C21A5-A6F4-4D14-98C1-C683AB0D5036","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cab5a18fd3cbe19819787a2a74c70f81519cffc","datavalue":{"value":"Let \\(k\\) be a finite field of \\(q\\) elements, \\(K\\) a finite extension of the rational function field \\(k(t)\\), \\(R\\) the integral closure of \\(k[t]\\) in \\(K\\), \\(E\\) the additive group \\({\\mathbf G}_{a,R}\\) equipped with an action \\(\\varphi\\) of \\(k[t]\\) given by a \\(k\\)-algebra homomorphism  \\[ \\varphi:k[t]\\to \\text{End}({\\mathbf G}_{a,R}):t\\mapsto t+a_1\\tau+\\dots+a_n\\tau^n, \\]  \\(\\tau\\) the \\(q\\)-th power Frobenius endomorphism, \\(a_i\\in R\\), \\(a_n\\neq 0\\). This is a model over \\(R\\) of a Drinfeld module of rank \\(n\\) over \\(K\\). Let \\(\\text{Lie}_E\\) be the tangent space at zero of \\(E\\). Let \\(K_\\infty:=K\\otimes_{k(t)}k((t^{-1}))\\). There is a short exact sequence  \\[ \\Lambda_E\\to \\text{Lie}_E(K_\\infty^{\\text{sep}})\\twoheadrightarrow E(K_\\infty^{\\text{sep}}), \\]  where the \\(k[t]\\)-module \\(\\Lambda_E\\) is discrete in \\(\\text{Lie}_E(K_\\infty^{\\text{sep}})\\) and free of rank \\(n\\) times the separable degree of \\(K\\) over \\(k(t)\\). This sequence is \\(G=\\text{Gal}(k((t^{-1}))^{\\text{sep}}/k((t^{-1})))\\)-equivariant, and taking invariants gives an exact sequence  \\[ \\Lambda_E^G\\to \\text{Lie}_E(K_\\infty)\\to E(K_\\infty)\\twoheadrightarrow H^1(G,\\Lambda_E). \\]  The author proves that the cokernel of \\(E(R)\\to H^1(G,\\Lambda_E)\\) is finite. The inverse image of \\(E(R)\\) is a discrete and cocompact sub-\\(k[t]\\)-module of \\(\\text{Lie}_E(K_\\infty)\\). As a corollary, the kernel of \\(E(R)\\to H^1(G,\\Lambda_E)\\) is finitely generated. This should be seen as an analogue of Dirichlet's unit theorem in number fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q711575$BDBAF981-2976-4057-A6C7-D8EC5E9B5B89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"673232f43112473145a334497c1a94b085310abc","datavalue":{"value":{"entity-type":"item","numeric-id":290031,"id":"Q290031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$BA1F4EB7-10FA-45C2-8D8A-F0772E18E0EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"828a89d89b687a71d09a8ad5d13795695a26caa3","datavalue":{"value":"11G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$9785A1CD-8768-4C84-BF5D-A21D6295FFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$DA62E2DF-B0F5-49E4-86A1-A60870974A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57135493ef6f860690b3353e1c479db757b020fb","datavalue":{"value":"5806735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$6617A9CC-4988-42FF-8746-0C42D5210B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a70b1e9154b00f95f51d451dc76b9bc8276ea1","datavalue":{"value":"Drinfeld module","type":"string"},"datatype":"string"},"type":"statement","id":"Q711575$13397E30-C8B1-48F2-A0A4-3D65AED9FB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c48ae89c61e994238b77e1f68ea1946f4591203","datavalue":{"value":"Dirichlet unit theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q711575$84B47F51-EF3C-484B-B251-8B51E9BB995C","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":"Q711575$3635F736-2B59-4E16-A622-363948B54A83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"941e3be8f29e475c049ad05a6c8e735b6af86f63","datavalue":{"value":"W2088937365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$0FAC2917-EB23-4561-A292-083F20EFE672","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5413b6fa94fd1f8003aa5f479652bd52451b2a2","datavalue":{"value":{"entity-type":"item","numeric-id":1924218,"id":"Q1924218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$83BB569C-8E74-4858-9981-85A041E466C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37639c0988f90b763e7d8e38cc3280619df8a509","datavalue":{"value":{"entity-type":"item","numeric-id":3134970,"id":"Q3134970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$191CE6FE-51E2-4C60-86A2-2E186B7064BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d8efd1f0afcfcc2f38e14d2bc88cb8f616cbb1","datavalue":{"value":{"entity-type":"item","numeric-id":4948576,"id":"Q4948576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$83D35AEC-7474-48C8-AFD7-61A8783B4CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506293b319e94912e63d4244f28fd182fadb2754","datavalue":{"value":{"entity-type":"item","numeric-id":838463,"id":"Q838463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$9AB2F0B0-BB81-402C-91E6-87B7A910C5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9832a0ecc9b674ab78fc1916bd0c2d0bd6b774c4","datavalue":{"value":{"entity-type":"item","numeric-id":5485722,"id":"Q5485722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$49F22853-70E3-4EA5-B37A-ABFE9A12EC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d479a88c82347b238d9334d987bea8c4feaf563","datavalue":{"value":{"entity-type":"item","numeric-id":4855213,"id":"Q4855213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$EF40598A-2F15-4F5C-AD19-D2303355EFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c812ca814b28f25437c0945e887917288971a7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3396240,"id":"Q3396240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$B74D76A3-8CBF-47AF-981B-315704EE340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83fd5ec4f0b78979bb7907cae4f5e8265ee11f9","datavalue":{"value":{"entity-type":"item","numeric-id":797633,"id":"Q797633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$2ED6CCB4-EFC3-4DFB-906E-78A5550EC17D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54ebf59709deebb5f12245690069731e4d01536f","datavalue":{"value":"10.1007/S00208-010-0506-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711575$7488AAA5-FB9D-4EEF-B72B-4E6D48E6E816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa10514711233ba27e9093b3474ac5062272476f","datavalue":{"value":{"entity-type":"item","numeric-id":2480862,"id":"Q2480862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f26b8384c33e50ed38d05c05b1718a603809f67","datavalue":{"value":{"amount":"+0.7864059805870056","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":"Q711575$C05DCD6B-E7F2-4416-B6F8-2BBC07C2A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f1e06a5118387481483a330779d57a83046586","datavalue":{"value":{"entity-type":"item","numeric-id":3522290,"id":"Q3522290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69333fada6116c8ad5826dd78144371f841a1ed4","datavalue":{"value":{"amount":"+0.7818141579627991","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":"Q711575$5694FFEB-2347-4CD5-B61D-8A4664B81B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7baa9f7fe538caa0c1919c85fc6152f9167ffa48","datavalue":{"value":{"entity-type":"item","numeric-id":906616,"id":"Q906616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8304bd90b57858c71bab86a2a4fef6edd1c4f502","datavalue":{"value":{"amount":"+0.7720906734466553","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":"Q711575$378853BA-3632-4D7A-B92A-945734EDBC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8de2e1ee3b337e72ce974710bf5ca291dcaa91b","datavalue":{"value":{"entity-type":"item","numeric-id":1195990,"id":"Q1195990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a912ad0fb29dab68409241e99fd6b045e290751","datavalue":{"value":{"amount":"+0.7701503038406372","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":"Q711575$68C7B4D6-BA88-4449-842B-239CEDEECB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191361d3a42fb22a52900b77affbfd51fe0af996","datavalue":{"value":{"entity-type":"item","numeric-id":764061,"id":"Q764061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957ce5ff3da86f80f5a5dc0ce8d8813ab355a7a1","datavalue":{"value":{"amount":"+0.7666437029838562","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":"Q711575$80C38E77-609A-468E-AB07-929B35976DE9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711575$C9D33AA7-AC2C-4629-B601-DCC6E6269413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Dirichlet unit theorem for Drinfeld modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Dirichlet_unit_theorem_for_Drinfeld_modules"}}}}}