Next Article in Journal
On the Topology of Warped Product Manifolds Minimally Immersed into a Sphere
Previous Article in Journal
Construction of Inequalities for Network Quantum Steering Detection
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extended Genus Fields of Abelian Extensions of Rational Function Fields

by
Juan Carlos Hernandez-Bocanegra
and
Gabriel Villa-Salvador
*,†
Departamento de Control Automático, Centro de Investigación de Estudios Avanzados del Instituto Politécnico Nacional, Mexico City 07360, Mexico
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2025, 14(8), 616; https://doi.org/10.3390/axioms14080616
Submission received: 10 June 2025 / Revised: 22 July 2025 / Accepted: 4 August 2025 / Published: 7 August 2025
(This article belongs to the Section Algebra and Number Theory)

Abstract

In this paper, we obtain the extended genus field of a finite abelian extension of a global rational function field. We first study the case of a cyclic extension of prime power degree. For the general case, we use the fact that the extended genus fields of a composition of two cyclotomic extensions of a global rational function field is the same as the composition of their corresponding extended genus fields. In the main result of the paper, we give the extended genus field of finite abelian extensions of a global rational function field explicitly in terms of the field and extended genus field of its “cyclotomic projection”.
MSC:
11R58; 11R60; 11R29

1. Introduction

The concepts of genus field and extended (or narrow) genus field depend on the respective concepts of Hilbert class field (HCF) and extended (or narrow) Hilbert class field. The theory of the genus goes back to Gauss. The HCF concept is much more recent. The first to translate Gauss’ genus theory into genus to “modern terms” was Hilbert. Currently, it may be used to study the “easy” part of the HCF of a finite extension of the field of rational numbers.
The notion of genus field for number fields was first introduced by H. Hasse, who defined the genus field of a quadratic extension of Q . Since the genus field is related to the HCF, one natural way to study genus fields is by means of class field theory. However, we may study genus fields of abelian extensions of the rational field by using Dirichlet characters.
For number fields, the definition of Hilbert and extended Hilbert class field are canonically given as the maximal abelian unramified and the maximal abelian unramified at the finite primes of the field, respectively. The definition of the genus field is not absolute, as is the HCF, but depends on an extension of the base field. A. Fröhlich gave a general definition of genus fields for any number field K as follows: K ge : = K F , where F is the maximal abelian extension of the field of the rational numbers Q contained in the Hilbert class field of K. Fröhlich’s definition is also canonical.
We are interested in global function fields. In this context, there are several different definitions of the HCF of a global field K depending on which aspect we are interested in. In this paper, we study the extended genus field of a finite abelian extension K / k , where k = F q ( T ) is a global rational function field. Let p be the infinite prime of k. Then we define the HCF of K as the maximal unramified abelian extension K H of K such that the infinite primes of K (those above p ) decompose fully in K H . B. Anglès and J.-F. Jaulent [1] give the same concept by means of the idèle norm subgroup corresponding to K H . They also define the extended HCF of any global field K by means of the norm subgroup of K H + in the idèle group J K of K. We use the definitions of Anglès and Jaulent of K H and K H + to define the genus field K ge and the extended genus field K gex of K with respect to the extension K / k , by means of their corresponding idéle subgroups. We compare our findings with the concepts of extended genus fields given by Ramírez–Rzedowski–Villa and by R. Clement in [2].
The definition of the extended genus field K ext of a finite abelian extension K / k given by Ramírez–Rzedowski–Villa differs from the one defined by Anglès and Jaulent. In the general case, we have that K gex K ext .
In this paper, we explicitly describe the extended genus field K gex via Anglès and Jaulent’s approach. This result reinforces the connection between these two approaches and highlights the robustness of genus field theory, since we obtain that K gex = K ext . We explore the implications of this equality in the context of algebraic number theory and its applications to the study of class field theory.
We first study the case of a cyclic extension of k of prime power degree l n . We consider four possible types of primes l: (1) l = p , the characteristic of k (Artin–Schreier–Witt case); (2) l q 1 , l p ; (3) l n | q 1 (Kummer case); and (4) l ρ | q 1 , 1 ρ < n and l n q 1 (“semi-Kummer” case).
Our main results are Theorems 11 and 12. We obtain that K gex = E gex K , where E is the cyclotomic projection of K (see (1) below) and E gex is the maximal abelian extension of E contained in a cyclotomic extension field unramified at the finite primes.
The main tools used in this paper are the Carlitz theory of cyclotomic function fields and class field theory, particularly the concepts of HCF and genus fields developed by Anglès and Jaulent.

2. Notations and General Results

For the general Carlitz–Hayes theory of cyclotomic function fields, we refer to [3]. For local and global class field theory, we refer to [4,5], respectively.
We will be using the following notation. Let k = F q ( T ) be a global rational function field, where F q is the finite field of q elements. Let R T = F q [ T ] and let R T + denote the set of monic irreducible elements of R T . For N R T , k ( Λ N ) denotes the Nth cyclotomic function field where Λ N is the Nth torsion of the Carlitz module. For a D R T , we define D * : = ( 1 ) deg D D . The relevance of D * is that k ( D * n ) k ( Λ D ) in the case n | q 1 .
We will call a field F a cyclotomic function field if there exists N R T such that F k ( Λ N ) . In this way, in the case n | q 1 and D R T , we have that k ( D * n ) is a cyclotomic function field.
Let N R T . The Dirichlet characters χ mod N are the group homomorphisms χ : ( R T / N ) * C * . Given a group X of Dirichlet characters modulo N, the field associated to X is the fixed field F = k ( Λ N ) H , where H = χ X ker χ . We say that F corresponds to the group X and that X corresponds to F. We have that X Hom ( Gal ( F / k ) , C * ) . When X is a cyclic group generated by χ , we have that the field associated to X is equal to F = k ( Λ N ) ker χ , and we say that F corresponds to χ .
Let N R T \ { 0 } , and let N = i = 1 r P i α i be its decomposition as a product of irreducible polynomials. Then ( R T / N ) * i = 1 r ( R T / P i α i ) * . Then, if χ is a Dirichlet character mod N , we have that χ = i = 1 r χ P i , where χ P i is a character mod P i α i .
Given a cyclotomic function field F with Dirichlet group characters X, we have that the ramification index of P R T + in F / k equals | X P | , where X P = { χ P χ X } and χ P is the Pth component of χ . The maximum cyclotomic extension of F, unramified at the finite prime divisors, is the field that corresponds to Y : = P R T + X P This field is denoted as F gex .
We denote the infinite prime of k by p . That is, p is the pole divisor of T, and 1 / T is a uniformizer for p .
Given a finite extension K / k , a definition of HCF K H , and a definition of extended HCF K H + of K, the respective genus field and extended genus field of K with respect to k are the extensions K L such that L is the maximal abelian extension of k contained in K H and in K H + , respectively.
We will use both notations e P ( F | k ) or e F / k ( P ) to denote the ramification index of the prime P of k in F. For the place p we use the notation e ( F | k ) .
When K / k is a finite abelian extension, it follows from the Kronecker–Weber–Hayes Theorem that there exist N R T , n N { 0 } , and m N such that K k n ( Λ N ) m , where, for any F, F m : = F F q m , for any N R T , k n ( Λ N ) : = L n k ( Λ N ) , and L n is the maximum subfield of k ( Λ 1 / T n ) where p is totally and wildly ramified. Then we define
E : = M K k ( Λ N )
where M = L n k m . We call E the “cyclotomic projection of K”, since E is a cyclotomic function field with similar arithmetic properties as K, except for wild ramification of the infinite prime.
When K = k ( γ D ) is a Kummer extension, where | q 1 , γ F q * and D R T is free of - powers, then we have that K k ( Λ D ) if and only if γ ( 1 ) deg D mod ( F q ) . If γ ¬ ( 1 ) deg D mod ( F q ) , we have that E = k ( D * ) where D * ( 1 ) deg D D is the cyclotomic projection of K.
Let H be the decomposition group of the infinite primes in K E ge / K , and H = H | E ge . Since E ge K = E K , from the Galois correspondence, we have that H H . The group H 1 = H | E is also the decomposition group of the infinite primes of K in K E / K . Furthermore, H I ( k ( Λ N ) / k ) C q 1 , where I denotes the inertia group of p . Therefore, H is a cyclic group and H H H 1 . We have that K ge = ( E ge K ) H = E ge H K .
For any global function field L, P L denotes the set of all places of L.
For x Z , v l ( x ) denotes the valuation of x at l. That is, v l ( x ) = γ if l γ | x and l γ + 1 x . We write v l ( 0 ) = .

