Monogenic Cyclic Quartic Trinomials

Lenny Jones

2024-04-27

Abstract:A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this brief note, we prove that there exist exactly three distinct monogenic trinomials of the form $x^4+bx^2+d$ whose Galois group is the cyclic group of order 4.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine whether all quartic trinomials with the cyclic group \(C_4\) as the Galois group are monogenic. Specifically, the author aims to find all monogenic quartic trinomials in the form of \(x^4 + bx^2 + d\) and prove that the Galois groups of these polynomials are the cyclic group \(C_4\) of order 4.

### Background and Definitions

A monic polynomial \(f(x)\in\mathbb{Z}[x]\) is called monogenic if it is irreducible over the field of rational numbers \(\mathbb{Q}\), and \(\{1,\theta,\theta^2,\ldots,\theta^{N - 1}\}\) is a basis of the ring of integers of \(\mathbb{Q}(\theta)\), where \(f(\theta)=0\). For an irreducible polynomial \(f(x)\), we have:

\[
\Delta(f)=[\mathcal{O}_K:\mathbb{Z}[\theta]]^2\Delta(K)
\]

where \(\Delta(f)\) and \(\Delta(K)\) denote the discriminants of \(f(x)\) and the number field \(K\) over \(\mathbb{Q}\), respectively. Therefore, for an irreducible polynomial \(f(x)\), it is monogenic if and only if \(\Delta(f)=\Delta(K)\).

### Main Results

The author partially answers this question by proving the following theorem:

**Theorem 1.1**: There are exactly three distinct monogenic quartic trinomials \(f(x)=x^4+bx^2 + d\in\mathbb{Z}[x]\) whose Galois groups are isomorphic to the cyclic group \(C_4\) of order 4. These three polynomials are:

\[
x^4 - 4x^2+2,\quad x^4 + 4x^2+2,\quad x^4 - 5x^2+5
\]

### Proof Process

To prove this theorem, the author first uses the results of Kappe and Warren (Theorem 2.1) to point out that \(f(x)=x^4+bx^2 + d\) is irreducible over \(\mathbb{Q}\) and its Galois group is isomorphic to \(C_4\) if and only if the following conditions are satisfied:

\[
d\) and \(b^2 - 4d\) are not square numbers, but \(d(b^2 - 4d)\) is a square number
\]

Then, the author uses a simplified version of the Dedekind index criterion (Theorem 2.2) to ensure that these polynomials are monogenic. Through a detailed analysis of different cases, the above three polynomials are finally obtained as the only monogenic quartic trinomials that satisfy the conditions.

### Conclusion

Through detailed mathematical derivations and verifications, the author has proved that these three polynomials are the only monogenic quartic trinomials that satisfy the conditions, and the number fields generated by them are different from each other. This provides an important theoretical basis for the study of monogenic polynomials and their Galois groups.