The 3-part of the Ideal Class Group of a certain family of real cyclotomic fields

TL;DR

This paper investigates the structure of the 3-part of the ideal class group in specific real cyclotomic fields with class number 9, proving cyclicity and computing previously unknown class numbers for two such fields.

Contribution

It demonstrates that the 3-part of the class group is cyclic in these fields and provides new explicit class number computations for two cases.

Findings

The 3-part of the class group is cyclic in the studied fields.

Identified all such fields with conductor pq ≤ 2021.

Computed the 3-part of class number for two previously unknown cases.

Abstract

In this paper we study the structure of the $3-$part of the ideal class group of a certain family of real cyclotomic fields with $3-$class number exactly $9$ and conductor equal to the product of two distinct odd primes. We employ known results from Class Field Theory as well as theoretical and numerical results on real cyclic sextic fields, and we show that the $3-$part of the ideal class group of such cyclotomic fields must be cyclic. We present four examples of fields that fall into our category, namely the fields of conductor $3 \cdot 331$, $7 \cdot 67$, $3 \cdot 643$ and $7 \cdot 257$, and they are the only ones amongst all real cyclotomic fields with conductor $pq \leq 2021$. The $3-$part of the class number for the two fields of conductor $3 \cdot 643$ and $7 \cdot 257$ was up to now unknown and we compute it in this paper.