A Demjanenko matrix for abelian fields of prime power conductor (Q1892573)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Demjanenko matrix for abelian fields of prime power conductor |
scientific article |
Statements
A Demjanenko matrix for abelian fields of prime power conductor (English)
0 references
22 January 1996
0 references
Fix a power \(q = p^r\) of an odd prime \(p\), and write \(G = (\mathbb{Z}/q \mathbb{Z})^*\), \(M = \{\overline a \in G : 0 < a \leq (q - 1)/2\}\). Let \(c_M\) be the characteristic function of \(M\). The corresponding Demyanenko matrix is \(D_q = (c_M (\overline a \overline b))_{\overline a, \overline b \in M}\). The determinant of \(D_q\) provides a formula for the relative class number of \(\mathbb{Q} (\zeta_q)\). The goal of the paper is to extend the theory to allow consideration of a quotient group of \(G\) and the corresponding subfield \(K\) of \(\mathbb{Q} (\zeta_q)\). The connection between the Demyanenko matrix and the real cyclotomic units leads to a simple proof of a parity result due to Hasse and Garbanati. The authors establish an expression for the relative class number \(h^- (K)\) as the determinant of a matrix with relatively small integer entries. This leads to a reasonable upper bound for \(h^- (K)\).
0 references
Abelian field of prime power conductor
0 references
Demyanenko matrix
0 references
relative class number
0 references
upper bound
0 references