Abstract:Let $L_n$ be a simplest cubic field with Galois group $G=\rm{Gal} (L_n/\mathbb Q)$. The associated order is denoted as ${\cal A}_{L_n/\mathbb Q}:= \{ x\in {\mathbb Q} [G] \, |\, x \cdot \cal{O}_{L_n} \subset {\cal O}_{L_n } \}$, where ${\cal O}_{L_n}$ is the ring of integers of $L_n$. Leopoldt showed that $\cal{O}_{L_n} \simeq {\cal A}_{L_n/\mathbb Q}$ as ${\cal A}_{L_n/\mathbb Q}$-modules. In this paper, we give a generator of the ${\cal A}_{L_n/\mathbb Q}$-module ${\cal O}_{L_n}$ explicitly using the roots of Shanks' cubic polynomial. If $L_n/\mathbb Q$ is tamely ramified, then we have ${\cal A}_{L_n/\mathbb Q}=\mathbb Z [G]$, and the conjugates form a normal integral basis, which has been obtained explicitly in the previous work of Hashimoto and the second author.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Galois module structure of the simplest cubic field \(L_n\), especially the problem of generators of its integer ring \(O_{L_n}\) as an associated order \(A_{L_n / \mathbb{Q}}\)-module. Specifically, the author attempts to explicitly give the generators of \(O_{L_n}\) through the roots of Shanks' cubic polynomial.
### Core problems of the paper:
1. **Definition of the simplest cubic field**: Consider the simplest cubic field \(L_n=\mathbb{Q}(\rho_n)\) defined by Shanks' cubic polynomial \(f_n(X) = X^3 - nX^2-(n + 3)X - 1\), where \(\rho_n\) is a root of \(f_n(X)\).
2. **Galois module structure**: Study the structure of the integer ring \(O_{L_n}\) of \(L_n\) as an \(A_{L_n / \mathbb{Q}}\)-module. Leopoldt has already proved that \(O_{L_n}\cong A_{L_n / \mathbb{Q}}\) as an \(A_{L_n / \mathbb{Q}}\)-module, but has not given explicit generators.
3. **Construction of explicit generators**: The author attempts to explicitly construct the generators of \(O_{L_n}\) through the roots of Shanks' cubic polynomial. In particular, for the tamely ramified case, there has been some previous work giving results, but for the wildly ramified case, the author provides new results.
### Main contributions:
- **Tamely ramified case**: When \(L_n / \mathbb{Q}\) is tamely ramified, the author reviews the previous work of Hashimoto and the second author and gives the specific form of the generators.
- **Wildly ramified case**: When \(L_n / \mathbb{Q}\) is wildly ramified, the author constructs the generators of \(O_{L_n}\) by introducing specific integers \(a_0\) and \(a_1\) and using these integers.
### Formula summary:
- **Shanks' cubic polynomial**:
\[
f_n(X)=X^3 - nX^2-(n + 3)X - 1
\]
- **Discriminant**:
\[
\Delta_n=n^2 + 3n + 9
\]
- **Generators**:
- For the tamely ramified case:
\[
\alpha=\frac{1}{ec^2}(a_0\rho_n + a_1\rho'_n + m)
\]
- For the wildly ramified case:
\[
\alpha=\frac{1}{ec^2}(3a_0\rho+ 3a_1\rho' - n(a_0 + a_1))
\]
Through these formulas and methods, the author successfully solves the problem of generators of the integer ring \(O_{L_n}\) of the simplest cubic field \(L_n\), especially providing new insights in the wildly ramified case.