On computing discriminants of subfields of Q(_p^r)

From MaRDI portal
Publication:1864863





Let \(p\) be an odd prime, \(r\) a positive integer and \(K\) a subfield of the \(p^r\)th cyclotomic field \(\mathbb Q(\zeta_{p^r})\). Then the absolute degree of \(K\) is of the form \(up^j\), where \(u\) is a divisor of \(p-1\) and \(j\) is an integer satisfying \(0\leq j\leq r-1\). Due to the well-known cyclicity of the Galois group of \(\mathbb Q(\zeta_{p^r})/\mathbb Q\), its absolute degree fully characterizes \(K\) among the subfields of \(\mathbb Q(\zeta_{p^r})\). The main result of the paper consists in the computation of the discriminant of \(K\) via Hasse conductor-discriminant formula. Is is shown that the absolute value of the discriminant of \(K\) is equal to \(p^a\), where \(a=u((j+2)p^j-(p^{j+1}-1)/(p-1))-1\).











This page was built for publication: On computing discriminants of subfields of \(\mathbb Q(\zeta_{p^r})\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1864863)