3. Basic Results

One result of ramification of tamely ramified extensions, used frequently, is the following theorem.
Theorem 1
(Abhyankar’s Lemma). Let L / K be a separable extension of global function fields. Assume that L = K 1 K 2 with K K i L , 1 i 2 . Let p be a prime divisor of K and P a prime divisor in L above p . Let P i : = P K i , i = 1 , 2 . If at least one of the extensions K i / K is tamely ramified at p , then
e L / K ( P | p ) = lcm [ e K 1 / K ( P 1 | p ) , e K 2 / K ( P 2 | p ) ] ,
where e L / K ( P | p ) denotes the ramification index.
Next, we present some basic facts on finite cyclic groups and we apply them to the case of a finite field.
Let G be a cyclic group of order n, say G = a . Let Λ m be the unique subgroup of G of order m where m | n . We have Λ = a n / m . Let t N and let G t : = { x G x = y t for some y G } . We have G t = im φ t , where φ t : G G is given by φ t ( x ) = x t .
Note that if t N and d = gcd ( t , n ) , then G d = G t , namely, if α , β Z are such that α t + β n = d , we have
G d = G α t + β n = ( G α ) t ( G n ) β G t · 1 = G t .
Conversely, let t = κ d with κ N . Then G t = ( G κ ) d G d .
We also have that Λ d = Λ t since, if x Λ t , then x t = 1 = ( x t ) α · ( x n ) β = x α t + β n = x d so that Λ t Λ d . Conversely, if t = κ d and if x Λ d , then 1 = x t = ( x d ) κ = 1 κ = 1 .
Now, if d | n , then G d = Λ n / d because we have the exact sequence
1 Λ d G φ d G d 1 ,
obtaining | G d | = | G | | Λ d | = n d = | Λ n / d | and, if x G d , there exists y G such that x = y d that implies x n / d = ( y d ) n / d = y n = 1 so that G d Λ n / d . Thus G d = Λ n / d .
We apply the previous basic results to the multiplicative group of the finite field F q * , which is a cyclic group of q 1 elements.
Lemma 1.
Let l be a prime number and n N , with l n | q 1 . Let F : = F q β l n with β F q * . Then F = F q l s for some 0 s n .
Proof. 
Let μ = β l n . Then μ l n = β F q * . Set s, 0 s n , to be the minimal non-negative integer such that μ l s = θ F q * . If s = 0 , then μ = θ F q * and f ( X ) = X l s θ = X θ is irreducible.
For any s, we will see that f ( X ) = X l s θ is an irreducible polynomial. We have f ( X ) = X l s θ = j = 1 l s ( X ζ l s j μ ) , where ζ m denotes a primitive m-th root of unity. Let G : = Gal ( F q ( μ ) / F q ) . Let σ G , σ Id and let σ ( μ ) = ζ l s j μ , where j = j 0 l b , with gcd ( j 0 , l ) = 1 . We choose an element σ G such that b is minimal.
We have σ ( μ ) = ζ l s j 0 l b μ = ζ l s b j 0 μ . Let i 0 Z be such that j 0 i 0 1 mod l s . Then σ i 0 ( μ ) = ζ l s b j 0 i 0 ( μ ) = ζ l s b μ . This G is a cyclic group of order l s b and
ε = 1 l s b ( X ζ l s b ε μ ) = X l s b μ l s b F q [ X ] .
Hence μ l s b F q * . Therefore b = 0 , | G | = l s , and X l s θ = Irr ( μ , X , F q ) is irreducible.
It follows that [ F q ( μ ) : F q ] = | G | = l s and F = F q ( μ ) = F q ( β l n ) = F q ( θ l s ) = F l s . □
Remark 1.
We have F q ( β l n ) = F q l s , where s is the minimal non-negative integer such that μ l s F q * , with μ = β l n .
Corollary 1.
With the above notations, if m N , we have [ F q ( β l n + m ) : F q ] = l s + m .
Proof. 
Set δ = β l n + m , then δ l m = μ = β l n , and μ l s = δ l m + s = θ F q * . Clearly m + s is minimal. □
Next, we consider μ = β l n , with β F q * and [ F q ( β l n ) : F q ] = l s for some 0 s n . Set μ l s = θ F q * , β = μ l n = ( μ l s ) l n s = θ l n s . Hence β G l n s , where G = F q * .
In case that there would exist ε F q * such that β = ε l n s + 1 , it would imply that μ l n = ε l n s + 1 and thus μ = ( ε l n s + 1 ) 1 / l n = ε l n s + 1 n = ε l s + 1 = ε l s 1 . Therefore, X l s 1 ε would have μ as a root. It would follow that [ F q ( μ ) : F q ] l s 1 < l s , contrary to our hypothesis. Therefore, β G l n s \ G l n s + 1 .
Conversely, if β G l n s \ G l n s + 1 , then β = κ l n s where κ is not an l-power. Therefore
μ 1 / l n = ( κ ) l n s ) 1 / l n = κ l s = κ l s ,
hence F q ( μ l n ) F q l s . In the case that F q ( μ l n ) F q l s 1 , it would follow that μ l s 1 F q * contrary to our hypothesis.
We have proved:
Theorem 2.
We have that [ F q ( β l n ) : F q ] = l s if and only if β ( F q * ) l n s \ ( F q * ) l n s + 1 .
A basic result on cyclic groups of prime power degree that we need is the following.
Proposition 1.
Let G be a cyclic group of order l τ , with l a prime number. Given H 1 , H 2 < G , then H 1 H 2 or H 2 H 1 . In particular, H 1 H 2 = H j with j = 1 or j = 2 and if H 1 { Id } and H 2 { Id } , then H 1 H 2 { Id } .
Proof. 
By cyclicity, G has a unique subgroup of each of the divisors of | G | = l τ . These subgroups are Λ 0 Λ 1 Λ τ with | Λ i | = l i . The result follows. □

4. Extended Genus Fields and Class Field Theory

