2002/01/17 by Daniel R. Replogle, Replogle, Daniel R.
Mathematics · #Algebraic Geometry and Number Theory #FOS: Mathematics #Number Theory (math.NT) #math.NT
paper · pdf · doi:10.48550/arxiv.math/0201323
arxiv created 2002/01/17 · openalex publication_date 2002/01/17 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let K be an algebraic number field with ring of integers \CalOK, p>2 be a rational prime and G be the cyclic group of order p . Let Λ denote the order \CalOK[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, \CalOL, where L/K is a tame Galois extension with Galois group Gal(L/K) ≅ G. We show under the hypotheses above that T(Λ)(p-1)/2 ⊆ R(Λ) ∩ D(Λ) ⊆ T(Λ), which yields conditions for when T(Λ)=R(Λ) ∩ D(Λ) and bounds on R(Λ) ∩ D(Λ). We carry out the computation for K=ℚ(√(-d)), d>0, d ≠ 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.