On computing discriminants of subfields of Q(_p^r)
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\).
- On Computing the Discriminant of an Algebraic Number Field
- THE DISCRIMINANT OF SUBFIELDS OF ℚ(ζ2r)
- On the discriminant of pure number fields
- scientific article; zbMATH DE number 3891480
- The discriminant of compositum of algebraic number fields
- Computing zeta functions of a hypersurface over finite field F_q
- Discriminants, Z-integral bases and relative integral bases in case of multiquadratic number fields
- scientific article; zbMATH DE number 4200323
- Numerical calculation of the genera of quadratic number fields for general discriminants
- Counting discriminants of number fields
- A note on cyclotomic subfields
- A new number field construction of the lattice \(E_8\)
- Upper bounds for the Euclidean minima of abelian fields of odd prime power conductor
- THE DISCRIMINANT OF SUBFIELDS OF ℚ(ζ2r)
- Finding eisenstein elements in cyclic number fields of odd prime degree
- Some results about the discriminant of abelian number fields
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)