Determination of all quaternion CM-fields with ideal class groups of exponent 2 (Q1976579)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Determination of all quaternion CM-fields with ideal class groups of exponent 2 |
scientific article |
Statements
Determination of all quaternion CM-fields with ideal class groups of exponent 2 (English)
0 references
20 September 2000
0 references
In [Acta Arith. 67, 47-62 (1994; Zbl 0809.11069)], the authors of this paper showed that the class numbers of octic quaternion CM-fields \(N\) (totally complex normal octic fields whose Galois group over the rationals is the quaternion group of order \(8\)) are always even. Here they show that there are exactly two such fields whose class groups have exponent \(2\), namely \(\mathbb Q(\sqrt{-(2+\sqrt{2})(3+\sqrt{2})})\) with class number \(2\) and \(\mathbb Q(-\sqrt{5+\sqrt{5})(5+\sqrt{21})(21+2\sqrt{105})})\) with class group of type \((2,2,2)\). The proof consists of two parts: 1) an arithmetic part using class field theory showing that if the class group of \(N\) has vanishing \(4\)-rank, then the maximal real subfield \(K\) of \(N\) has odd class number, and there are at most four primes ramifying in \(K\). 2) an analytic part giving a finite list of fields \(N\) whose maximal real subfields \(K\) satisfy the conditions from 1) and whose \(2\)-class groups are annihilated by \(2\). For each of the fields from this finite list, the class group is computed, and it turns out that only the two fields above have a class group that is an elementary abelian 2-group.
0 references
quaternion group
0 references
CM fields
0 references
class group
0 references
L-function
0 references
octic quaternion CM-fields
0 references