On the ideal class group of the normal closure of \(\mathbb{Q}(\sqrt[p]{n})\)
type: Item
instance of: scholarly article
title: On the ideal class group of the normal closure of \(\mathbb{Q}(\sqrt[p]{n})\)
zbMATH Open document ID: 1464.11118
author: René Schoof
published in: Journal of Number Theory
publication date: 2020-08-03T00:00:00Z
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.
reviewed by: Claude Levesque
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R20
Mathematics Subject Classification ID: 11R32
zbMATH DE Number: 7226983
zbMATH Keywords: algebraic number fields
zbMATH Keywords: class groups
zbMATH Keywords: class fields
zbMATH Keywords: Galois cohomology
MaRDI profile type: Publication
full work available at URL: j.jnt.2020.04.004
OpenAlex ID: W3026730804
cites work: The Brauer Group of a Commutative Ring
cites work: Q3240881
cites work: Q5532660
cites work: Separable algebras over commutative rings
cites work: Pure cubic fields whose class numbers are multiples of three
cites work: Iwasawa invariants of some non-cyclotomic \(\mathbb{Z}_p\)-extensions
cites work: Catalan's conjecture
DOI: 10.1016/J.JNT.2020.04.004
description: scientific article; zbMATH DE number 7226983