First, we establish the definition of extended genus fields according to Anglès and Jaulent [1].
We have that k F q 1 T is the completion of k at p . Let x k * . Then x is written uniquely as
x = 1 T n x λ x ε x with n x Z , λ x F q * and ε x U ( 1 ) ,
where U ( 1 ) = U p ( 1 ) is the group of one units of k . We write π : = 1 / T , which is a uniformizer at p .
The sign function is defined as ϕ : k * F q * given by ϕ ( x ) = λ x for x k * .
We have that ϕ is an epimorphism and ker ϕ = π × U ( 1 ) .
For a finite separable extension L of k , we define the sign of L * by the morphism ϕ L : = ϕ N L / k : L * F q * . We have L * ker ϕ L A F q * .
For a global function field L, let P be the set of places of L dividing p . We define the following subgroups of the group of idèles J L as
U L : = v | L v * × v U L v and U L + : = v | ker ϕ L v × v U L v ,
where we denote v if v P and v | if v P . The groups U L L * and U L + L * are open subgroups of J L , the idèle group of L.
Definition 1.
Let K / k be a finite abelian extension. Then the Hilbert class field (HCF)   K H and the extended HCF K H + of K are the fields corresponding to the idèle subgroups U K K * and U K + K * of J K , respectively. By class field theory, the respective genus K ge and extended genus fields K gex with respect to the extension K / k correspond to the idèle subgroups ( N K / k U K ) k * and ( N K / k U K + ) k * of J k , respectively.
By class field theory, we have
Gal ( K H / K ) J K / U K K * .
We have that K H + / K is an unramified extension at the finite prime divisors of K, K H K H + and
Gal ( K H + / K ) J K / U K + K * .
Axioms 14 00616 i001
Let K / k be a finite abelian extension. Then, with the notation given above, if E = M K k ( Λ N ) , we have K gex = D K for some subfield ( E ge H ) gex D E gex for some decomposition group H . In most cases, we have H = { Id } . In this case, ( E ge H ) gex = E gex and K gex = E gex K .
In this paper, we particularly study the case ( E ge H ) gex E gex . A general result is the following.
Proposition 2.
Let K / k be a finite abelian extension and let E be given by (1). Then, if P 1 , , P r are the finite primes of k ramified in K and
e P j ( E ge H | k ) = e P j ( E | k ) = e P j ( E ge | k ) ,
for all 1 j r , it follows that ( E ge H ) gex = E gex .
Proof. 
The group of Dirichlet characters associated with E gex is
Y : = P R T + X P = j = 1 r X P j ,
where X is the group of Dirichlet characters associated with E. Each X P j is cyclic of order e P j ( E | k ) . The field associated with X P j is the subfield of k ( Λ P j ) of degree e P j ( E | k ) over k. It follows that
[ E gex : k ] = j = 1 r e P j ( E | k ) .
Let Z be the group of Dirichlet characters associated to ( E ge H ) gex . The only finite primes of k possibly ramified in ( E ge H ) gex are P 1 , , P r . The group of Dirichlet characters associated to ( E ge H ) gex is j = 1 r Z P j . By hypothesis, X P j = Z P j for all 1 j r . Therefore ( E ge H ) gex = E gex . □
Corollary 2.
We have ( E ge H ) gex E gex there exists 1 j 0 r such that e P j 0 ( E gex H | k ) < e P j 0 ( E | k ) = e P j 0 ( E gex | k ) = e P j 0 ( E gex | k ) .
Proof. 
It follows from Proposition 2 and from the facts that E gex / E ge is not ramified at any finite prime and that p is fully ramified in E gex / E ge . □
In the rest of the section, we will focus on the cases ( E ge H ) gex E gex .
Definition 2.
For a finite abelian extension K / k , we define K ext : = E gex K , where E is given by (1).
In this paper, we will prove that it always happens
K ext = K gex = E gex K ,
where K / k is any finite abelian extension.
Ramírez–Rzedowski–Villa defined K ext for a finite abelian extension K / k . In general, we have K gex K ext .
We recall the following theorem from class field theory.
Theorem 3.
Let F be a global function field. Let N / F be a finite abelian extension, and let B < C F be the subgroup of the idèle class group of F corresponding to N. Then, if F q is the field of constants of F, F q κ is the field of constants of N, where
κ : = min { σ N there exists α ˜ B such that deg α ˜ = σ } .
Remark 2.
Hereafter, κ is given by (3).
Remark 3.
Note that if F is any global function field, then the fields of the constants of F gex and of F H + are the same. Therefore, in the special case ( E ge H ) gex E gex , if we obtain that if the field of constants of E gex K is contained in the one of K H + then, because E gex K = E ge K is an extension of constants of K ge , say E gex K = K ge F q μ and K ge K H K H + and F q μ K H + , it follows that E gex K K H + and therefore E gex K K gex . Since K gex E gex K , we obtain E gex K = K gex .
Consider a finite abelian extension K / k . The idèle class subgroup B of the idèle class group C K , the idèle class group of K, associated to K H + is
B = U K + K * / K * = P | ker ϕ P × P U P K * / K * ,
where
U P : = U K P , ker ϕ P : = ker ϕ K P , and ϕ P = ϕ N K P | k .
We denote N P : = N K P | k .
On the one hand, if α U K + , then α = α P P , α P U P for P , so that deg P α P = 0 for P . On the other hand, if P 1 and P 2 are two infinite primes, N P 1 K P 1 * = N P 2 K P 2 * . It follows that if we fix an infinite prime P of K, then
Lemma 2.
We have
κ : = min { σ N there exists α U K + such that deg α = σ } = min { σ N there exists α ˜ B such that deg α ˜ = σ } = min { σ N there exists x K P * such that x ker ϕ P and deg P x = σ } .

5. Cyclic Extensions of Prime Power Degree

In this section, we study the extended genus field K gex of a finite cyclic extension K / k of degree l n with l a prime number and n 1 . We will assume that the extension K / k is geometric, that is, the field of constants of K is F q . We consider four types of primes l:
(1)
l = p , where p is the characteristic of k, the Artin–Schreier–Witt case,
(2)
l p and l q 1 ,
(3)
l n | q 1 , the Kummer case,
(4)
l ρ | q 1 with 1 ρ < n and l n q 1 , the “semi-Kummer” case.

5.1. The Artin–Schreier–Witt Case: l = p

Since H is a subgroup of the inertia group of p in E / k and the order of this last group is a divisor of q 1 , the order of H is relatively prime to p. Hence, H = { Id } . It follows that ( E ge H ) gex = E gex .

5.2. Case l p and l q 1

By the same reason as in Section 5.1, the order of H is relatively prime to l. Thus H = { Id } and ( E ge H ) gex = E gex .

5.3. The Kummer Case: l n | q 1

5.3.1. The Genus Field in the Cyclotomic Case

