On the common index divisors of a dihedral field of prime degree (Q925337): Difference between revisions

Let \(L\) be an algebraic number field of degree \(n\). Let \(O_{L}\) denote the ring of integers of \(L\) and \(\alpha \in O_{L}\) such that \(L = Q(\alpha)\). The index of \(\alpha\) is the positive integer \(\operatorname{ind} \alpha\) given by \(D(\alpha) = (\operatorname{ind} \alpha)^{2}d(L),\) where \(d(L)\) is the discriminant of \(L\) and \(D(\alpha)\) is the discriminant of the minimal polynomial of \(\alpha\). The index of \(L\) is \(i(L) = \gcd\{\operatorname{ind} \alpha\mid \alpha\) is a generator of \(L\}\). A positive integer \(> 1\) dividing \(i(L)\) is called a common index divisor of \(L\). In this paper the authors give a criterion for a prime to be a common index divisor of a dihedral field of prime degree. As an application of this criterion, the authors determine the index of a field defined by some dihedral quintic polynomials or by some dihedral polynomials of degree \(7\), and they consider a dihedral field and show that it is nonmonogenic.