Daniel R. Replogle | Searcharxiv

arXiv2002

Nontrivial Galois module structure of cyclotomic fields

We say a tame Galois field extension $L/K$ with Galois group $G$ has trivial Galois module structure if the rings of integers have the property that $\Cal{O}_{L}$ is a free $\Cal{O}_{K}[G]$-module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes $l$ so that for each there is a tame Galois field extension of degree $l$ so that $L/K$ has nontrivial Galois module structure. However, the proof does not directly yield specific primes $l$ for a given algebraic number field $K.$ For $K$ any cyclotomic field we find an explicit $l$ so that there is a tame degree $l$ extension $L/K$ with nontrivial Galois module structure.

math.NT↗

arXiv2002

Kernel Groups and nontrivial Galois module structure of imaginary quadratic fields

Let $K$ be an algebraic number field with ring of integers $\Cal{O}_{K}$, $p>2$ be a rational prime and $G$ be the cyclic group of order $p $. Let $Λ$ denote the order $\Cal{O}_{K}[G].$ Let $Cl(Λ)$ denote the locally free class group of $Λ$ and $D(Λ)$ the kernel group, the subgroup of $Cl(Λ)$ consisting of classes that become trivial upon extension of scalars to the maximal order. If $p$ is unramified in $K$, then $D(Λ) = T(Λ)$, where $T(Λ)$ is the Swan subgroup of $Cl(Λ).$ This yields upper and lower bounds for $D(Λ)$. Let $R(Λ)$ denote the subgroup of $Cl(Λ)$ consisting of those classes realizable as rings of integers, $\Cal{O}_{L},$ where $L/K$ is a tame Galois extension with Galois group $Gal(L/K) \cong G.$ We show under the hypotheses above that $T(Λ)^{(p-1)/2} \subseteq R(Λ) \cap D(Λ) \subseteq T(Λ)$, which yields conditions for when $T(Λ)=R(Λ) \cap D(Λ)$ and bounds on $R(Λ) \cap D(Λ)$. We carry out the computation for $K=\Bbb{Q}(\sqrt{-d}), d>0, d \neq 1$ or $3.$ In this way we exhibit primes $p$ for which these fields have tame Galois field extensions of degree $p$ with nontrivial Galois module structure.

math.NT↗