English

Kernel Groups and nontrivial Galois module structure of imaginary quadratic fields

Number Theory 2007-05-23 v1

Abstract

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

Keywords

Cite

@article{arxiv.math/0201323,
  title  = {Kernel Groups and nontrivial Galois module structure of imaginary quadratic fields},
  author = {Daniel R. Replogle},
  journal= {arXiv preprint arXiv:math/0201323},
  year   = {2007}
}
R2 v1 2026-07-22T16:43:03.236Z