Kernel groups and nontrivial Galois module structure of imaginary quadratic fields

DOI10.1216/RMJM/1181069907MaRDI QIDQ1880984zbMATH OpenOpenAlexFDO

Authors Daniel R. Replogle

Publication date 27 September 2004

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0201323

zbMATH Keywords

locally free class grouprealizable classSwan subgroup

Mathematics Subject Classification ID

Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Class groups and Picard groups of orders (11R65)

Abstract: 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 $Lambda$ denote the order $Cal{O}_K[G].$ Let $Cl(Lambda)$ denote the locally free class group of $Lambda$ and $D(Lambda)$ the kernel group, the subgroup of $Cl(Lambda)$ consisting of classes that become trivial upon extension of scalars to the maximal order. If $p$ is unramified in $K$, then $D(Lambda)=T(Lambda)$, where $T(Lambda)$ is the Swan subgroup of $Cl(Lambda).$ This yields upper and lower bounds for $D(Lambda)$. Let $R(Lambda)$ denote the subgroup of $Cl(Lambda)$ 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)congG.$ We show under the hypotheses above that $T(Lambda{)}^{(p-1)/2}subseteqR(Lambda)capD(Lambda)subseteqT(Lambda)$, which yields conditions for when $T(Lambda)=R(Lambda)capD(Lambda)$ and bounds on $R(Lambda)capD(Lambda)$. We carry out the computation for $K=BbbQ(sqrt-d),d>0,deq1$ 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.

Review text

Let \(K\) be an algebraic number field with ring of integers \(\mathcal O_K\), \(G\) denote the cyclic group of prime order \(p>2\), \(\Lambda = \mathcal O_K [G]\) and Cl\((\Lambda)\) the class group of locally free \(\Lambda\)-modules. Supposing that \(p\) is unramified in \(K\), it is shown that the kernel group \(D(\Lambda)\) and the Swan subgroup \(T(\Lambda)\) coincide inside Cl\((\Lambda)\). Thus any structural result on \(T(\Lambda)\) carries over to \(D(\Lambda)\), and a ``nearly complete description of \(D(\Lambda)\) is obtained in case \(K\) is an imaginary quadratic number field with discriminant less than \(-4\) and coprime to \(p\). In combination with the description of the set \(R(\Lambda)\) of realizable classes given by \textit{L. McCulloh} [J. Algebra 82, 102--134 (1983; Zbl 0508.12008)] results on \(R(\Lambda) \cap D(\Lambda)\) are derived.

Recommendations

• Class group of the group ring of a cyclic group of order p^ 2 over the ring of integers in a quadratic number field
• Swan modules and realisable classes for Kummer extensions of prime degree
• On the Galois module structure of cyclic Kummer extensions
• On the class groups of certain imaginary cyclic fields of 2-power degree
• A remark about the Galois module structure in ray class fields over imaginary quadratic number fields

Cites work

• A Mayer-Vietoris sequence for class groups
• Galois module structure of abelian extensions.
• Galois module structure of elementary abelian extensions
• scientific article; zbMATH DE number 51975 (Why is no real title available?)
• scientific article; zbMATH DE number 3605014 (Why is no real title available?)
• Modules over finite groups
• Nontrivial Galois module structure of cyclotomic fields
• Nontrivial lower bounds for class groups of integral group rings
• On the classgroup of integral grouprings of finite abelian groups
• On the classgroup of integral grouprings of finite Abelian groups II
• Relative Galois module structure of quadratic extensions
• Swan modules and Hilbert-Speiser number fields
• Swan modules and realisable classes for Kummer extensions of prime degree

Cited in

(6)

• Class group of the group ring of a cyclic group of order p^ 2 over the ring of integers in a quadratic number field
• Swan modules and Hilbert-Speiser number fields
• Cyclotomic Swan subgroups and irregular indices
• Swan modules and elliptic functions
• Note on imaginary quadratic fields satisfying the Hilbert-Speiser condition at a prime \(p\)
• Cyclotomic Swan subgroups and primitive roots.

This page was built for publication: Kernel groups and nontrivial Galois module structure of imaginary quadratic fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880984)