TY - JOUR
T1 - Infinite families of cyclotomic function fields with any prescribed class group rank
AU - Yoo, Jinjoo
AU - Lee, Yoonjin
N1 - Funding Information:
Y. Lee was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MEST) ( NRF-2017R1A2B2004574 ) and also by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (Grant No. 2019R1A6A1A11051177 ).
Publisher Copyright:
© 2020 Elsevier B.V.
PY - 2021/9
Y1 - 2021/9
N2 - We prove the existence of the maximal real subfields of cyclotomic extensions over the rational function field k=Fq(T) whose class groups can have arbitrarily large ℓn-rank, where Fq is the finite field of prime power order q. We prove this in a constructive way: we explicitly construct infinite families of the maximal real subfields k(Λ)+ of cyclotomic function fields k(Λ) whose ideal class groups have arbitrary ℓn-rank for n = 1, 2, and 3, where ℓ is a prime divisor of q−1. We also obtain a tower of cyclotomic function fields Ki whose maximal real subfields have ideal class groups of ℓn-ranks getting increased as the number of the finite places of k which are ramified in Ki get increased for i≥1. Our main idea is to use the Kummer extensions over k which are subfields of k(Λ)+, where the infinite prime ∞ of k splits completely. In fact, we construct the maximal real subfields k(Λ)+ of cyclotomic function fields whose class groups contain the class groups of our Kummer extensions over k. We demonstrate our results by presenting some examples calculated by MAGMA at the end.
AB - We prove the existence of the maximal real subfields of cyclotomic extensions over the rational function field k=Fq(T) whose class groups can have arbitrarily large ℓn-rank, where Fq is the finite field of prime power order q. We prove this in a constructive way: we explicitly construct infinite families of the maximal real subfields k(Λ)+ of cyclotomic function fields k(Λ) whose ideal class groups have arbitrary ℓn-rank for n = 1, 2, and 3, where ℓ is a prime divisor of q−1. We also obtain a tower of cyclotomic function fields Ki whose maximal real subfields have ideal class groups of ℓn-ranks getting increased as the number of the finite places of k which are ramified in Ki get increased for i≥1. Our main idea is to use the Kummer extensions over k which are subfields of k(Λ)+, where the infinite prime ∞ of k splits completely. In fact, we construct the maximal real subfields k(Λ)+ of cyclotomic function fields whose class groups contain the class groups of our Kummer extensions over k. We demonstrate our results by presenting some examples calculated by MAGMA at the end.
KW - Class group rank
KW - Cyclotomic function field
KW - Ideal class group
KW - Kummer extension
KW - Maximal real subfield
UR - http://www.scopus.com/inward/record.url?scp=85098657798&partnerID=8YFLogxK
U2 - 10.1016/j.jpaa.2020.106658
DO - 10.1016/j.jpaa.2020.106658
M3 - Article
AN - SCOPUS:85098657798
VL - 225
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
SN - 0022-4049
IS - 9
M1 - 106658
ER -