TY - JOUR
T1 - Class groups of global function fields with certain splitting behaviors of the infinite prime
AU - Lee, Yoonjin
PY - 2009/2
Y1 - 2009/2
N2 - For certain two cases of splitting behaviors of the prime at infinity with unit rank r, given positive integers m,n, we construct infinitely many global function fields K such that the ideal class group of K of degree m over F(T) has n-rank at least m - r - 1 and the prime at infinity splits in K as given, where F denotes a finite field and T a transcendental element over F. In detail, for positive integers m, n and r with 0 ≤ r ≤ m - 1 and a given signature (ei,fi), 1 ≤ i ≤ r + 1, such that Σr+1i=1 eifi = m, in the following two cases where ei is arbitrary and fi = 1 for each i, or ei = 1 and fi's are the same for each i, we construct infinitely many global function fields K of degree m over F(T) such that the ideal class group of K contains a subgroup isomorphic to (ℤ/nℤ) m-r-1and the prime at infinity p;∞ splits into r + 1 primes β 1, β2, • • •, P r+1 in K with e(βi/p;∞) = e i and f(βi/p;infin;) = fi for 1 ≤ i ≤ r + 1 (so, K is of unit rank r).
AB - For certain two cases of splitting behaviors of the prime at infinity with unit rank r, given positive integers m,n, we construct infinitely many global function fields K such that the ideal class group of K of degree m over F(T) has n-rank at least m - r - 1 and the prime at infinity splits in K as given, where F denotes a finite field and T a transcendental element over F. In detail, for positive integers m, n and r with 0 ≤ r ≤ m - 1 and a given signature (ei,fi), 1 ≤ i ≤ r + 1, such that Σr+1i=1 eifi = m, in the following two cases where ei is arbitrary and fi = 1 for each i, or ei = 1 and fi's are the same for each i, we construct infinitely many global function fields K of degree m over F(T) such that the ideal class group of K contains a subgroup isomorphic to (ℤ/nℤ) m-r-1and the prime at infinity p;∞ splits into r + 1 primes β 1, β2, • • •, P r+1 in K with e(βi/p;∞) = e i and f(βi/p;infin;) = fi for 1 ≤ i ≤ r + 1 (so, K is of unit rank r).
KW - Class group
KW - Class number
KW - Imaginary function field
KW - Rank of class group
UR - http://www.scopus.com/inward/record.url?scp=77950526243&partnerID=8YFLogxK
U2 - 10.1090/S0002-9939-08-09581-6
DO - 10.1090/S0002-9939-08-09581-6
M3 - Article
AN - SCOPUS:77950526243
SN - 0002-9939
VL - 137
SP - 415
EP - 424
JO - Proceedings of the American Mathematical Society
JF - Proceedings of the American Mathematical Society
IS - 2
ER -