Abstract:For any quartic number field $K$ generated by a root $\alpha$ of an irreducible trinomial of type $x^4+ax^2+b\in Z[x]$, we characterize when $Z[\alpha]$ is integrally closed. Also for $p=2,3$, we explicitly give the highest power of $p$ dividing $i(K)$, the common index divisor of $K$. For a wide class of monogenic trinomials of this type we prove that up to equivalence there is only one generator of power integral bases in $K=Q(\alpha)$. We illustrate our statements with a series of examples.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve focus on the monogenity of quartic number fields \(K\), and its related integral closedness and index divisor. Specifically, for the quartic number field \(K\) defined by the irreducible trinomial of the form \(x^{4}+ax^{2} + b\), the paper aims to:
1. **Determine whether the integral domain \(\mathbb{Z}[\alpha]\) is integrally closed**:
- The paper gives the necessary and sufficient conditions for \(\mathbb{Z}[\alpha]\) to be the ring of integers of the number field \(K\) if and only if certain conditions are met. These conditions involve the \(p\)-adic valuations \(\nu_{p}(a)\) and \(\nu_{p}(b)\) of the coefficients \(a\) and \(b\).
2. **Compute the highest power of the prime number \(p\) dividing the index \(i(K)\)**:
- For \(p = 2,3\), the paper provides specific formulas to compute \(\nu_{p}(i(K))\), that is, the value of the highest power of \(p\) dividing \(i(K)\). This involves a detailed analysis of different cases of the values of \(a\) and \(b\).
3. **Study the monogenity of the number field \(K\)**:
- The paper explores under what conditions the quartic number field \(K\) generated by the root \(\alpha\) is monogenic. In particular, for a large class of monogenic trinomials \(x^{4}+ax^{2}+b\), it is proved that the root \(\alpha\) is the unique power - integral basis generator (up to equivalence).
### Summary of main conclusions
- **Integral closedness conditions**: Theorem 2.1 gives the necessary and sufficient conditions for \(\mathbb{Z}[\alpha]\) to be integrally closed, including different cases when \(p = 2\) and \(p\geqslant3\) is a prime number.
- **Index divisor analysis**: Theorem 2.2 and 2.3 give the necessary and sufficient conditions for \(p = 2\) and \(p = 3\) respectively, when \(p\) divides \(i(K)\), and clearly compute the values of \(\nu_{2}(i(K))\) and \(\nu_{3}(i(K))\).
- **Monogenity**: Theorem 2.4 shows that for certain specific \(a\) and \(b\), the root \(\alpha\) is the unique power - integral basis generator, unless \(a\) and \(b\) satisfy a certain special form.
### Illustration by examples
The paper verifies the validity of the above theoretical results through several specific examples, showing how to apply these theorems to judge the monogenity and index divisor of specific quartic number fields.
Through these studies, the paper provides new perspectives and methods for understanding and dealing with the monogenity problem of quartic number fields, especially in the number fields defined by the trinomial \(x^{4}+ax^{2}+b\).