Abstract:Let $K_n$ be a tamely ramified cyclic quintic field generated by a root of Emma Lehmer's parametric polynomial. We give all normal integral bases for $K_n$ only by the roots of the polynomial, which is a generalization of the work of Lehmer in the case that $n^4+5n^3+15n^2+25n+25$ is prime number, and Spearman-Willliams in the case that $n^4+5n^3+15n^2+25n+25$ is square-free.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence and construction of Normal Integral Bases (NIB) in Lehmer's cyclic quintic fields \(K_n\). Specifically, the paper aims to give all the normal integral bases of the cyclic quintic fields \(K_n\) generated by the roots of Emma Lehmer's parameter polynomials.
### Background and Problem Description
1. **Research Object**:
- The object of the paper's research is the cyclic quintic fields \(K_n=\mathbb{Q}(\rho_n)\), where \(\rho_n\) is a root of Emma Lehmer's parameter polynomial \(f_n(X)\).
- \(f_n(X)\) is defined as:
\[
f_n(X):=X^5 + n^2X^4-(2n^3 + 6n^2+ 10n + 10)X^3+(n^4 + 5n^3+ 11n^2+ 15n + 5)X^2+(n^3 + 4n^2+ 10n + 10)X + 1
\]
2. **Previous Work**:
- When \(n^4 + 5n^3+ 15n^2+ 25n + 25\) is a prime number, Lehmer has studied this situation.
- When \(n^4 + 5n^3+ 15n^2+ 25n + 25\) is square - free, Spearman and Williams have also done relevant research.
3. **Objective of This Paper**:
- The objective of this paper is to generalize the above results and give all the normal integral bases of \(K_n\), represented only by the roots of the polynomial, without relying on the root of unity \(\zeta_{f_{K_n}}\).
### Solution
- **Main Theorem**: For some integers \(\beta_0,\beta_1,\beta_2,\beta_3\) satisfying:
\[
b^2c^4d^6e^6 = N_{\mathbb{Q}(\zeta_5)/\mathbb{Q}}(\beta_0+\beta_1\zeta_5+\beta_2\zeta_5^2+\beta_3\zeta_5^3)
\]
then:
\[
\frac{1}{bc^2d^3e^4}(\beta_0\rho_n+\beta_1\rho_n^{(1)}+\beta_2\rho_n^{(2)}+\beta_3\rho_n^{(3)}-m)
\]
is a generator of a normal integral basis of \(K_n\), where:
\[
m:=\frac{1}{5}\left(\left(\frac{n}{5}\right)bc^2d^3e^4 - n^2(\beta_0+\beta_1+\beta_2+\beta_3)\right)
\]
### Conclusion
- **Special Case**: When \(\Delta_n\) is square - free, these integers \(\beta_0,\beta_1,\beta_2,\beta_3\) can be simplified to specific values, thus obtaining the results of Spearman and Williams.
- **Application Example**: The paper shows through specific examples how to calculate the normal integral bases for different values of \(n\).
In conclusion, this paper successfully solves the problem of normal integral bases in cyclic quintic fields under more general conditions by introducing new methods and techniques, and provides specific construction methods.