{"entities":{"Q1355090":{"pageid":1365829,"ns":120,"title":"Item:Q1355090","lastrevid":70227540,"modified":"2026-04-13T13:19:53Z","type":"item","id":"Q1355090","labels":{"en":{"language":"en","value":"On the index of cyclotomic units in characteristic \\(p\\) and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1011056"}},"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":"Q1355090$0571F896-C219-496E-9236-89C5DBAE8A80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab048753ea18dc2781f253c4bece2df20010146d","datavalue":{"value":{"text":"On the index of cyclotomic units in characteristic \\(p\\) and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355090$3849171D-1349-4E00-BBC0-5BBCE8E169A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c83e2ef270fdaf2d49e64abbb1061fa3a0595b4","datavalue":{"value":"0896.11023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$6469FF83-EFA0-4BEF-B7D4-52E7A30C7C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"546c752d925926e8bf08961fb94e8ea88f856749","datavalue":{"value":{"entity-type":"item","numeric-id":225378,"id":"Q225378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$7AB72CB9-A879-4E2F-9F2B-419BDEC5C94F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$E8145AAF-5FEF-42CE-9B2F-955A78CD2C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355090$395C6845-47EF-40E9-9C52-3B876F41EB1B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa6ea8bdecfc5ec95a6c9b3dd3b932aa9d950c37","datavalue":{"value":"Let \\(k\\) be a global function field of characteristic \\(p\\) with constant field \\(\\mathbb{F}_q\\). Let \\(\\infty\\) be a fixed place of \\(k\\) of degree \\(d_\\infty\\) and denote by \\(A\\) the Dedekind ring of all elements of \\(k\\) that are integral outside \\(\\infty\\). For an ideal \\({\\mathfrak m} \\subseteq A\\) let \\(K_{\\mathfrak m}\\) be the cyclotomic extension of \\(k\\) obtained from a sgn-normalized rank 1 Drinfeld module over \\(A\\). Let \\(H_{\\mathfrak m}\\) be the maximal subextension in which \\(\\infty\\) is completely decomposed. Especially, \\(H_{\\mathfrak e}\\) is the Hilbert class field of the pair \\((k,\\infty)\\). Write \\(O_{K_{\\mathfrak m}}\\) resp. \\(O_{H_{\\mathfrak m}}\\) for the corresponding integral closures of \\(A\\).   The author proves two theorems which are function field analogues of classical results by Kummer and Sinnott and which generalize earlier versions for \\(d_\\infty =1\\):   Theorem 1. Let \\(\\overline C_{\\mathfrak m}\\) be the extended group of cyclotomic units of \\(K_{\\mathfrak m}\\) (the definition is too involved to be repeated here). If \\({\\mathfrak m}\\) has more than 2 different prime divisors, assume \\((h(A), q-1)=1\\), where \\(h\\) denotes the class number. Then the index of \\(\\overline C_{\\mathfrak m}\\) in the full unit group \\(O^*_{K_{\\mathfrak m}}\\) is \\((q-1)^a h(O_{H_{\\mathfrak m}})\\), where \\(a\\) is determined by \\({\\mathfrak m}\\). (The proof is similar to the one with \\(d_\\infty=1\\) [\\textit{L. Yin}, Compos. Math. 109, No. 1, 49--66 (1997; Zbl 0902.11023)]. He conjectures that the condition on \\(h(A)\\) in both versions is not really necessary.)   Theorem 2: Let \\({\\mathfrak p} \\in A\\) be a prime of degree \\(>1\\). If \\(p\\) divides the class number of \\(O_{H_{ \\mathfrak p}}\\), then \\({\\mathfrak p}\\) divides a Bernoulli ideal \\(B_i\\) with \\(i\\equiv 0\\;(q-1)\\) and \\(1\\leq i\\leq q^{\\deg ({\\mathfrak p})}-2\\). (This generalizes a result of \\textit{L. Shu} [J. Number Theory 49, No. 3, 319--359 (1994; Zbl 0816.11036)] in two ways: the restriction \\(d_\\infty=1\\) is removed and the condition \\(p| h(O_{H_{\\mathfrak p}})/h(O_{H_{\\mathfrak e}})\\) is replaced by \\(p| h(O_{H_{\\mathfrak e}}))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$D762A66D-9B40-4DA5-B729-134A1F59EA33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"81fecba376489c1f9fab9759cfced0cd66311da1","datavalue":{"value":{"entity-type":"item","numeric-id":176862,"id":"Q176862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$B3D08525-C5F8-4C17-B11A-1B137E09C104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"828a89d89b687a71d09a8ad5d13795695a26caa3","datavalue":{"value":"11G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$C7A48D8E-40E9-4B54-ADE3-3A544AB8A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$9E62F06B-D849-4F0B-A479-4FC5C48F593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"192662b2635db680fdde4eb25b7f89dcd10292cd","datavalue":{"value":"11G16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$F8C3C289-7163-4F22-AFED-E7807CE569FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$E4351EA8-F162-4B49-8676-8BB94DF76B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acb815c6ee40503fdb6e9edc052c6a9ed3359f6","datavalue":{"value":"1011056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$0A483B27-640A-445E-AAD8-DF2F9AA9882E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbfce3ea71ba2606939c7e89b51b45d2985992fe","datavalue":{"value":"cyclotomic extension of a function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$E74C3B74-F0A4-42A1-9C81-210CC0AF430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d30420d4eb8747513920118f84854dccf971cd","datavalue":{"value":"unramified elliptic units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$2CC9F1EA-857E-4CE2-BA4F-428E2734C34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6bb1d154ec7e60b6bbfb428aae92fb6cf37102","datavalue":{"value":"sgn-normalized rank 1 Drinfeld module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$C9290931-0A4F-4CBC-9841-378067B8FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43015ccf01309ada99f6221bf7dad7fa63b5083","datavalue":{"value":"cyclotomic units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$34E733E8-38DD-4772-8384-C907C1E774D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$0126004E-F5B6-4F59-91D7-EA695C372367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85446d72f6adbd4048fc2d14f629df49af9e048f","datavalue":{"value":"Bernoulli ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355090$A43F919A-5B77-458F-8AE6-52E44B98EAF0","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":"Q1355090$B1223AF7-B00C-4A61-AD9E-AE3914C9594E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efe0838534740bc36deec2050de5edd21c00aa58","datavalue":{"value":"https://doi.org/10.1006/jnth.1997.2111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355090$FF1BE627-94B4-4A9D-8090-66CE7DC8D7BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be3e78e3c20bb81a86ec80f1f97c4abdbc2f164b","datavalue":{"value":"W2080711212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$BBE97900-2DBF-426A-9A88-6954FBFDF9CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f798bbd106009f4e79215a5f178260f117de3632","datavalue":{"value":{"entity-type":"item","numeric-id":1163056,"id":"Q1163056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$647AD0A2-85FC-4B34-AEE8-E61218385A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27dfab96e54defe4b20b26e9b40d9687e472f540","datavalue":{"value":{"entity-type":"item","numeric-id":1142802,"id":"Q1142802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$6C145778-334F-4972-A14F-5939D645A770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe9002508b6c29b532c2ae29e4db1d05ec9fc92","datavalue":{"value":{"entity-type":"item","numeric-id":4714153,"id":"Q4714153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$AD2EA0D4-B153-49B5-98DD-238F1EEEAED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c14e95cd09dc8b2df244b37487e63d863574b2","datavalue":{"value":{"entity-type":"item","numeric-id":1167212,"id":"Q1167212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$058DE9D8-3D37-4E21-96B4-EA0B7A9881D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203587d89ce098b4e80bbd6a32b5b5721db74343","datavalue":{"value":{"entity-type":"item","numeric-id":3964681,"id":"Q3964681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$407337F2-2346-46D4-ACCD-C44AAE47384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcc07901a7ea7a6a64266c8a15cbb047f57bc77","datavalue":{"value":{"entity-type":"item","numeric-id":3686794,"id":"Q3686794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$310FD3D1-DDBD-4C69-BC28-ACBF618BDBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77f4322f038117b784b5e9b37d8c6f1d6a837a8","datavalue":{"value":{"entity-type":"item","numeric-id":3134952,"id":"Q3134952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$F4096946-F794-49A5-88E7-DAA53046623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c679f3839d6f81fb2313cc396a615554abe06cf6","datavalue":{"value":{"entity-type":"item","numeric-id":804620,"id":"Q804620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$701DC8D9-A4A6-41F2-80F8-302AF578DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14dfcc95734e373d95c135c6e51119291f94b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3134956,"id":"Q3134956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$7E630019-9507-4027-AC1D-AA57B404C75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa615928dc2e1bfc18573f86743781761e8954c7","datavalue":{"value":{"entity-type":"item","numeric-id":4234807,"id":"Q4234807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$910B44ED-5C1B-486C-868F-64BB17B45C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba86834a2ac2d0e2c08d423bdd20e48288705ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1095193,"id":"Q1095193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$915A6FD0-5AE0-4142-A1AE-8C660CC5A803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1237b8aa62f952ac40274afe1f65449e3f2e7c84","datavalue":{"value":{"entity-type":"item","numeric-id":1335252,"id":"Q1335252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$CCC1C377-F77E-47D8-8F70-B5B2CA127C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb812658f785f8bfab8a79ee35bf34f36931cad8","datavalue":{"value":{"entity-type":"item","numeric-id":1342387,"id":"Q1342387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$5A89B908-EAA7-4127-9BBA-CE4D67E39151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a73f4b7b6dadf69ec5411d707c4f0600488f17c","datavalue":{"value":{"entity-type":"item","numeric-id":1252896,"id":"Q1252896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$0148DEF3-8485-47F2-8BE0-DF01C48E478C","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":"Q1355090$B7A6E51C-A9A9-4120-ADD1-39C23261F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450e61a7742eb3996963896a7356088bdbe52b12","datavalue":{"value":{"entity-type":"item","numeric-id":4863729,"id":"Q4863729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$6B5BF404-C3E6-43AE-A293-6119A5C21E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e241eaae92d5829174e63ee60ad6d2c2f583cd","datavalue":{"value":{"entity-type":"item","numeric-id":4360121,"id":"Q4360121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355090$35355047-1828-476D-A0C4-E90A80C46A01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c40895c44805ba17c8377cc2885e38807570e533","datavalue":{"value":"10.1006/JNTH.1997.2111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355090$B48C626B-7BE8-46E6-8F9B-3012B245A8B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a279d727130465d59301723201ec6ce1f274eca","datavalue":{"value":{"entity-type":"item","numeric-id":4360121,"id":"Q4360121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675f87d50f72a3b84b543f5208ec0351aa340213","datavalue":{"value":{"amount":"+0.929822564125061","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":"Q1355090$308375B6-393F-4C7F-A09E-FBCAAAF59AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26bd890d44eb51875eaf84560e025c10afcb4f9","datavalue":{"value":{"entity-type":"item","numeric-id":1163056,"id":"Q1163056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e027906e251af016d99f8202a4fe93c5671f06e","datavalue":{"value":{"amount":"+0.8716791868209839","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":"Q1355090$40640754-47B2-4967-BB27-B25746B67951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3226b6a7b911408a5d0603fe7488761aef00ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4794604,"id":"Q4794604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd636f0a35ab489e1bd8a71a1df075d85cae9d64","datavalue":{"value":{"amount":"+0.858366847038269","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":"Q1355090$56D5AE13-A533-4C87-B7D2-D5622C45D280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dd88cbf6242d9217143eb21952f382acf8ed89","datavalue":{"value":{"entity-type":"item","numeric-id":4286449,"id":"Q4286449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cecf591dd752183ea324604488c1029b92d015","datavalue":{"value":{"amount":"+0.8545142412185669","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":"Q1355090$DBFA7D85-C722-46BC-9E17-EE256BF25516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the index of cyclotomic units in characteristic \\(p\\) and its applications","badges":[]}}}}}