Let K = F = k D * l n , with D = P 1 α 1 P r α r , be a Kummer cyclic extension of k. Let X = χ be the group of Dirichlet characters associated to F. Note that for any ν N relatively prime to l, the field associated to χ ν is F since X = χ ν . The above corresponds to the fact that F = k ( D ν ) * l n .
When D = P R T + , we have that the character associated to F is   P l n , the Legendre symbol that is defined as follows: if P is of degree d, then for any N R T with P N , N mod P ( R T / P ) * F q d * . Then N P l n is defined as the unique element of F q d * such that N q d 1 l n N P l n mod P . We have that   P l n is the character associated to k P * l n . Let us denote χ P =   P l n . Then χ P ν is the character associated to k ( P ν ) * l n .
Hence, if χ D is the character associated to k D * l n , then χ D = j = 1 r χ P j α j .
Remark 4.
Let l be a prime number different from p, the characteristic of K, such that l κ | q 1 , κ 1 . We have that 1 ( F q * ) l κ for all l and all κ except when l = 2 and 2 κ + 1 q 1 .
Proof. 
If l is odd, ( 1 ) l κ = 1 for all κ N . Let l = 2 . If 2 κ + 1 | q 1 , F q contains a primitive 2 κ + 1 th root of unity ξ . Let μ : = ξ 2 κ . Then μ 1 and μ 2 = 1 . Thus μ = 1 .
On the other hand, if 2 κ + 1 q 1 , ξ F q * . Now, if we had μ = 1 = ρ 2 κ for some ρ F q * , then ρ is a primitive 2 κ + 1 th root of unity, contrary to our hypothesis. □
Corollary 3.
For any prime number l such that l κ | q 1 , with κ N and D R T , we have k D * l κ = k D l κ , except when deg D is odd, l = 2 , and 2 κ + 1 q 1 . We also have that if γ F q * and ε = ( 1 ) deg D γ , then F q ε l κ = F q γ l κ with the same exception.
Proof. 
If deg D is even, ( 1 ) deg D = 1 . If deg D is odd, ( 1 ) deg D = 1 ( F q * ) l κ except when l = 2 and 2 κ + 1 q 1 . The same argument works for F q ε l κ and F q γ l κ . □
In general, for a radical extension, we have:
Theorem 4.
Let F = k γ D s be a geometric separable extension of k, γ F q * , and let D = P 1 α 1 P r α r R T . Then
e F / k ( P j ) = s gcd ( α j , s ) , 1 j r and e ( F | k ) : = e F / k ( p ) = s gcd ( deg D , s ) .
As a consequence, we obtain the following result for a cyclic cyclotomic Kummer extension F = k ( D * l n ) . Let X be the group of Dirichlet characters associated to F and let Y = P R T + X P be the group associated to M, the maximal cyclotomic extension of F unramified at the finite primes.
Let P = P j , X = X P = χ P , and let F P be the field associated to X P . Then, F P is cyclotomic, P is the only ramified prime in F P / k , and P is tamely ramified in F P / k . This implies that F P k ( Λ P ) and Gal ( k ( Λ P ) / k ) C q d P 1 with d P : = deg P . Therefore, F P is the only field of degree o ( χ P ) = : l β P over k. Since F P / k is a Kummer extension, it follows that F P = k P * l β P .
Theorem 5.
The maximal unramified cyclotomic extension of F = k D * l n at the finite primes is M : = k ( ( P 1 α 1 ) * l n , , ( P r α r ) * l n ) . In other words,
F gex = ( ( P 1 α 1 ) * l n , , ( P r α r ) * l n ) .
Proof. 
The field M corresponds to the group of Dirichlet characters Y = P R T + X P and the field associated to X P is F P = k P * l β P , for each P R T + . The result follows. □
Remark 5.
Let α = l a b with gcd ( b , l ) = 1 and a < n . Then k ( P α ) * l n = k P * l n a and
F gex = k ( P 1 * l n a 1 , , P r * l n a r ) = F 1 F r ,
with F j = k P j * l n a j , 1 j r .
Another proof of Theorem 5 is obtained using Abhyankar’s Lemma. On the one hand, we have that
[ M : k ] = P R T + | X P | = j = 1 r | X P j | = j = 1 r e M / k ( P j ) = j = 1 r l n a j .
On the other hand, if F j = k ( P j ) * l n a j , from Abyankar’s Lemma, F F j / F is unramified at every finite prime, so F F 1 F r / F is unramified at the finite primes and F F 1 F r . Hence F 1 F r F gex and [ F 1 F r : k ] = [ M : k ] . Therefore, M = F 1 F r .
The following theorem gives the genus field of a cyclic extension.
Theorem 6.
Let E = k ( D * l n ) , with D = P 1 α 1 P r α r , 1 α j l n 1 , α j = b j l a j with gcd ( b j , l ) = 1 , 1 j r , P 1 , , P r R T + different monic irreducible polynomials with deg P j = c j l d j , gcd ( c j , l ) = 1 , 1 j r . We order the polynomials P 1 , , P r so that 0 = a 1 a r n 1 .
Let E gex : = E 1 E r with E j = k ( P j * l n a j ) , 1 j r . Let
e ( E | k ) = l t with t = n min { n , v l ( deg D ) } , e ( E gex | k ) = l m with m = max 1 j r v l ( e ( E j | k ) ) = max { n a j min { n a j , d j } 1 j r } .
Let i 0 , 1 i 0 r , be such that n a i 0 min { n a i 0 , d i 0 } = m and n a j d j < m for j > i 0 . For m > 0 we have gcd ( deg P i 0 , l n ) = l d i 0 , and therefore there exist a , b Z such that a deg P i 0 + b l n = l d i 0 . For j < i 0 , we have d i 0 d j . Let z j : = a c j l d j d i 0 . For j > i 0 , let y j c j c i 0 1 mod l n Z .
Then
E ge = F 1 F r ,
where F j = E j with 1 j r if m = t , i.e, E ge = E gex , and if m > t 0 , then
F j : = k P j P i 0 z j l n a j if j < i 0 , k P i 0 * l d i 0 + t if j = i 0 , k P j P i 0 y j l d j d i 0 l n a j if j > i 0 and d j d i 0 , k P j l d i 0 d j P i 0 y j l n a j + d i 0 d j if j > i 0 and d i 0 > d j .
Remark 6.
When m = t , we may also use the description of K ge given in the case m > t .

5.3.2. The Genus Field in the General Case

The following theorem gives the genus field of a general l n cyclic extension.
Theorem 7.
Let K = k ( γ D l n ) k ( Λ D ) u , with γ F q * , D = P 1 α 1 P r α r , 1 α j l n 1 , α j = b j l a j with gcd ( b j , l ) = 1 , 1 j r , P 1 , , P r R T + different polynomials and some u N . We order the polynomials P 1 , , P r so that 0 = a 1 a r n 1 . Let E = K u k ( Λ D ) , t as in Theorem 6, and α = v l ( | H | ) . Let H : = H E ge . Then E ge H = F 1 F i 0 1 F i 0 + 1 F r ( P i 0 * l d i 0 + ( t α ) ) , where F j are given in (4) for all j. Thus
K ge = E ge H K = i i 0 i = 1 r F i K ( P i 0 * l d i 0 + ( t α ) ) .
Further, if d = min { n , v l ( deg D ) } , we have
| H | = l α = [ F q ( ( 1 ) deg D γ l n ) : F q ( ( 1 ) deg D γ l d ) ] .
The general structure of K gex when K / k is a finite l–Kummer extension for a prime number l, is given by K gex = D K with D a field satisfying ( E ge H ) gex D E gex .
With notations given above, particularly in Theorem 6, we consider first the case m > t .
Proposition 3.
If m > t then i 2 and there exists j < i such that m = n a j d j = n a i d i .
Proof. 
First, assume that i 2 . Suppose that for all 1 j i 1 we have n a j d j < n a i d i = m .
We have that for all j i , n a i d i > n a j min { n a j , d j } n a j d j . Thus
n a j d j < n a i d i , so that a i + d i < a j + d j for all j i .
We have
deg D = j = 1 r α j deg P j = j = 1 r b j l a j c j l d j = b i c i l a i + d i + l a i + d i + 1 ( j = 1 j i r b j c j l a j + d j a i d i 1 ) .
Hence v l ( deg D ) = l a i + d i . It follows that
n min { n , v l ( deg D ) } n v l ( deg D ) = n a i d i = m and t n min { n , v l ( deg D ) } m t .
Therefore, m = t , contrary to our assumption. Thus, there exists 1 j i 1 with n a j + d j = n a i d i = m .
The same argument shows that if i = 1 , then m = t . □
From Theorems 6 and 7, we have that for all j i , we have e P j ( E ge H | k ) = e P j ( K | k ) = e P j ( E | k ) . In case there exists 1 j i 1 such that n a j d j = n a i d i we obtain that
e P i ( E j | k ) = e P i ( k ( P j P i a c j l d j d i l n a j ) | k ) = l n a j d j + d i = l n a i = e P i ( E | k ) = e P i ( K | k ) .
Hence
e P i ( E ge H | k ) = e P i ( K | k ) = e P i ( E | k ) .
From the above, the following result is immediate.
Proposition 4.
If there exists 1 j i 1 such that n a j d j = n a i d i , in particular when m > t , then ( E ge H ) gex = E gex .
The first main result on extended genus fields is the following:
Theorem 8.
With the above notations, we have that K gex = E gex K , except possibly in the following case:
(a) 
K E ,
(b) 
H { Id } ,
(c) 
t = m > 0 ,
(d) 
m = n a i min { n a i , d i } > n a j min { n a j , d j } for all j i .
Proof. 
If H = { Id } , the result follows. If E = K , K is cyclotomic and therefore H = { Id } . If m > t , then, from Proposition 3, we have that e P j ( E ge H | k ) = e P j ( E ge | k ) for all 1 j r and therefore ( E ge H ) gex = E gex . If n a i min { n a i , d i } = n a j min { n a j , d j } for some j i , then e P j ( E ge H | k ) = e P j ( E ge | k ) for all 1 j r and therefore ( E ge H ) gex = E gex . If t = 0 , we have that p is unramified in E / k so that H = { Id } . □
The above result shows that, outside of the special case given in Theorem 8, we have K gex = K ext .

