Explicit Factorization of Prime Integers in Quartic Number Fields defined by $X^4+aX+b$

Lhoussain El Fadil

DOI: https://doi.org/10.48550/arXiv.1008.3674

2010-08-22

Abstract:For every prime integer $p$, an explicit factorization of the principal ideal $p\z_K$ into prime ideals of $\z_K$ is given, where $K$ is a quartic number field defined by an irreducible polynomial $X^4+aX+b\in\z[X]$.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: For the quartic number field \(K\) defined by the irreducible polynomial \(P(X) = X^4 + aX + b\in\mathbb{Z}[X]\), give the explicit decomposition of the principal ideal \(p\mathcal{O}_K\) into prime ideals in the ring of algebraic integers \(\mathcal{O}_K\) of \(K\) for each prime integer \(p\).

Specifically, the main objectives of the paper are:
1. **Provide explicit decomposition**: For each prime \(p\), give the explicit form of \(p\mathcal{O}_K\) as a product of prime ideals in \(\mathcal{O}_K\). That is, if \(p\mathcal{O}_K=\prod_{i = 1}^{r}\mathfrak{P}_i^{e_i}\), then each prime ideal \(\mathfrak{P}_i\) and its exponent \(e_i\) need to be determined.
2. **Construct generators**: For each prime ideal factor \(\mathfrak{P}_i\), give an integral element \(w_i\) such that \(\mathfrak{P}_i=(p, w_i)\).
3. **Handle special cases**: When \(p\) is the common divisor of exponents, construct an element \(\beta\in\mathcal{O}_K\) such that \(v_{\mathfrak{P}}(\beta) = 1\) and for every other prime ideal \(\mathfrak{Q}\neq\mathfrak{P}\) above \(p\), \(v_{\mathfrak{Q}}(\beta)=0\).

### Key techniques and methods
- **Dedekind's theorem**: When \(p\) does not divide the index of \(P(X)\), use Dedekind's theorem to decompose \(p\mathcal{O}_K\).
- **Newton polygon**: Utilize Newton polygon techniques, especially high - order Newton polygons, to handle more complex cases.
- **Hensel's lemma**: Simplify the problem to the decomposition of irreducible polynomials over local fields through Hensel's lemma.

### Main results
The paper provides detailed tables and theorems, covering the decomposition forms of \(p\mathcal{O}_K\) in different cases and gives specific generators. For example:

- When \(v_p(a)\geq1\) and \(v_p(b)\geq1\), according to the specific values of \(v_p(a)\) and \(v_p(b)\), the paper gives different decomposition forms.
- For specific \(p\) (such as \(p = 2\) or \(p=3\)), the paper also discusses in detail the decomposition situations of these primes under different conditions.

In conclusion, this paper aims to provide a complete and explicit solution for the prime ideal decomposition in quartic number fields through systematic methods and techniques.