Abstract:We determine the Galois module structure of the ring of integers for all cubic fields using roots of the generic cyclic cubic polynomial $f_n(X)=X^3-nX^2-(n+3)X-1$. Let $L_n=\mathbb Q(\rho_n)$ be a cyclic cubic field with Galois group $G:={\rm Gal}(L_n/\mathbb Q)$, where $\rho_n$ is a root of $f_n (X)$, and ${\mathcal O}_{L_n}$ the ring of integers of $L_n$. We explicitly give the generator of the free module ${\mathcal O}_{L_n}$ of rank $1$ over the associated order ${\mathcal A}_{L_n/\mathbb Q}:= \{ x\in \mathbb Q [G] \, |\, x\, {\mathcal O}_L \subset {\mathcal O}_L \}$ by using the roots of $f_n(X)$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the Galois module structure of algebraic integers in all cubic cyclic fields. Specifically, the author uses the roots of a particular class of cubic polynomials $f_n(X) = X^3 - nX^2 - (n + 3)X - 1$ to construct these fields and studies the module structure of the ring of integers $O_{L_n}$ in these fields under the Galois group $G=\text{Gal}(L_n/\mathbb{Q})$. ### Main problem description: - **Background**: For any cubic cyclic field $L_n = \mathbb{Q}(\rho_n)$, where $\rho_n$ is a root of the polynomial $f_n(X)$, the author hopes to find the Galois module structure of the ring of integers $O_{L_n}$. - **Objective**: Explicitly give the generators of the ring of integers $O_{L_n}$ under the associated order $A_{L_n/\mathbb{Q}}$, especially the structures in the tamely ramified and wildly ramified cases. ### Specific content: 1. **Tamely ramified case**: - When $3\nmid n_1$ or $n_1 = 3t$ and $n_2\equiv - 2t\pmod{9}$, the author proves that there exist integers $a_0$ and $a_1$ satisfying certain conditions such that $\alpha$ becomes a generator of the normal integral basis of $O_{L_n}$. - The formula is as follows: \[ \alpha:=\frac{1}{e c^2}\left(n_2(a_0\rho_n + a_1\rho'_n)+\frac{1}{3}(\varepsilon e c^2 - n_1(a_0 + a_1))\right) \] where $\varepsilon\in\{\pm1\}$ is determined by the Legendre symbol. 2. **Wildly ramified case**: - When $n_1 = 3t$ and $n_2\not\equiv - 2t\pmod{9}$, the author also finds integers $a_0$ and $a_1$ satisfying specific conditions and gives the module structure of $O_{L_n}$. - The formula is as follows: \[ O_{L_n}=\mathbb{Z}[G]\alpha\oplus\mathbb{Z}=A_{L_n/\mathbb{Q}}(\alpha + 1) \] where the expression of $\alpha$ is similar to that in the tamely ramified case, but the specific form is slightly different. Through the above research, the author successfully solves the problem of the Galois module structure of the ring of integers in cubic cyclic fields, providing a theoretical basis for further research in related fields.

Galois module structure of algebraic integers of cyclic cubic fields

Galois module structure of algebraic integers of the simplest cubic field

Galois module structure of cyclic extensions of local Fields of characteristic zero

Integral Galois Module Structure for Elementary Abelian Extensions with a Galois Scaffold

Structure of relative genus fields of cubic Kummer extensions

On cubic polynomials with the cyclic Galois group

Modularity of residual Galois extensions and the Eisenstein ideal

Module Structures on [math] for the Euclidean Algebra

Hopf-Galois module structure of tamely ramified radical extensions of prime degree

Cyclotomic function fields over finite fields with irreducible quadratic modulus

Modulo $\ell$ distinction problems

Hopf-Galois module structure of degree p extensions of p-adic fields

Modulo l distinction problems

Monogenic Even Octic Polynomials and Their Galois Groups

Moduli spaces and the inverse Galois problem for cubic surfaces

The classifying element for quotients of Fermat curves

Families of two dimensional modular $(φ,Γ)$-modules

Non-induced modular representations of cyclic groups

Arboreal Galois groups for cubic polynomials with colliding critical points

Galois trace forms of type $A_{n}, D_{n}, E_{n}$ for odd $n$