5.3.3. The Special Case

We now consider the special case, that is, the exception mentioned in Theorem 8. We will prove that, also in this case, the equality K gex = K ext = E gex K holds.
Let K = k γ D l n , be a geometric separable extension of k, with γ F q * and let D = P 1 α 1 P r α r R T , with P 1 , , P r R T + distinct, 1 α j l n 1 , 1 j r . Let α j = l a j b j , l b j , deg P j = c j l d j , l c j . We assume that we have the exception given in Theorem 8. Let E = k D * l n , and deg D = l δ c with l c . Then e ( K | k ) = l n δ = l t = l m = l n a i d i , so that δ = a i + d i .
Since m = t > 0 , we have m = n a i min { n a i , d i } = n a i d i and n a i d i > n a j d j for all j i . We also have that ε : = ( 1 ) deg D γ ( F q * ) l .
Lemma 3.
We have E ge = E ge H E . It also holds that E K / E and E K / K are extensions of constants and E K = E F q ε l n = K F q ε l n . That is,
E K = E ε l n = K ε l n .
We also have that E ge K / K ge and E ge K / E ge are extensions of constants. Furthermore, E ge K = K ge F q ε l n = K ge ε l n and E ge = E ge F q ε l n = E ge ε l n .
Proof. 
The extension E ge / E ge H is fully ramified at the infinite prime p . Since E ge H E ge H E E ge and since e ( E | k ) = e ( E ge | k ) , it follows that E ge = E ge H E .
Now, E K = k γ D n k ( 1 ) deg D D n = E ε l n = K ε l n .
We also have E ge K = E ge H E K = E ge H K E K = K ge K ε l n = K ge ε l n . Therefore
E ge K = E ge E K = E ge ε l n .
Corollary 4.
The field of constants of E ge K is F q ε l n .
Theorem 9.
In the exceptional case given in Theorem 8, we have that E ge = E gex , the field of constants of K ge is F q deg K p , and the field of constants of E gex K is F q ε l n .
Proof. 
Since m = t , we have E ge = E gex . □
Later on, we will see that the field of constants of K ge is F q γ l δ .
We fix an infinite prime P of K, and we denote K : = K P .
Since K = k γ D l n , deg D = d = l δ c with l c , we have
D ( T ) = T d + a d 1 T d 1 + + a 1 T + a 0 = T d 1 + a d 1 1 T + a 1 1 T d 1 + a 0 1 T d = T d D 1 ( 1 / T ) .
We have that D 1 ( 1 / T ) U ( 1 ) , and, since l is different from the characteristic, it follows that ( U ( 1 ) ) l n = U ( 1 ) . Therefore
K = k γ D l n = k γ T d D 1 ( 1 / T ) l n = k γ T l δ c l n .
Since gcd ( l , c ) = 1 , there exists c 1 Z such that c c 1 1 mod l n . Thus
K = k γ c 1 T l δ c c 1 l n = k γ c 1 ( 1 / T ) l δ l n = k γ c 1 π l δ l n .
Now, [ K : k ] = e ( K | k ) f ( K | k ) = l n δ deg K P . Set K 0 = k γ D l δ K . We have that e ( K 0 | k ) = l δ gcd ( deg D , l δ ) = l δ gcd ( l δ c , l δ ) = l δ l δ = 1 and e ( K | K 0 ) = e ( K | k ) = l n δ = [ K : K 0 ] . Therefore, p is fully ramified in K / K 0 .
Axioms 14 00616 i002
We have f ( K | k ) = f ( K 0 | k ) = f ( K 0 , | k ) = deg K P and
K 0 , = k γ D l δ = k γ T d l δ = k γ T l δ c l δ = k γ l δ .
Lemma 4.
The field of constants of K ge are F q γ l δ .
Next, we will prove that the field of constants of E ge K = E gex K and of K H + are the same.
Let
f ( K | k ) = deg K P = [ K 0 , : k ] = [ F q γ l δ : F q ] = : l λ .
We also have
E K = E ε l n = K ε l n .
Then, E K / E is an extension of constants and, since deg E p = 1 , it follows that
f ( E K | k ) = f ( E K | E ) = [ E K : E ] = [ F q ε l n : F q ] = : l ν .
Now, | H | = f ( E K | K ) = f ( E K | k ) f ( K | k ) = l ν l λ = l ν λ = : l u . The field of constants of K ge are F q l λ and the field of constants of E ge K are F q ε l n = F q f ( E K | k ) = F q l ν . We have F q γ l δ = F q γ c 1 l δ = F q l λ . Therefore [ F q γ c 1 l δ : F q ] = l λ . From Theorem 2, we obtain that γ c 1 ( F q * ) l δ λ \ ( F q * ) l δ λ + 1 .
Let γ c 1 = θ l δ λ , with θ F q * and θ ( F q * ) l . Then
K = k γ c 1 π l δ l n = k θ l δ λ π l δ l n = k θ π l λ l n δ + λ .
The element ξ : = θ π l λ l n δ + λ satisfies ξ l n δ + λ = θ π l λ , that is, ξ is a root of X l n δ + λ θ π l λ k [ X ] . Since [ K : k ] = l n δ + λ , the polynomial
X l n δ + λ θ π l λ
is irreducible. We also have K 0 , = k γ l δ = k F q l λ and K / K 0 is fully ramified at p .
Set Π ˜ : = ξ = θ π l λ l n δ + λ . Then Π ˜ l n δ + λ = θ π l λ and
v P Π ˜ l n δ + λ = l n δ + λ v P ( Π ˜ ) = e ( K | k ) v θ π l λ = e ( K | k ) l λ = l n δ l λ = l n δ + λ .
Hence, v P ( Π ˜ ) = 1 and Π ˜ is a prime element of K . We also have
deg K Π ˜ = deg K P v P ( Π ˜ ) = deg K p · 1 = l λ .
Now, θ ( F q * ) l . Let ζ l n δ + λ be a primitive l n δ + λ th root of unity and set N : = N K | k . We have
Irr ( Π ˜ , X , k ) = X l n δ + λ θ π l λ = j = 0 l n δ + λ 1 X ζ l n δ + λ j Π ˜ .
Thus
N Π ˜ = j = 0 l n δ + λ 1 ζ l n δ + λ j Π ˜ = ( 1 ) l n δ + λ j = 0 l n δ + λ 1 ζ l n δ + λ j Π ˜
= ( 1 ) l n δ + λ θ π l λ = ( 1 ) l n δ + λ + 1 θ π l λ .
Now we consider a generic element Y K * :
Y = Π ˜ s Λ w , with s Z , Λ F q l λ , and w U K ( 1 ) .
Then
N Π ˜ s = N Π ˜ s = ( 1 ) ( l n δ + λ + 1 ) s θ s π l λ s , N Λ = N K 0 , | k N K | K 0 , Λ = N K 0 , | k ( Λ l l n δ ) = N K 0 , | k Λ l n δ , N w = v U ( 1 ) .
It follows that
ϕ P ( Y ) = ϕ ( N ( Y ) ) = ϕ ( 1 ) ( l n δ + λ + 1 ) s θ s π l λ s ( N K 0 , | k Λ ) l n δ v = ( 1 ) ( l n δ + λ + 1 ) s θ s N K 0 , | k Λ l n δ = ( θ ) s ( 1 ) l λ N K 0 , | k Λ l n δ .
Therefore, Y ker ϕ P there exists Λ F q l λ such that
( θ ) s ( 1 ) l λ N K 0 , | k Λ l n δ = 1 .
Now, N K 0 , | k F q l λ = F q , thus N F q l λ * = F q * l n δ and Λ F q l λ . Hence, θ s ( F q * ) l n δ .
Next, we break our study in two cases: n = 1 and n 2 .

