{"entities":{"Q1163056":{"pageid":1173805,"ns":120,"title":"Item:Q1163056","lastrevid":70028703,"modified":"2026-04-13T11:57:08Z","type":"item","id":"Q1163056","labels":{"en":{"language":"en","value":"Units and class groups in cyclotomic function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3758468"}},"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":"Q1163056$D1B5E9F5-DE92-467B-8CA0-06CC28B8D6DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fffff02b2df769c51a3dc55be9f9eeef5af6e8a","datavalue":{"value":{"text":"Units and class groups in cyclotomic function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163056$8311AB75-8699-4F08-B78B-CDE5DE24171F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b91ebeb482acd90e8eac06bb70058aca71e27d","datavalue":{"value":"0483.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$598679D6-0BAD-4625-91CE-B674159E0591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b94833d4698b3713a755b2d46319622038f98e","datavalue":{"value":"10.1016/0022-314X(82)90045-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$A76BC04D-1A3C-4168-BCCD-B421A39B3291","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c364438683c3cf64b58b0d14d502a7c4c791634","datavalue":{"value":{"entity-type":"item","numeric-id":595010,"id":"Q595010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$F6F1E06A-822D-4035-9947-FC705DA682D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da211acdbadf7e54a61e80d50120e59e201bfb85","datavalue":{"value":{"entity-type":"item","numeric-id":754939,"id":"Q754939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$CE12FF56-9FA4-4FAD-9662-D6199389F81B","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":"Q1163056$9FE7E7C6-662A-4C90-8B6B-AA90AC982526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1163056$2047FFE3-2EDC-4A99-94F0-A7C390267F8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a39ca3d23339d7d376603333391320540e92156","datavalue":{"value":"Let \\(p\\) be an odd prime. Let \\(w\\) denote a primitive \\(p\\)-th root of 1. In the mid 19th century, Kummer proved that the class number of \\(\\mathbb Z[x + w^{-1}]\\) (the ring of integers of the maximal real subfield of \\(\\mathbb Z[w])\\) equals the index in \\(\\mathbb Z[w]^*\\) (the unit group of \\(\\mathbb Z[w])\\) of the subgroup of circular units. The latter is the subgroup of \\(\\mathbb Z[w]^*\\) generated by \\((1 - w^n)/( 1 - w)\\) for \\(1\\le n\\le p-1\\). In 1978 this theorem was generalized by Sinnott to the case that \\(w\\) is a primitive \\(m\\)-th root of 1 where \\(m\\) is an arbitrary positive integer.   Let \\(\\mathbb F\\) be a field with \\(q\\) elements and let \\(k = \\mathbb F(T)\\) be a rational function field in one variable over \\(\\mathbb F\\). For each monic polynomial \\(M\\in \\mathbb F[T]\\), Carlitz associated an abelian extension \\(k(M)\\) of \\(k\\). The field \\(k(M)\\) is analogous in many ways to the cyclotomic extension \\(\\mathbb Q(w)\\) of \\(\\mathbb Q\\).   In this paper the authors prove an analogue of Sinnott's theorem for the ``cyclotomic function field'' \\(k(M)\\). First, they define the ``maximal real subfield'' \\(F(M)\\) of \\(k(M)\\). They establish basic arithmetic properties and analytic class number formulas for the fields \\(k(M)\\) and \\(F(M)\\). Let \\(\\mathfrak O\\) denote the integral closure of \\(\\mathbb F[T]\\) in \\(k(M)\\). The authors define a subgroup \\(C\\) of \\(\\mathfrak O^*\\) (the units of \\(\\mathfrak O)\\) in analogy with the circular units in cyclotomic number fields. Let \\(h\\) denote the class number of the integral closure of \\(\\mathbb F[T]\\) in \\(f(M)\\) and let \\(g\\) denote the number of monic prime factors of the polynomial \\(M\\). The principal result is   \\[  [\\mathfrak O^* : C] = h\\cdot (q - 1)^a \\]   where \\(a = 0\\) if \\(g = 1\\) and \\(a = 2^{g-2}+1- g\\) if \\(g>1\\). The proof of this formula involves the study of distributions on \\(k\\) and an analysis of certain related cohomology groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$CEE4ABFE-B38F-4C55-B798-BFFFC6BC6D59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ffd87102f1d7763f6fc4e4607f0947ea1c20580","datavalue":{"value":"11R60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$2307DAE1-CE93-4C31-95BD-1651E0E77403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$ECDBC1A2-9006-4AF8-A474-6F13C179AC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$47F46451-931C-42FD-9091-9245DCCB9BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$73F24591-2023-4533-ADD7-820DEA14A3E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75b80a825ed7ee94666b1749f9a7666563334786","datavalue":{"value":"3758468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163056$64785166-DE91-4410-9E07-C0F42E898E8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a49e200990085ac110ab4a8b2e0b1fe3245d732","datavalue":{"value":"Kummer theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$213537CC-54A3-4C7B-895D-553212A42BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$AF5F5231-4281-4299-A986-F63C3A2329C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec606f624effcf0d30cab75386ebc744b482a177","datavalue":{"value":"cyclotomic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$6DA1147A-8331-4CD0-AADC-262D6FD1EFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc841083c294a06efb1d62910b757bb723b6cd9","datavalue":{"value":"maximal real subfield","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$596BFAF7-D46F-4A0D-B276-7FE1792EC241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2181a83ffa6b7a75483ee40fef71e5634442087c","datavalue":{"value":"circular units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163056$EF3F96B6-4DA5-4ACC-BEE5-5A3144BADF02","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":"Q1163056$92E91559-191D-4FE5-89BD-EA5E53128F2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23322f0f04dbfe3e83b34e131931543214469794","datavalue":{"value":{"entity-type":"item","numeric-id":4083839,"id":"Q4083839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$FF42C292-3D59-43A7-AE87-DE578905975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67bed218e41e6009fe4379e44a626e1db83dbd5","datavalue":{"value":{"entity-type":"item","numeric-id":1158467,"id":"Q1158467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$EB453A49-071E-42CB-A180-D48D20D8B964","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":"Q1163056$A5D8542C-6F60-4676-B37A-62E8FE09E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24f23d54ad2628575267d8831bbbe2c3fe9630","datavalue":{"value":{"entity-type":"item","numeric-id":4043162,"id":"Q4043162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$38016C6A-55EF-4599-AB7E-D60B95D03F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e713dc63e98058192746c79d669555edad667b44","datavalue":{"value":{"entity-type":"item","numeric-id":3933081,"id":"Q3933081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$EC9900DF-8B70-4ADC-BB1B-16C500425AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804584c8ebd99bf1172438637dd223c1417080d3","datavalue":{"value":{"entity-type":"item","numeric-id":4196518,"id":"Q4196518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$F0146B37-8B75-4206-B548-83E760064CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42c87243cc1a6aa0d292f449880849ee522048d","datavalue":{"value":{"entity-type":"item","numeric-id":4196519,"id":"Q4196519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$60916550-6983-4B8C-8E3D-D81E2396882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8b89f0371cfa6317b6d0abe1525d22e6885128","datavalue":{"value":{"entity-type":"item","numeric-id":5612629,"id":"Q5612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$49075F18-D7ED-49AA-A94C-716BF6369FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8279b28c4358ee2866968595de568d8d1e7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4177670,"id":"Q4177670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$B8E594D5-3ACB-4EB3-B44F-192A1B07A11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad11e5f5dcc621e713dbcb36379dff71357a384","datavalue":{"value":{"entity-type":"item","numeric-id":2562213,"id":"Q2562213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$96479702-9B76-4A93-B018-2FE5EF71AF58","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":"Q1163056$8A7E7E1B-C097-4331-80A0-1AFB5D71D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85756d7ae214338d1e47489608fadaed868a4320","datavalue":{"value":{"entity-type":"item","numeric-id":5566639,"id":"Q5566639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163056$FB675D70-367D-4960-9889-14E2889F256B","rank":"normal"}],"P1643":[{"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":"3f6c488ee1b1120ada613e44724638ed7d1a45cd","datavalue":{"value":{"amount":"+0.9163179993629456","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":"Q1163056$37301322-86FC-4C68-8EA6-7F563A4EEE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9dff52bc9e6c80a193258ef2331dfe8f8e588f","datavalue":{"value":{"entity-type":"item","numeric-id":1335252,"id":"Q1335252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b851ef0b563eb71a987cacd2d6d5d0c457918a0","datavalue":{"value":{"amount":"+0.9123298525810242","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":"Q1163056$E48CA40F-DF11-4E62-8320-78B8C88EE70F","rank":"normal"},{"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":"af319833a19dee3617686d0096362c649d2ee7c2","datavalue":{"value":{"amount":"+0.8965023159980774","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":"Q1163056$F0873D00-BA0A-4292-98DF-23E6C76352F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791aa6bc310f4931d6bc91a9804e78b076828cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2781463,"id":"Q2781463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af319833a19dee3617686d0096362c649d2ee7c2","datavalue":{"value":{"amount":"+0.8965023159980774","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":"Q1163056$0AB7564C-7C48-49DF-AC40-FE4A155F9770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ac937643e74921eac4934cf101dd4880da6c36d","datavalue":{"value":{"entity-type":"item","numeric-id":1355090,"id":"Q1355090"},"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":"Q1163056$389FFECE-E64D-4E8D-820B-8B1972C4718C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Units and class groups in cyclotomic function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Units_and_class_groups_in_cyclotomic_function_fields"}}}}}