Abstract:Given a prime number $p$, we consider the tower of finite fields $F_p=L_{-1}\subset L_0\subset L_1\subset\cdots$, where each step corresponds to an Artin-Schreier extension of degree $p$, so that for $i\geq 0$, $L_{i}=L_{i-1}[c_{i}]$, where $c_i$ is a root of $X^p-X-a_{i-1}$ and $a_{i-1}=(c_{-1}\cdots c_{i-1})^{p-1}$, with $c_{-1}=1$. We extend and strengthen to arbitrary primes prior work of Popovych for $p=2$ on the multiplicative order of the given generator $c_i$ for $L_i$ over $L_{i-1}$. In particular, for $i\geq 0$, we show that $O(c_i)=O(a_i)$, except only when $p=2$ and $i=1$, and that $O(c_i)$ is equal to the product of the orders of $c_j$ modulo $L_{j-1}^\times$, where $0\leq j\leq i$ if $p$ is odd, and $i\geq 2$ and $1\leq j\leq i$ if $p=2$. We also show that for $i\geq 0$, the $\mathrm{Gal}(L_i/L_{i-1})$-conjugates of $a_i$ form a normal basis of $L_i$ over $L_{i-1}$. In addition, we obtain the minimal polynomial of $c_1$ over $F_p$ in explicit form.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the study of the multiplicative order of generators in Artin - Schreier finite field towers. Specifically, the authors are concerned with how to determine the multiplicative order of these generators in the extension fields, and for any prime number \(p\), they extend the previous work which was only for \(p = 2\).
The following are the specific problems that the paper attempts to solve:
1. **Multiplicative order of generators**:
- For a given prime number \(p\), a finite field tower \(F_p = L_{-1}\subset L_0\subset L_1\subset\cdots\) consisting of Artin - Schreier extensions is constructed, where the degree of each extension is \(p\).
- The multiplicative order \(O(c_i)\) of the generator \(c_i\) over \(L_i\) is studied, and it is proved that, except in special cases, \(O(c_i)=O(a_i)\), where \(a_i=(c_{-1}\cdots c_i)^{p - 1}\).
2. **Formula for multiplicative order**:
- A common order formula for \(O(c_i)\) and \(O(a_i)\) is given, which is expressed as the product of the orders of \(c_j\) modulo \(L_{j - 1}^{\times}\), depending on whether \(p\) is odd or even (i.e., \(p = 2\)).
3. **Primitive element conditions**:
- Sufficient and necessary conditions for \(O(c_i)\) to reach its maximum possible value \(N_0\cdots N_i\) (when \(p\) is odd) or \(N_1\cdots N_i\) (when \(p = 2\) and \(i\geq2\)) are provided.
4. **Galois conjugates and normal bases**:
- It is proved that the Galois conjugates \(a_i\) of \(L_i\) over \(L_{i - 1}\) form a normal basis.
5. **Minimum polynomials**:
- The connection between the minimum polynomials of \(c_i\) and \(a_{i - 1}\) is established, and the minimum polynomial of \(c_1\) over \(F_p\) is explicitly given.
Through the solution of these problems, the authors not only extend the previous theoretical results but also provide some new insights and tools for understanding and dealing with the multiplicative properties of generators in finite field towers.
### Summary of key formulas
- \(L_i = L_{i - 1}[c_i]\), where \(c_i\) is a root of \(X^p-X - a_{i - 1}\), and \(a_{i - 1}=(c_{-1}\cdots c_{i - 1})^{p - 1}\).
- \(O(c_i)=O(a_i)\), except in special cases.
- \(O(c_i)\) is expressed as the product of the orders of \(c_j\) modulo \(L_{j - 1}^{\times}\).
- The relationship between the minimum polynomials of \(c_i\) and \(a_{i - 1}\).
These research results are helpful for a deeper understanding of the structure of Artin - Schreier extensions and their applications in finite fields.