5.3.4. Case n = 1

This case was considered in Theorem 3.5 [6].

5.3.5. Case n 2

We now assume that n > 1 . We always have, since θ ( F q * ) l , that θ ( F q * ) l because n 2 and therefore 1 ( F q * ) l (see Remark 4). Hence, θ s ( F q * ) l n δ l n δ | s . That is, ker ϕ P = { Y = Π ˜ s Λ w l n δ | s } .
Because deg Y = deg Π ˜ s Λ w = deg Π ˜ · v P ( Y ) = l λ · s , it follows that
min { κ N there exists α ˜ B and deg α ˜ = κ } = l n δ + λ ,
and that the field of constants of K H + is F q l n δ + λ .
We have that l λ = [ F q γ l δ : F q ] , so that, from Theorem 2, we obtain
γ ( F q * ) l δ λ \ ( F q * ) l δ λ + 1 .
On the other hand, the field of constants of K ge E is F q ε l n and [ F q ε l n : F q ] = l ν . Again, from Theorem 2, we obtain that
ε ( F q * ) l n ν \ ( F q * ) l n ν + 1 .
We have u = ν λ 1 so that ν λ + 1 and n ν n 1 . Therefore, ( 1 ) deg D = ± 1 ( F q * ) l n ν . Hence, γ = ( 1 ) deg D ε ( F q * ) l n ν . It follows from (6) that n ν δ λ and n δ ν λ .
Thus, e ( K | k ) = l n δ | l ν λ = l u = | H | . Since | H | | e ( K | k ) = e ( E | k ) , l u | l n δ . Therefore, ν λ n δ , so that ν λ = n δ and ν = n δ + λ . In particular, | H | = l u = l n δ = e ( K | k ) .
It follows that the field of constants of E ge K = E gex K is F q ε l n = F q l ν = F q l n δ + λ . In short, the field of constants of both K H + and E ge K , is F q l n δ + λ = F q l u + λ .
Thus, E ge K K H + and E ge K K gex E gex K = E ge K . Therefore, E gex K K H + . Since K gex E gex K , we finally obtain that K gex = E gex K .
Axioms 14 00616 i003
Theorem 10.
For Kummer extensions satisfying the special case described in Theorem 8, we have K gex = E gex K .
Corollary 5.
For any cyclic Kummer extension k γ D l n of k, we have K gex = E gex K .

5.4. Semi-Kummer Case: l ρ | q 1 , ρ 1 and l n q 1

