{"entities":{"Q2823075":{"pageid":2833813,"ns":120,"title":"Item:Q2823075","lastrevid":83736245,"modified":"2026-05-07T10:33:33Z","type":"item","id":"Q2823075","labels":{"en":{"language":"en","value":"Congruence function fields with class number one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6633324"}},"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":"Q2823075$3BC9C7A8-4540-4B30-9B3E-573CB93046E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0227741184b3632933ef6ee126955c4e14d2b0b1","datavalue":{"value":"1360.11127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$1E60C740-4061-494D-920E-647759ECF40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6017e7f414dd8e8bced61931cf93a490ac4bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":206792,"id":"Q206792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2823075$29AE349C-D236-4F26-90F9-6AAC6E5E9D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e48327f0761fc3c96561ed149a4afea39a6d483","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2823075$62B04B1F-BD78-4D8B-B254-711E2C517BD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2823075$2BA01D85-6C1B-41D5-92BC-335A67411C0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b82d4fd3d0772d393e6023508d4da46aba82a2ac","datavalue":{"value":"https://arxiv.org/abs/1412.4824","type":"string"},"datatype":"url"},"type":"statement","id":"Q2823075$194C371F-6121-4389-820A-B2B20F2428A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4303fe98545b35bf47075ec29852b41ac173d76","datavalue":{"value":"http://pjm.ppu.edu/sites/default/files/papers/22%20%20ClassNumberOne.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2823075$26D5D9F1-9F37-4581-A500-68AAB55E10B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$FD91ECD4-9C30-48B8-B148-EEC88BBE8C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$76FB01D1-E7C2-4E61-B44B-58E00ADCD010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ffd87102f1d7763f6fc4e4607f0947ea1c20580","datavalue":{"value":"11R60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$0B0332F3-E226-4579-9645-B4CC7D042662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$CB6652FB-CCBB-4819-95BD-D2D596453BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$57992521-F8E6-4373-A803-8B824AC28838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab9835d0fe79d4053b74449b41ae39277ae6b0c3","datavalue":{"value":"6633324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2823075$34D0DCFA-FA7E-4345-A3EA-060192E5D9CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b478f063238f1a8a713ef3e2802adbffbd3c2d37","datavalue":{"value":"congruence function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$CF0E9904-56AA-4092-AB72-AB4B805323BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4f6c611ca0f2597b01f5065cb51e9ba94beb6b","datavalue":{"value":"class number one","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$FCB47F4D-2AE5-49D3-823C-DE4AF4A04488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2662757798b0fa14ce9194d4adac11ee31698f56","datavalue":{"value":"genus four","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$E78A3062-BE80-4F8B-9D7D-41899E3949EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec606f624effcf0d30cab75386ebc744b482a177","datavalue":{"value":"cyclotomic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$2E048A0E-21FA-4550-9B07-5644E7DAFD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab9a504decf7f1d5a5100ee5161819c416dc33f","datavalue":{"value":"Carlitz module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$F7CF16DF-B711-4413-8916-1769A7F49CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$0F0F1830-D64F-4F45-99F0-F76C08D8234D","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":"Q2823075$F4BAD3D0-D045-4B33-B3D7-F4B4B734D937","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83cbdb31ec167c206b6bf8f3cba25956f71537d","datavalue":{"value":{"entity-type":"item","numeric-id":2343187,"id":"Q2343187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c2a7b65f4301a52345ace1162776699ca47424","datavalue":{"value":{"amount":"+0.93294597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$24585552-3658-43A6-8E68-213BDCBA9E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8781eb735b998591d3788ee74fdc941dde8c78","datavalue":{"value":{"entity-type":"item","numeric-id":2343185,"id":"Q2343185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8317d2900589631d0145d59ea173b4214cee9d66","datavalue":{"value":{"amount":"+0.9274217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$4F410F68-E118-4ED2-B701-61D68B579E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aff6aad9bc5eb407866945246f4c40fb3cf12d6","datavalue":{"value":{"entity-type":"item","numeric-id":5618450,"id":"Q5618450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8400a3b4876129ce3cba0a408dadabf8209496","datavalue":{"value":{"amount":"+0.92550814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$8418A5CA-65D0-4B5F-928F-762B5A259BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af64caf3b6c92652de61a822363432f6a25570d2","datavalue":{"value":{"entity-type":"item","numeric-id":810576,"id":"Q810576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06c53ba574dbf5b49fbf27170eb8901d28f2953","datavalue":{"value":{"amount":"+0.9221303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$2A99B91D-0126-419C-91FD-E0A677D769D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ccac2263bb45c1bf636ed6c437a1b287d8cc15","datavalue":{"value":{"entity-type":"item","numeric-id":5929456,"id":"Q5929456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6bbfccdf844915dd754ff0f2719a893988e731","datavalue":{"value":{"amount":"+0.91967416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$48DF9429-4F95-4A96-92DE-70DB89DC5CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a0ae587f67a34a68e3fb18fbef84ccbde08ab6","datavalue":{"value":{"entity-type":"item","numeric-id":4257589,"id":"Q4257589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661e24075e96ab9d6037b9b708b225eda6838c0b","datavalue":{"value":{"amount":"+0.9030937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$AA976658-886A-4A06-AAE6-100E29810F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c4494e4a8289ad3e1b68b04944036782287db9","datavalue":{"value":{"entity-type":"item","numeric-id":3712398,"id":"Q3712398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661e24075e96ab9d6037b9b708b225eda6838c0b","datavalue":{"value":{"amount":"+0.9030937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$54B00987-C8F5-4641-ACF1-63210D6F9E1A","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":"661e24075e96ab9d6037b9b708b225eda6838c0b","datavalue":{"value":{"amount":"+0.9030937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$4800391A-7F83-41BE-BBC6-D5463A6C2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b983671c9df87cbd5e9e686e187824f0889e189f","datavalue":{"value":{"entity-type":"item","numeric-id":1900889,"id":"Q1900889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad65c50340b9d03e51b3b7babe0003247a5f1e9a","datavalue":{"value":{"amount":"+0.89405835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$1D07F4DB-E09D-4A56-9AD0-7C1353390A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b8c4af6e6377230d3a43644d82caaa4d99409","datavalue":{"value":{"entity-type":"item","numeric-id":1266421,"id":"Q1266421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdadf8474d490d10fe13b6dd04d072910bb95e7","datavalue":{"value":{"amount":"+0.8930834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2823075$0C2258A1-578D-4E6E-8518-C404AD8BA4AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d480b97a5ef08a5de94c810e1825b66fb6709c60","datavalue":{"value":{"text":"Congruence function fields with class number one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2823075$F72A2C98-4CD9-4878-B51E-97C400A07C39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c63370c70c64c369605fb2c1cc379cbce638d49","datavalue":{"value":{"entity-type":"item","numeric-id":6613023,"id":"Q6613023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2823075$3A36854A-628E-41DB-86A2-5330DD0706BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bfc146db895ee1f1b2ff88458ba715379e77958","datavalue":{"value":"\\textit{P. Mercuri} and \\textit{C. Stirpe} [``Classification of algebraic function fields with class number one'', Preprint, \\url{arXiv:1406.5365}] showed that, up to isomorphism, there is only one function field \\(K\\) with exact field of constants \\(\\mathbb F_2\\) of genus \\(g_K=4\\) and with class number \\(h_K=1\\). In the paper under review, the authors provide a different proof of this result. They use the Carlitz-Hayes theory of cyclotomic function fields, which may be outlined as follows: Let \\(k=\\mathbb F_q(T)\\), with \\(k^{ac}\\) the algebraic closure of \\(k\\). For \\(u\\in k^{ac}, M\\in\\mathbb F_q[T]\\), define \\(\\Phi(M)\\in \\text{End}_{\\mathbb F_q}k^{ac}\\) by \\(\\Phi(M)(u)=M(\\phi+\\mu)(u)\\), where \\(\\phi:k^{ac}\\rightarrow k^{ac}\\), \\(\\phi(u)=u^q\\) is the Frobenius automorphism and \\(\\mu:k^{ac}\\rightarrow k^{ac}, \\mu(u)=Tu\\) is multiplication by \\(T\\). Then \\(\\Phi\\) endows \\(k^{ac}\\) with an \\(\\mathbb F_q[T]\\)-module structure, and is called a Carlitz module. If \\(\\Lambda_M\\) denotes the \\(M\\)-torsion points of \\(k^{ac}\\) under this action, then the field \\(k(\\Lambda_M)\\) (obtained by adjoining the points of \\(\\Lambda_M\\) to \\(k\\)) is called a cyclotomic function field (associated with \\(M\\)). To establish the main result, the authors first show that if \\(K\\) is a function field over \\(\\mathbb F_2\\) such that \\(g_K=4\\) and \\(h_K=1\\), then \\(K\\) has a unique rational subfield \\(k=\\mathbb F_2(T)\\) such that \\([K:k]=5\\) and \\(K/k\\) is a cyclic extension. They then use a result of \\textit{M. L. Madan} and \\textit{C. S. Queen} [Acta Arith. 20, 423--432 (1972; Zbl 0237.12007)] to deduce that, up to isomorphism, necessarily \\(K\\subseteq k(\\Lambda_M)\\mathbb F_{2^5}\\), where \\(M=T^4+T+1\\). The bulk of the proof is contained in Theorem 2.5, which asserts that, up to isomorphism, there exists only one field \\(K\\) such that \\(k\\subseteq K\\subseteq k(\\Lambda_M)\\mathbb F_{2^5}\\), and the main result (Theorem 2.7) then follows easily from this.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2823075$8AC9D406-054B-443C-B4CC-06C5F9EFF13B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"acc8825afb1ce7b8ff7cbc2bdce3c2151b0213df","datavalue":{"value":{"entity-type":"item","numeric-id":589792,"id":"Q589792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2823075$F304142F-C707-4354-863D-3AFCD10DF0C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence function fields with class number one","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_function_fields_with_class_number_one"}}}}}