On the ideal class group of the normal closure of Q([p]n)

DOI10.1016/J.JNT.2020.04.004MaRDI QIDQ784707zbMATH OpenOpenAlexFDO

Authors René Schoof

Publication date 3 August 2020

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jnt.2020.04.004

zbMATH Keywords

algebraic number fieldsclass fieldsclass groupsGalois cohomology

Mathematics Subject Classification ID

Other abelian and metabelian extensions (11R20) Class numbers, class groups, discriminants (11R29) Galois theory (11R32)

Review text

Fix a prime \(p>2\) and let \(\zeta_p\) be a primitive \(p\)-th root of unity. Building on previous work of Honda, Washington, Schoof, Hubbard-Washington, the author studies the ideal class group of the field \(K =\mathbb{Q}(\zeta_p, \sqrt[p]{n})\) where \(n\) is not a \(p\)-th power. He plans to study the Galois module structure of the class group \(\mathcal{C}\ell(K)\) of the field \(K\). For the non \(p\)-part of \(\mathcal{C}\ell(K)\), he uses Morita theory. For the \(p\)-part, he needs to assume that \(p\) does not divide the class number of \(\mathbb{Q}(\zeta_p)\) and that all primes \(\ell\) different from \(p\) that ramify in \(K\) are primitive roots modulo \(p\). An important result of the paper is the following one: Call \(\mathcal{C}\ell^{\,0}\) the kernel of the norm map from the class group of \(K\) to the class group of \(\mathbb{Q}(\zeta_p)\). Then there exist \(p-1\) copies of a finite abelian group \(H\) and a \(F_p\)-vector space \(V\) of dimension at most \({((p-3)/2)}^2\) such that the sequence \(\;0\longrightarrow V \longrightarrow \mathcal{C}\ell^{\,0} \longrightarrow H\times H\times\cdots \times H \longrightarrow 0\) is exact. The author brilliantly invoves the Galois cohomology groups machinery to achieve his goals.

Recommendations

• On the \(p\)-rank of the ideal class group of a normal extension with simple Galois group
• The 3-class groups of \(\mathbb{Q}(\sqrt[3]{p})\) and its normal closure
• On the Galois module structure of ideal class groups
• The Normal Closures of Certain Kummer Extensions
• Class groups of Kummer extensions via cup products in Galois cohomology

Cites work

• Catalan's conjecture
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• Iwasawa invariants of some non-cyclotomic \(\mathbb{Z}_p\)-extensions
• Pure cubic fields whose class numbers are multiples of three
• Separable algebras over commutative rings
• The Brauer Group of a Commutative Ring

Cited in

(10)

• On the structure of order 4 class groups of \(\mathbb{Q}(\sqrt{n^2+1})\)
• The 3-class groups of \(\mathbb{Q}(\sqrt[3]{p})\) and its normal closure
• On the \(p\)-rank of the ideal class group of a normal extension with simple Galois group
• On the Galois cohomology of ideal class groups
• scientific article; zbMATH DE number 4144081 (Why is no real title available?)
• scientific article; zbMATH DE number 4108888 (Why is no real title available?)
• Minus class groups of the fields of the 𝑙-th roots of unity
• On the Galois module structure of ideal class groups
• Primary elements in formal modules
• Class groups of Kummer extensions via cup products in Galois cohomology

This page was built for publication: On the ideal class group of the normal closure of \(\mathbb{Q}(\sqrt[p]{n})\)

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