Recall that we only need to consider the case ( E ge H ) gex E gex , or, equivalently, there exists a finite prime P j ramified in E gex / E ge H . The prime p is fully ramified in E gex / E ge H .
We have that H I ( E ge / k ) , the inertia group of p in the extension E ge / k .
It follows that Gal ( E gex / E ge H ) I ( E gex / k ) , and we have that I ( E gex / k ) is a cyclic group of order a power of l. Set I : = I ( E gex / k ) , an l–cyclic group. Furthermore | I | = e ( E gex | k ) | q 1 .
Using Proposition 1, we obtain:
Proposition 5.
E gex = E ge .
Proof. 
Let G : = I = I ( E gex / k ) , H 1 : = I P i ( E gex / E ge H ) and H 2 : = Gal ( E gex / E ge ) . By hypothesis, we have H 1 { Id } . Set Φ : = H 1 H 2 and F : = E gex Φ .
Axioms 14 00616 i004
Then, P i is fully ramified in E gex / F and E ge F . Therefore P i is fully ramified and non-ramified in E gex / F . Hence F = E gex and H 1 H 2 = { Id } . Finally, it follows that H 2 = { Id } and that E gex = E ge . □
Lemma 5.
We have that f ( K | k ) = deg K p .
Proof. 
Since the extension K / k is geometric, and deg k p = 1 , we have f ( K | k ) = f ( K | k ) deg k p = deg K p . □
We use the following notation. Let | H | : = l u = f ( E K | K ) . Since H is a quotient of I, it follows that l u | l ρ because | I | = e ( E gex | k ) | q deg K p 1 = q 1 . In particular, u ρ .
Set l λ : = deg K p = f ( K | k ) . We have
Axioms 14 00616 i005
Since eP(K|k) = eP(E|k) for all P R T + ∪ {∞}, from Abhyankar’s Lemma, we obtain that eP(EK|E) = 1 for all P R T + ∪ {∞}, that is, EK/E is an unramified extension. We will show that it is an extension of constants.
It is easy to see that [ K : k ] = [ E : k ] . We have, on the one hand
[ K : E K ] = [ K : k ] [ E K : k ] = [ E : k ] [ E K : k ] = [ E : E K ] .
On the other hand
[ E K : E ] = [ K : E K ] and [ E K : K ] = [ E : E K ] .
Therefore
[ E K : K ] = [ E K : E ] = [ E : E K ] = [ K : E K ] .
Because E K / E and E K / K are unramified extensions,
e P ( E | E K ) = e P ( K | E K ) for all P R T + { } .
We have that E ge K / K ge = E ge H K is an extension of constants of degree | H | = l u = [ E ge K : K ge ] . We also have that the field of constants of K ge is F q deg K p . Hence, the field of constants of E ge K = E gex K is F q ψ , where ψ = deg K p · | H | = l λ + u = f ( E K | k ) .
Let us see that the field of constants of E K is also F q ψ = F q l λ + u , the same as that of E ge K .
Since K / k is tamely ramified, the conductor of constants is the minimum η such that K k ( Λ N ) η . We have that η = t d , where t = f ( K | k ) = f ( K | J ) = deg K p = l λ , d = f ( E K | K ) = f ( E ge K | K ge ) = | H | = l u , and J = K k n ( Λ N ) = K k ( Λ N ) = K E . Therefore
η = l λ · l u = l λ + u = ψ .
Furthermore, we have
η = [ K : J ] = [ K : K E ] ( = [ E : K E ] = [ E K : E ] = [ E K : K ] ) .
We have
Axioms 14 00616 i006
If E K k η = k σ k η , then K E K = k σ E k σ k ( Λ N ) = k ( Λ N ) σ . Since η is minimum, it follows that η = σ , and E K = ( E K ) η = E η = K η . Therefore, the field of constants of E K is F q ψ = F q l λ + u .
Proposition 6.
The field of constants of either E ge K or E K is F q l λ + u , where l λ = deg K p and l u = | H | .
Furthermore, [ E η : E ] = η = ψ = l λ + u = [ K : J ] = [ K : E K ] = [ E : E K ] = [ E K : K ] = [ E K : E ] .
Axioms 14 00616 i007
We have that E K / E is an extension of constants of degree η , and the same is true for the extension E K / K . The field of constants of E H K is F q l λ , that is, the same as for the field K ge = E ge H K .
Let P be a prime above p and denote K : = K P , k : = k p . Let e p ( K | k ) = l τ | q 1 , that is, l τ | l ρ and τ ρ . We have
[ K : k ] = e ( K | k ) f ( K | k ) = l τ · l λ = l τ + λ .
Let k F K be the inertia field of K / k , that is, F : = K I ( K / k ) and [ F : k ] = l λ . We have that F / k is unramified.
For each local field, there exists a unique unramified extension of each degree. Therefore, F = k F q l λ , that is, F / k is an “extension of constants” of degree l λ . More precisely,
O P / P F q l λ and F * = π F × F q l λ * × U F ( 1 ) ,
where π F = π = 1 / T is a prime element of F * .
Axioms 14 00616 i008
Let K * = Π ˜ × F q l λ * × U K ( 1 ) where Π ˜ is a prime element of K * . Now, we have
1 = v K ( Π ˜ ) = e ( K | k ) [ K : k ] v k ( N K / k ( Π ˜ ) ) = 1 f ( K | k ) v k ( N K / k ( Π ˜ ) ) .
Hence v k ( N K / k ( Π ˜ ) ) = l λ .
We have
Axioms 14 00616 i009
It follows that K / F is a Kummer extension, say K = F ( Y l τ ) for some Y F * = π × F q l λ * × U F ( 1 ) .
Let Y = π s Λ w , with s Z , Λ F q l λ * , and w U F ( 1 ) . Since gcd ( l , p ) = 1 , we have U F ( 1 ) = ( U F ( 1 ) ) l τ . We write s = α l τ + r , where 0 r < l τ . Then, if w 0 l τ = w , we have
K = F π α l τ + r Λ w 0 l τ l τ = F π r Λ l τ .
Let r = l b r 0 , with 0 b < τ and gcd ( l , r 0 ) = 1 . Set F 1 : = F π l b r 0 l b Λ = F Λ l b . Thus F 1 / F is unramified, F F 1 K , and K / F is totally ramified. It follows that F 1 = F and that b = 0 , that is, gcd ( r , l ) = 1 .
Therefore, K = F π θ l τ for some θ F q l λ * . Set ϕ : = π θ l τ . Then, ϕ l τ = π θ . Hence
l τ v K ( ϕ ) = v K ( ϕ l τ ) = v K ( π θ ) = v K ( π ) = e ( K | F ) v ( π ) = l τ · 1 .
It follows that v K ( ϕ ) = 1 . Therefore, we may take ϕ = Π ˜ as a prime element of F.
Now we consider E = k π μ l τ for some μ F q * . We have
Axioms 14 00616 i010
Because E gex k ( Λ N ) is cyclotomic, the field of constants of E H + is also F q .
As before, ϑ : = π μ l τ is a prime element of E . We have
X l τ π μ = i = 0 l τ 1 X ζ l τ i ϑ .
Hence
i = 0 l τ 1 ζ l τ i ϑ = ( 1 ) l τ i = 0 l τ 1 ζ l τ i ϑ = ( 1 ) l τ N E / k ϑ = π μ .
Thus
N E / k ϑ = ( 1 ) l τ + 1 μ π .
Since the field of constants of E H + is F q , from Theorem 3, there exists an element of degree 1 in E * satisfying
ϕ E ( X ) = ϕ ( N E / k ( X ) ) = 1 .
Set X = ϑ s α w with s Z , α F q * , w U E ( 1 ) . Since deg X = deg π v ( X ) = 1 · s = s , it follows that s = 1 . Furthermore, N E / k ( w ) U ( 1 ) = U ( 1 ) l τ and N E / k ( α ) = α l τ . Therefore
1 = ϕ E ( X ) = ϕ ( N E / k ( X ) ) = ϕ ( 1 ) l τ + 1 μ π α l τ u l τ = ( 1 ) l τ + 1 μ α l τ ,
where u U ( 1 ) . Therefore, μ = ( α ) l τ F q * l τ and, since τ < n , it follows that 1 F q * l τ . Thus μ F q * l τ and E = k π μ l τ = k π l τ .
We obtain
E K = K k π l τ = F π θ l τ , π l τ = F π θ l τ , θ l τ = K θ l τ .
The field of constants of E K is F q l λ + u , therefore, [ F q l λ θ l τ : F q l λ ] = l u . From Theorem 2 we have that θ F q l λ * l τ u \ F q l λ * l τ u + 1 .
In short, K = F π θ l τ with θ F q l λ * l τ u \ F q l λ * l τ u + 1 , F = k F q l λ , and Π ˜ = θ π l τ .
The irreducible polynomial of Π ˜ over F is X l τ θ π F [ X ] . Then X l τ θ π = j = 0 l τ 1 ( X ζ l τ j Π ˜ ) and
N K / F Π ˜ = j = 0 l τ 1 ζ l τ j Π ˜ = ( 1 ) l τ j = 0 l τ 1 ( ζ l τ j Π ˜ ) = ( 1 ) l τ ( θ π π ) = ( 1 ) l τ + 1 θ π , N K / k Π ˜ = N F / k ( N K / F Π ˜ ) = N F / k ( ( 1 ) l τ + 1 θ π ) = ( 1 ) ( l τ + 1 ) l λ ( N F / k θ ) π l λ .
Now, N F / k F q l λ * = F q * . Therefore, N F / k θ F q * l τ u \ F q * l τ u + 1 .
Let us see the norm of an arbitrary element X of K * . Let X = Π ˜ s Λ ω with s Z , Λ F q l λ * , and ω U K ( 1 ) . Then
N K / k ω = ω 0 U ( 1 ) , N K / k Π ˜ s = ( 1 ) ( l τ + 1 ) l λ s ξ s π l λ s with ξ = N F / k θ F q * l τ u \ F q * l τ u + 1 , N K / k Λ = N F / k ( N K / F Λ ) = N F / k Λ l τ = ( N F / k Λ ) l τ , and N K / k F q l λ * = ( F q * ) l τ .
Therefore
N K / k X = ( 1 ) ( l τ + 1 ) l λ s ξ s π l λ s N F / k Λ l τ ω 0 ,
and
ϕ K ( X ) = ϕ ( N K / k ( X ) ) = ( 1 ) ( l τ + 1 ) l λ s ξ s N F / k Λ l τ = ( 1 ) l λ ξ s ( 1 ) l λ s ( N F / k Λ ) l τ .
Now
X ker ϕ K ( 1 ) l λ ξ s ( 1 ) l λ s ( N F / k Λ ) l τ = 1 .
In other words,
X ker ϕ K there exists Λ F q l λ * such that N F / k Λ l τ = ± ξ 1 s .
Since l ρ | q 1 with ρ 1 and l n q 1 , we have n 2 . Thus 1 ( F q * ) l τ u + 1 . Therefore, ξ s ( F q * ) l τ . Since ξ F q * l τ u \ F q * l τ u + 1 , it follows that l u | s and that l u is the minimum positive integer with this property. For such X, we have
deg K X = deg K P v K ( X ) = l λ · l u = l λ + u .
Therefore, the field of constants of K H + is F l λ + u , the same as for E gex K .
We have obtained our first main result:
Theorem 11.
Let K / k be a geometric cyclic extension of degree l n with l a prime number and n 1 . Then, if E is given by(1), we have
K gex = E gex K .

