On the average size of 3-torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -exten

The Cohen–Lenstra–Martinet heuristics lead one to conjecture that the average size of the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> -torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> -extensions of a number field is finite. In a 2021 paper, Lemke Oliver, Wang, and Wood proved this conjecture in the case of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>=</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> </mml:math> for permutation groups <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> of the form <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> for a broad family of permutation groups <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>H</mml:mi> </mml:math> , including most nilpotent groups. However, their theorem does not apply for some nilpotent groups of interest, such as <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>H</mml:mi> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>5</mml:mn> </mml:msub> </mml:mrow> </mml:math> . We extend their results to prove that the average size of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mn>3</mml:mn> </mml:math> -torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -extensions is finite for any nilpotent group <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>H</mml:mi> </mml:math> .

Authors

Publication Details

Journal
Journal de Théorie des Nombres de Bordeaux
Published
2025-11-27
DOI
https://doi.org/10.5802/jtnb.1350
Primary Topic
Finite Group Theory Research
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

On the average size of 3-torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -exten

Jonas Iskander, Hari R. Iyer
Journal de Théorie des Nombres de Bordeaux
Finite Group Theory Research
article

On the average size of 3-torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -exten

Jonas Iskander, Hari R. Iyer
article en

Abstract

The Cohen–Lenstra–Martinet heuristics lead one to conjecture that the average size of the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> -torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> -extensions of a number field is finite. In a 2021 paper, Lemke Oliver, Wang, and Wood proved this conjecture in the case of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>=</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> </mml:math> for permutation groups <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> of the form <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> for a broad family of permutation groups <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>H</mml:mi> </mml:math> , including most nilpotent groups. However, their theorem does not apply for some nilpotent groups of interest, such as <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>H</mml:mi> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>5</mml:mn> </mml:msub> </mml:mrow> </mml:math> . We extend their results to prove that the average size of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mn>3</mml:mn> </mml:math> -torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -extensions is finite for any nilpotent group <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>H</mml:mi> </mml:math> .

Journal de Théorie des Nombres de BordeauxVol. 37(3)
Openalex Percentile: Top 56%
Finite Group Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

On the average size of 3-torsion in class groups of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>C</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>≀</mml:mo> <mml:mi>H</mml:mi> </mml:mrow> </mml:math> -exten — Jonas Iskander, Hari R. Iyer · Journal de Théorie des Nombres de Bordeaux (2025) | TGRS Research Map | TGRS