{"entities":{"Q1932389":{"pageid":1943131,"ns":120,"title":"Item:Q1932389","lastrevid":73933707,"modified":"2026-04-14T17:46:47Z","type":"item","id":"Q1932389","labels":{"en":{"language":"en","value":"Infinite class towers for function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6126847"}},"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":"Q1932389$9E0D1CEA-7EFE-4048-9930-9A9FA4079F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26ab28a81cd45a82291c3383e6ac8990d2c78677","datavalue":{"value":{"text":"Infinite class towers for function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1932389$131E3A48-5D42-42F9-86AF-FFD2AAB2CFD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4f8e3640026c71954caa86f6ac31595f5fb0be8","datavalue":{"value":"1325.11123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$552B48E8-6AC2-417A-B2C5-F5D529CC6D4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b5e6c609fbe06c4f938343d646cfe0af97c1325","datavalue":{"value":{"entity-type":"item","numeric-id":624652,"id":"Q624652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$E6B1F22D-D150-491D-A9F7-472E5BD8B49F","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":"Q1932389$23E83E13-91A6-4FE6-8F4F-A36580357F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79256387aebd47d6a8dc87509032c2f4d5e302a3","datavalue":{"value":{"time":"+2013-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1932389$050F9588-BBC6-4BD9-8323-4DC3B4F233C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0e1696e7752b20a9df2c2a96f10e97edfcb19ee","datavalue":{"value":"https://arxiv.org/abs/1105.1440","type":"string"},"datatype":"url"},"type":"statement","id":"Q1932389$65033F74-90F4-4EE2-97BF-AA9FC1119F4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdbb3367e654a4f317e91c91eb4afe55fb74ef2a","datavalue":{"value":"Let \\(K={\\mathbb F}_q(t)\\) be the rational function field of characteristic \\(p\\) and let \\(A={\\mathbb F}_q[t]\\). Let \\(K_0\\) be a finite separable extension of \\(K\\). Let \\(S_{K_0}\\) be the set of infinite places in \\(K_0\\). For \\(i=0,1,2, \\ldots,\\) let \\(K_{i+1}\\) be the maximal abelian unramified \\(p\\)-extension of \\(K_i\\) in which all infinite primes of \\(K_i\\) decompose fully. If \\(K_i \\subsetneqq K_{i+1}\\) for all \\(i\\), we say that \\(K_0\\) admits an \\textit{infinite Hilbert \\((p,S_{K_0})\\)-class field tower}. Let \\({\\mathcal O}_{K_0}\\) denote the integral closure of \\(A\\) in \\(K_0\\), and \\(Cl_{K_0}\\) and \\(\\tilde{Cl}_{K_0}\\) the ideal class group of \\(K_0\\) and of \\({\\mathcal O}_{K_0}\\) respectively. \\textit{R. Schoof} proved in [J. Number Theory 41, No. 1, 6--14 (1992; Zbl 0762.11026)] that if \\(d_p(\\tilde{Cl}_{K_0})\\geq 2+2\\sqrt{ d_p({\\mathcal O}_K^{\\ast})+1}\\), where \\(d_p\\) denotes the \\(p\\)-rank, \\(K_0\\) admits an infinite Hilbert \\((p,S_{K_0})\\)-class field tower. Schoof also showed that if \\(K_0/F\\) is an intermediate cyclic extension of degree \\(p\\), where \\(p\\) is the characteristic of \\(K\\), then \\(d_p(\\tilde{Cl}_{K_0})\\geq \\rho -1-d_p({\\mathcal O}_F^{\\ast})\\) where \\(\\rho\\) denotes the number of places in \\(F\\) that are ramified in \\(K_0\\). Therefore, if \\(\\rho\\geq 3+d_p({\\mathcal O}_k^{\\ast}) +2\\sqrt{d_p({\\mathcal O}_{K_0}^{\\ast})+1}\\) then \\(K_0\\) admits an infinite Hilbert \\((p,S_{K_0})\\)-class field tower.  The main result of the paper is: let \\(P\\) be an irreducible polynomial in \\({\\mathbb F}_q[t]\\). Suppose that there exists a cyclotomic function field \\(K(\\lambda_{P^m})\\) for some \\(m\\in{\\mathbb N}\\) and a cyclic unramified extension \\(H/K(\\lambda_{P^m})\\) of prime degree \\(h\\neq p\\) such that all the infinite places split completely which satisfy either of the following two conditions:  (I) \\(p||\\tilde{Cl}_H|\\), \\(p\\nmid |\\tilde{Cl}_{K(\\lambda_{P^m})}|\\) and \\(f^2_{p,h}-4f_{p,h} \\geq \\frac{4h\\Phi(P^m)}{q-1}\\);  (II) \\(p\\nmid |\\tilde{Cl}_H|\\) and \\(h\\geq \\frac{4p\\Phi(P^m)}{q-1}+4\\),  where \\(f_{p,h}=o(p\\bmod h)\\), \\(\\Phi(P^m)=q^{dm}-q^{d(m-1)}\\) with \\(d=\\deg P\\). Then there exist a function field \\(K_0/K\\) ramified only at \\(P\\) and \\(\\infty\\) that admits an infinite Hilbert \\((p,S_{K_0})\\)-class field towers.  As an application the author shows that there exist extensions \\(K_0\\) over cyclotomic function fields \\(K(\\lambda_{P^m})\\), ramified over \\({\\mathbb F}_q(t)\\) only at one regular finite prime \\(P\\in{\\mathbb F}_q [t]\\) (that is \\(p\\nmid |\\tilde{Cl}_{K(\\lambda_P)}|)\\) which admit an infinite \\((p, S_{K_0})\\)-class field tower.  Finally the author provides some examples of fields \\(K_0\\) with infinite \\((p,S_{K_0})\\)-class field tower. Namely: (1) \\({\\mathbb F}_q (t)(\\lambda_P)\\), where \\(q=3\\) and \\(P(t)=2+2t+t^4\\) or \\(2+t+t^4\\); (2) \\({\\mathbb F}_7(t)(\\lambda_{t^2})\\); (3) \\({\\mathbb F}_{11}(t)(\\lambda_{t^2})\\); (3) \\({\\mathbb F}_5(t)(\\lambda_{t^3})\\); (4) \\({\\mathbb F}_3(t)(\\lambda_{t^4})\\); (5) \\({\\mathbb F}_3(t)(\\lambda_{t^5})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1932389$58ED3FB5-C30A-4C52-B778-466EEFA2C122","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ffd87102f1d7763f6fc4e4607f0947ea1c20580","datavalue":{"value":"11R60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$2CA6B906-6DAF-4991-ADBD-8D499CB4FB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$2B5528F8-EB84-4A4A-B762-2ED9FBA37837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e38291b153f68d7d16006251d170c1bb964f37e9","datavalue":{"value":"6126847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$6802A6C5-637B-4FCC-91A6-D3C43CF961FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6edc7054283f0461fc41bab8eff3b257b2d104a","datavalue":{"value":"class field towers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1932389$D17645C3-5407-4AAB-9E4A-8F5F725564B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d323af171118dde8bf40063d7510dcbe59189d","datavalue":{"value":"cyclotomic function fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1932389$6D867EAF-D624-4F4E-BDC5-EEF28A343E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1932389$62407F01-2594-440A-A9F6-2D9DF5704DA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$49CFD536-8FB8-4D3B-931C-09A180F1DF6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5199c731888cb3ba10630bedfbd9575640bb4daa","datavalue":{"value":{"entity-type":"item","numeric-id":13434,"id":"Q13434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$7BCA5751-C67E-451F-9F64-090E01E31AFB","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":"Q1932389$78A68C9D-27DB-4B98-AC36-52D2CDB8F2B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffc54f81b0926f422c5c2fc574b5d162cb54d677","datavalue":{"value":"W1967490414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$CD2C3642-D7A3-4E36-95A2-9A3399AD032C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7929d9540cf12065db0cfc91bbaed9b81ac01c39","datavalue":{"value":{"entity-type":"item","numeric-id":4522639,"id":"Q4522639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$8854E9E9-C121-40D8-A86C-89BC879ECEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e468d2bf74ac86193a6ee23677ab2a56104f03","datavalue":{"value":{"entity-type":"item","numeric-id":4257589,"id":"Q4257589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$D74CC7E9-3A27-4C3F-AC7F-F5CD5A8AEA7E","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":"Q1932389$39B26E38-94DA-4FD4-8C3D-2C8044B15A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c812f60fb07d93462d207ac05ab29c79eb70356f","datavalue":{"value":{"entity-type":"item","numeric-id":3712398,"id":"Q3712398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$1F833A07-83C4-465C-808D-5A2CE3CE0621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9facdf1f4172071cc3bd648e25a75cbe897baaf","datavalue":{"value":{"entity-type":"item","numeric-id":687537,"id":"Q687537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$BA15D9EC-B016-4DD1-BFD0-8B04A3998350","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":"Q1932389$E00DD3AC-057D-4C20-AB42-4B19C5F7A3F3","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":"Q1932389$BCDA7530-E671-4114-9301-3185D00D2CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae00becdda0fed785b6c7717d7f826a3208aec82","datavalue":{"value":{"entity-type":"item","numeric-id":4234794,"id":"Q4234794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$6A917575-8F8F-4C6A-98AC-8313A98300F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070f389b61802b0414a8098c06934ccfa68659cb","datavalue":{"value":{"entity-type":"item","numeric-id":1187809,"id":"Q1187809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$FAFC00D4-F03D-4488-8CEA-A24DDAF351DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b961a964cced8f3ae9c39770045ac6bdc7178ee","datavalue":{"value":{"entity-type":"item","numeric-id":4234800,"id":"Q4234800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1932389$56DBAA92-9887-4452-AEAF-23E29944DC85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cde83cb0823a1e341152a74ee79cbf60bb0ca6ad","datavalue":{"value":"10.1016/J.JNT.2012.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1932389$6C8C1D0C-33C9-4657-9D82-F1252D768CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10253ff587d025025974e8f4a61fe8ff3617cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2391106,"id":"Q2391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f416b417a22ed7c986dc5d2700e395dc57d2d15","datavalue":{"value":{"amount":"+0.8720115423202515","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":"Q1932389$0DE95EBD-F2D5-4FA3-8874-7D4CF2852AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc8a7f1130ab8582ad87624fc34def1f266c89a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326235,"id":"Q5326235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41302ca092ccfadfd262eea948b97c4290a40066","datavalue":{"value":{"amount":"+0.8587944507598877","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":"Q1932389$2B909110-CAE9-4ED3-8D6A-97FBA453B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e11ccd2c5222e20ff15f4fd71e41c92ff9b4a31","datavalue":{"value":{"entity-type":"item","numeric-id":3717164,"id":"Q3717164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2549b17bd00e4d89713c5e488cbfb623e754c37","datavalue":{"value":{"amount":"+0.856254518032074","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":"Q1932389$70C001E0-74D4-4490-960C-BC8F7208A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f6aefcd5690f6dad8f1739219376e5335e3478","datavalue":{"value":{"entity-type":"item","numeric-id":5419280,"id":"Q5419280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9abfa470bb329c5801875429ca34572d308b4d","datavalue":{"value":{"amount":"+0.8502708673477173","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":"Q1932389$83AAF241-E476-4E5D-B961-6A089C9FFBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34c6f5f0d3213d3d47e44df24b44f2e52ef93a0","datavalue":{"value":{"entity-type":"item","numeric-id":4234804,"id":"Q4234804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b0e344d5b5eca752c0145ea4f1e1752c98d862","datavalue":{"value":{"amount":"+0.8426963686943054","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":"Q1932389$4C135672-02AC-4298-BA89-8FE1C2A68C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite class towers for function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_class_towers_for_function_fields"}}}}}