6. General Finite Abelian Extensions

The following theorem is the main key to obtain the extended genus field of a finite abelian extension.
Lemma 6.
Let E 1 and E 2 be two finite cyclotomic extensions of k, and let E = E 1 E 2 . Then E gex = ( E 1 ) gex ( E 2 ) gex .
As a consequence, we obtain our final main result.
Theorem 12.
Let K / k be any geometric finite abelian extension. Then, if E is given in (1) , we have that
K gex = E gex K .
Proof. 
Let K = K 1 K s , where each K j / k is a cyclic extension of prime power degree. Let E = E 1 E s with each E j given in (1). Then, from Lemma 6, we obtain
E gex = ( E 1 ) gex ( E s ) gex .
Therefore, from Theorem 11, it follows that
K gex E gex K = ( E 1 ) gex K 1 ( E s ) gex K s = ( K 1 ) gex ( K s ) gex K gex .
Hence K gex = E gex K . □
We obtain some consequences from Theorem 12. We consider K / k a geometric abelian finite extension. We have K gex = E gex K and K ge = E ge H K . Let K k n ( Λ N ) m , M = L n k m , and E = M K k ( Λ N ) . For any finite abelian extension L / J and any prime p of J, we denote by e p * ( L | J ) the tame ramification index of the prime p in the extension L / J , namely, if e p ( L | J ) = p β α with gcd ( α , p ) = 1 , then e p * ( L | J ) = α . The set of tame ramification indexes is multiplicative.
Lemma 7.
We have e ( E | k ) = e * ( K | k ) .
Proof. 
First, note that if k J M , then e * ( M | J ) = e * ( J | k ) = 1 . Now we consider
Axioms 14 00616 i011
Since e * ( K M | K ) | e * ( M | K M ) , it follows that e * ( K M | K ) = e * ( M | K M ) = 1 . Therefore, e * ( K | K M ) = e * ( K M | M ) .
We have
Axioms 14 00616 i012
It follows that
e * ( K M | k ) = e * ( K M | M ) = e * ( K | K M ) = e * ( E | k ) = e ( E | k ) .
Now
e * ( K | K M ) = e * ( K | K M ) e * ( K M | k ) = e * ( K | k ) = e ( E | k ) .
Theorem 13.
We have [ K gex : K ge ] = [ E gex : E ge H ] = [ E gex : E ge ] · | H | . In particular [ K gex : K ge ] | q 1 . It also holds
f ( K gex : K ge ) = | H | , e ( K gex : K ge ) = [ E gex : E ge ] .
Furthermore, the field of constants of K ge is F q deg K p , deg K p = f ( K | k ) , and the field of constants of both K gex and K H + is F q | H | deg K p , and we have | H | deg K p = f ( E K | k ) .
Proof. 
We have
Axioms 14 00616 i013
It follows that [ K gex : K ge ] = [ E gex : E ge H ] | q 1 .
Now, since E ge K / ( E ge K ) H = K ge is an extension of constants of degree, in fact, | H | = f ( E ge K | K ge ) , we will see that the extension K gex / E ge K is totally ramified.
Axioms 14 00616 i014
We have that e ( E ge K | k ) = e ( K | k ) . Hence e * ( E ge K | E ge ) = 1 . Similarly, we obtain e * ( E gex K | E gex ) = 1 .
Therefore, e ( E gex K | E ge K ) = e ( E gex | E ge ) = [ E gex : E ge ] and K gex / E ge K is totally ramified.
Since deg k p = 1 and K / k is geometric, we obtain that f ( K | k ) = deg K p . We know that the field of constants of K ge is F q deg K p .
Finally, E ge K / E ge H K is an extension of constants of degree | H | = f ( E K | K ) . Hence, the field of constants of both K gex and K H + is F q deg K p · | H | = F q f ( E K | k ) . □

7. Discussion

In this paper, it is shown that the notion of the extended genus field of an abelian finite extension of the field of rational functions given by B. Anglès and J.F. Jaulent by means of class field theory is the same as the one given by E. Ramírez-Ramírez, M. Rzedowski-Calderón, and G. Villa-Salvador using Dirichlet characters.

Author Contributions

Investigation, J.C.H.-B. and G.V.-S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

We thank the anonymous referees for the careful reading and helpful suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Anglès, B.; Jaulent, J.-F. Théorie des genres des corps globaux. Manuscripta Math. 2000, 101, 513–532. [Google Scholar] [CrossRef]
  2. Clement, R. The genus field of an algebraic function field. J. Number Theory 1992, 40, 359–375. [Google Scholar] [CrossRef]
  3. Hayes, D.R. Explicit class fields theory for rational function fields. Trans. AMS 1974, 189, 77–91. [Google Scholar] [CrossRef]
  4. Iwasawa, K. Local Class Field Theory; Oxford University Press: New York, NY, USA, 1986. [Google Scholar]
  5. Artin, E.; Tate, J. Class Field Theory; W. A. Benjamin Inc.: London, UK, 1967. [Google Scholar]
  6. Hernandez–Bocanegra, J.C.; Villa–Salvador, G. Genus Field and Extended Genus Field of an Elementary Abelian Extension of Global Fields. Bull. Braz. Math. Soc. New Ser. 2023, 54, 20. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Hernandez-Bocanegra, J.C.; Villa-Salvador, G. Extended Genus Fields of Abelian Extensions of Rational Function Fields. Axioms 2025, 14, 616. https://doi.org/10.3390/axioms14080616

AMA Style

Hernandez-Bocanegra JC, Villa-Salvador G. Extended Genus Fields of Abelian Extensions of Rational Function Fields. Axioms. 2025; 14(8):616. https://doi.org/10.3390/axioms14080616

Chicago/Turabian Style

Hernandez-Bocanegra, Juan Carlos, and Gabriel Villa-Salvador. 2025. "Extended Genus Fields of Abelian Extensions of Rational Function Fields" Axioms 14, no. 8: 616. https://doi.org/10.3390/axioms14080616

APA Style

Hernandez-Bocanegra, J. C., & Villa-Salvador, G. (2025). Extended Genus Fields of Abelian Extensions of Rational Function Fields. Axioms, 14(8), 616. https://doi.org/10.3390/axioms14080616

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop