Cyclotomic Swan subgroups and primitive roots

dc.creatorKohl, Timothy
dc.creatorReplogle, Daniel
dc.date2002-11-13
dc.date.accessioned2026-07-07T04:53:25Z
dc.date.available2026-07-07T04:53:25Z
dc.descriptionLet $K_{m}=\Bbb{Q}(ζ_{m})$ where $ζ_{m}$ is a primitive $m$th root of unity. Let $p>2$ be prime and let $C_{p}$ denote the group of order $p.$ The ring of algebraic integers of $K_{m}$ is $\Cal{O}_{m}=\Bbb{Z}[ζ_{m}].$ Let $Λ_{m,p}$ denote the order $\Cal{O}_{m}[C_{p}]$ in the algebra $K_{m}[C_{p}].$ Consider the kernel group $D(Λ_{m,p})$ and the Swan subgroup $T(Λ_{m,p}).$ If $(p,m)=1$ these two subgroups of the class group coincide. Restricting to when there is a rational prime $p$ that is prime in $\Cal{O}_{m}$ requires $m=4$ or $q^{n}$ where $q>2$ is prime. For each such $m$, $3 \leq m \leq 100,$ we give such a prime, and show that one may compute $T(Λ_{m,p})$ as a quotient of the group of units of a finite field. When $h_{mp}^{+}=1$ we give exact values for $|T(Λ_{m,p})|$, and for other cases we provide an upper bound. We explore the Galois module theoretic implications of these results.
dc.identifierhttps://arxiv.org/abs/math/0211468
dc.identifierhttp://arxiv.org/abs/math/0211468
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/65842
dc.subjectNumber Theory
dc.titleCyclotomic Swan subgroups and primitive roots
dc.typetext

Files

Collections