The 3-part of the ideal class group of a certain family of real cyclotomic fields
Volume 190 / 2019
Abstract
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$ has been unknown up to now; we compute it in this paper.
