English

Cyclotomic Swan subgroups and primitive roots

Number Theory 2007-05-23 v1

Abstract

Let Km=Q(ζm)K_{m}=\Bbb{Q}(\zeta_{m}) where ζm\zeta_{m} is a primitive mmth root of unity. Let p>2p>2 be prime and let CpC_{p} denote the group of order p.p. The ring of algebraic integers of KmK_{m} is \CalOm=Z[ζm].\Cal{O}_{m}=\Bbb{Z}[\zeta_{m}]. Let Λm,p\Lambda_{m,p} denote the order \CalOm[Cp]\Cal{O}_{m}[C_{p}] in the algebra Km[Cp].K_{m}[C_{p}]. Consider the kernel group D(Λm,p)D(\Lambda_{m,p}) and the Swan subgroup T(Λm,p).T(\Lambda_{m,p}). If (p,m)=1(p,m)=1 these two subgroups of the class group coincide. Restricting to when there is a rational prime pp that is prime in \CalOm\Cal{O}_{m} requires m=4m=4 or qnq^{n} where q>2q>2 is prime. For each such mm, 3m100,3 \leq m \leq 100, we give such a prime, and show that one may compute T(Λm,p)T(\Lambda_{m,p}) as a quotient of the group of units of a finite field. When hmp+=1h_{mp}^{+}=1 we give exact values for T(Λm,p)|T(\Lambda_{m,p})|, and for other cases we provide an upper bound. We explore the Galois module theoretic implications of these results.

Keywords

Cite

@article{arxiv.math/0211468,
  title  = {Cyclotomic Swan subgroups and primitive roots},
  author = {Timothy Kohl and Daniel Replogle},
  journal= {arXiv preprint arXiv:math/0211468},
  year   = {2007}
}