Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-09T16:58:45.326Z Has data issue: false hasContentIssue false

MONOGENIC EVEN QUARTIC TRINOMIALS

Published online by Cambridge University Press:  13 September 2024

LENNY JONES*
Affiliation:
Department of Mathematics, Shippensburg University, Shippensburg, PA 17257, USA
Rights & Permissions [Opens in a new window]

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$. 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. We also show that the situation is quite different when the Galois group is not cyclic.

Type
Research Article
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1. Introduction

We say that a monic polynomial $f(x)\in {\mathbb Z}[x]$ is monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta ,\theta ^2,\ldots ,\theta ^{\deg {f}-1}\}$ is a basis for the ring of integers ${\mathbb Z}_K$ of $K={\mathbb Q}(\theta )$ , where $f(\theta )=0$ . From [Reference Cohen1], when $f(x)$ is irreducible over ${\mathbb Q}$ ,

(1.1) $$ \begin{align} \Delta(f)=[{\mathbb Z}_K:{\mathbb Z}[\theta]]^2\Delta(K), \end{align} $$

where $\Delta (f)$ and $\Delta (K)$ denote the discriminants over ${\mathbb Q}$ , respectively, of $f(x)$ and the number field K. Thus, for irreducible $f(x)$ , the polynomial $f(x)$ is monogenic if and only if $\Delta (f)=\Delta (K)$ . We also say that any number field K is monogenic if there exists a power basis for ${\mathbb Z}_K$ . We caution the reader that, while the monogenicity of $f(x)$ implies the monogenicity of $K={\mathbb Q}(\theta )$ , where $f(\theta )=0$ , the converse is not necessarily true. A simple example is $f(x)=x^2-5$ and $K={\mathbb Q}(\theta )$ , where $\theta =\sqrt {5}$ . Then, $\Delta (f)=20$ and $\Delta (K)=5$ . Thus, $f(x)$ is not monogenic, but nevertheless, K is monogenic since $\{1,(\theta +1)/2\}$ is a power basis for ${\mathbb Z}_K$ . Observe then that $g(x)=x^2-x-1$ , the minimal polynomial for $(\theta +1)/2$ over ${\mathbb Q}$ , is monogenic.

This note was motivated by a recent question of Tristan Phillips (private communication) asking if it is possible to determine all distinct monogenic quartic trinomials that have Galois group $C_4$ , the cyclic group of order 4. We consider two monogenic $C_4$ -quartic trinomials $f(x)$ and $g(x)$ to be distinct if ${\mathbb Q}(\alpha )\not \simeq {\mathbb Q}(\beta )$ , where ${f(\alpha )=0=g(\beta )}$ . In this note, we provide a partial answer to Phillips’s question by proving the following theorem.

Theorem 1.1. The three trinomials

$$ \begin{align*} x^4-4x^2+2,\quad x^4+4x^2+2\quad \mbox{and} \quad x^4-5x^2+5, \end{align*} $$

are the only distinct trinomials of the form $f(x)=x^4+bx^2+d\in {\mathbb Z}[x]$ with $\mathrm {Gal} (f)\simeq C_4$ .

In Section 4, we show that the situation is quite different when $\mathrm {Gal}(f)\not \simeq C_4$ , where $f(x)=x^4+bx^2+d$ .

2. Preliminaries

The following theorem follows from results due to Kappe and Warren.

Theorem 2.1 [Reference Kappe and Warren4].

Let $f(x)=x^4+bx^2+d\in {\mathbb Z}[x]$ . Then $f(x)$ is irreducible over ${\mathbb Q}$ with $\mathrm {Gal}(f)\simeq C_4$ if and only if

(2.1) $$ \begin{align} d \mbox{ and } b^2-4d \mbox{ are not squares in } {\mathbb Z}, \text{ but } d(b^2-4d) \text{ is a square in } \mathbb{Z}. \end{align} $$

The next result is the specific case for our quartic situation of a ‘streamlined’ version of Dedekind’s index criterion for trinomials that is due to Jakhar, Khanduja and Sangwan. We have used Swan’s formula [Reference Swan5] for the discriminant of an arbitrary trinomial $f(x)$ to calculate $\Delta (f)$ .

Theorem 2.2 [Reference Jakhar, Khanduja and Sangwan3].

Let $K={\mathbb Q}(\theta )$ be an algebraic number field with $\theta \in {\mathbb Z}_K$ , the ring of integers of K, having minimal polynomial $f(x)=x^{4}+bx^2+d$ over ${\mathbb Q}$ . A prime factor q of $\Delta (f)=2^{4}d(b^2-4d)^2$ does not divide $[{\mathbb Z}_K:{\mathbb Z}[\theta ]]$ if and only if q satisfies one of the following conditions:

  1. (1) when $q\mid b$ and $q\mid d$ , then $q^2\nmid d$ ;

  2. (2) when $q\mid b$ and $q\nmid d$ , then

    $$ \begin{align*} \mbox{either} \quad q\mid b_2 \mbox{ and } q\nmid d_1 \quad \mbox{or} \quad q\nmid b_2(-db_2^2-d_1^2), \end{align*} $$
    where $b_2=b/q$ and $d_1={(d+(-d)^{q^j})}/{q}$ with $q^j\mid \mid 4$ ;
  3. (3) when $q\nmid b$ and $q\mid d$ , then

    $$ \begin{align*} \mbox{either} \quad q\mid b_1 \mbox{ and } q\nmid d_2 \quad \mbox{or} \quad q\nmid b_1d_2(-bb_1+d_2),\end{align*} $$
    where $b_1={(b+(-b)^{q^e})}/{q}$ with $q^e\mid \mid 2$ and $d_2=d/q$ ;
  4. (4) when $q=2$ and $2\nmid bd$ , then the polynomials

    $$ \begin{align*} H_1(x):=x^2+bx+d \quad \mbox{and}\quad H_2(x):=\dfrac{bx^2+d+(-bx-d)^2}{2} \end{align*} $$
    are coprime modulo $2$ ;
  5. (5) when $q\nmid 2bd$ , then $q^2\nmid (b^2-4d)$ .

3. The proof of Theorem 1.1

Following Theorem 2.1, we assume conditions (2.1) so that $f(x)$ is irreducible over ${\mathbb Q}$ with $\mathrm {Gal}(f)\simeq C_4$ . Observe that if $d<0$ , then $d(b^2-4d)<0$ , which contradicts the fact that $d(b^2-4d)$ is a square. Hence, $d>0$ and $b^2-4d>0$ . Furthermore, since d and $b^2-4d$ are not squares, but $d(b^2-4d)$ is a square, we deduce that $d\ge 2$ and $b^2-4d\ge 2$ .

We use Theorem 2.2 to ‘force’ the monogenicity of $f(x)$ . Let q be a prime divisor of d. If $q\nmid (b^2-4d)$ , then $q\nmid b$ , and $q^2\mid d$ since $d(b^2-4d)$ is a square. But then condition (3) of Theorem 2.2 is not satisfied since $q\mid d_2$ . Therefore, $q\mid (b^2-4d)$ and so $q\mid b$ . Note then that if $q^2\mid d$ , then condition (1) is not satisfied. Hence, $q\mid \mid d$ and therefore, d is squarefree, $d\mid (b^2-4d)$ and $d\mid b$ .

Suppose next that q is a prime divisor of $b^2-4d$ , such that $q\nmid d$ . If $q\mid b$ , then $q=2$ and

(3.1) $$ \begin{align} A:=d(b^2-4d)/4 \quad \mbox{is a square in } {\mathbb Z}. \end{align} $$

We examine condition (2) of Theorem 2.2 to see that

$$ \begin{align*} d_1=\dfrac{d+(-d)^4}{2}\equiv \begin{cases} 1 \pmod{4} & \mbox{if } d\equiv 1 \pmod{4}\\[.5em] 2 \pmod{4} & \mbox{if } d\equiv 3 \pmod{4}. \end{cases}\end{align*} $$

Thus, the first statement under condition (2) is satisfied if and only if

(3.2) $$ \begin{align} (b\ \mod 4, d\ \mod 4)=(0,1), \end{align} $$

while the second statement under condition (2) is satisfied if and only if

(3.3) $$ \begin{align} (b\ \mod 4,\ d\ \mod 4)=(2,3). \end{align} $$

In scenario (3.2) we have $A\equiv 3 \pmod {4}$ , while in scenario (3.3) we have ${A\equiv 2 \pmod {4}}$ , contradicting (3.1) in each scenario. Hence, $q\nmid b$ and $q\ge 3$ . Since $q\nmid d$ and $d(b^2-4d)$ is a square, we must have $q^2\mid (b^2-4d)$ . But then condition (5) of Theorem 2.2 is not satisfied. Therefore, every prime divisor of $b^2-4d$ divides d.

Thus, to summarise, d is squarefree and d and $b^2-4d$ have exactly the same prime divisors $p_1<p_2<\cdots <p_k$ . Hence, since $d(b^2-4d)$ is a square, we can write

(3.4) $$ \begin{align} d(b^2-4d)=\bigg(\prod_{i=1}^kp_i\bigg)\bigg(b^2-4\bigg(\prod_{i=1}^kp_i\bigg)\bigg)=\prod_{i=1}^kp_i^{2e_i}, \end{align} $$

for some integers $e_i\ge 1$ . Then, from (3.4),

$$ \begin{align*} b^2=\bigg(\prod_{i=1}^kp_i\bigg)\bigg(\bigg(\prod_{i=1}^kp_i^{2e_i-2}\bigg)+4\bigg), \end{align*} $$

which implies that

(3.5) $$ \begin{align} \prod_{i=1}^kp_i \quad \mbox{divides} \quad \bigg(\prod_{i=1}^kp_i^{2e_i-2}\bigg)+4. \end{align} $$

We see from (3.5) that if some $e_i>1$ , then $p_i\mid 4$ so that $i=1$ and $p_1=2$ . In this case,

(3.6) $$ \begin{align} b^2=2\bigg(\prod_{i=2}^kp_i\bigg)(4^{e_1-1}+4)=\begin{cases} 2^4\displaystyle \prod_{i=2}^kp_i & \mbox{if } e_1=2\\ 2^3\bigg(\displaystyle \prod_{i=2}^kp_i\bigg)(4^{e_1-2}+1) & \mbox{if } e_1\ge 3. \end{cases} \end{align} $$

The second case of (3.6) is impossible since $b^2/8\equiv 1 \pmod {2}$ . The first case of (3.6) is viable provided $k=1$ , so that $b^2=16$ and $d=2$ . This gives the two trinomials

$$ \begin{align*}x^4-4x^2+2 \quad \mbox{and} \quad x^4+4x^2+2,\end{align*} $$

which are both easily confirmed to be monogenic using Theorem 2.2.

The remaining possibility in (3.5) when $e_i=1$ for all i yields $k=1$ and $p_1=5$ , so that $b^2=25$ and $d=5$ . The two resulting trinomials are then

$$ \begin{align*}x^4+5x^2+5 \quad \mbox{and}\quad x^4-5x^2+5.\end{align*} $$

Again, using Theorem 2.2, it is straightforward to verify that $x^4+5x^2+5$ is not monogenic (condition (4) fails), while $x^4-5x^2+5$ is monogenic.

Thus, we have found exactly three monogenic cyclic trinomials

$$ \begin{align*}x^4-4x^2+2,\quad x^4+4x^2+2\quad \mbox{and} \quad x^4-5x^2+5.\end{align*} $$

Note that

(3.7) $$ \begin{align} \Delta(x^4-4x^2+2)=\Delta(x^4+4x^2+2)=2^{11} \quad \mbox{and} \quad \Delta(x^5-5x^2+5)=2^45^3. \end{align} $$

If any two of these three trinomials generate the same quartic field, then their discriminants must be equal since they are monogenic. Hence, we see immediately from (3.7) that the quartic field generated by $x^5-5x^2+5$ is distinct from the other two quartic fields. However, equality of two discriminants is not sufficient to conclude that those trinomials generate isomorphic quartic fields. Indeed, since the field generated by $x^4-4x^2+2$ is real, while the field generated by $x^4+4x^2+2$ is nonreal, we deduce that these two fields are in fact distinct. Alternatively, we can verify that these two fields are not isomorphic using MAGMA.

4. The noncyclic monogenic even quartic trinomials

With $f(x)=x^4+bx^2+d\in {\mathbb Z}[x]$ , we end by showing that the situation when $\mathrm {Gal}(f)\not \simeq C_4$ is quite different from the cyclic case. From [Reference Kappe and Warren4, Theorem 3], $\mathrm {Gal}(f)\in \{C_4,V,D_4\}$ , where V is the Klein 4-group and $D_4$ is the dihedral group of order 8. Moreover, from [Reference Kappe and Warren4] and Theorem 2.2, conditions can be formulated to determine when $f(x)$ is monogenic with $\mathrm {Gal}(f)\in \{V,D_4\}$ , and even distinguish between V and $D_4$ . However, unlike the cyclic case, these conditions are not as restrictive and, in fact, lead to the construction of infinite families of distinct monogenic trinomials. For example, in [Reference Harrington and Jones2], the infinite family

$$ \begin{align*}{\mathcal F}_2:=\{f_t(x)=x^4+4tx^2+1: t\in {\mathbb Z} \mbox{ and } 4t^2-1 \mbox{ is squarefree}\}\end{align*} $$

of distinct monogenic even V-quartic trinomials is given. Although, to the best of our knowledge, no infinite families of distinct monogenic even $D_4$ -quartic trinomials exist in the literature, we can easily rectify that situation. We claim that the set

$$ \begin{align*}{\mathcal F}_3:=\{f_t(x)=x^4+2x^2+4t+2: t\in {\mathbb Z} \mbox{ and } (2t+1)(4t+1) \mbox{ is squarefree}\}\end{align*} $$

is just such a family. To establish the claim, we use the following theorem that follows from [Reference Kappe and Warren4].

Theorem 4.1. Let $f(x)=x^4+bx^2+d\in {\mathbb Z}[x]$ . Then $f(x)$ is irreducible over ${\mathbb Q}$ with $\mathrm {Gal}(f)\simeq D_4$ if and only if d, $b^2-4d$ and $d(b^2-4d)$ are all not squares in ${\mathbb Z}$ .

Proof of the claim.

Suppose that $f_t(x)\in {\mathcal F}_3$ . Clearly, $d=4t+2\equiv 2 \pmod {4}$ is not a square in ${\mathbb Z}$ . We also see that $b^2-4d=-4(4t+1)$ is not a square in ${\mathbb Z}$ since $4t+1$ is squarefree, and $d(b^2-4d)=-8(2t+1)(4t+1)$ is not a square in ${\mathbb Z}$ since ${2^3\mid \mid -8(2t+1)(4t+1)}$ . Thus, $f_t(x)$ is irreducible over ${\mathbb Q}$ with $\mathrm {Gal}(f_t)\simeq D_4$ , by Theorem 4.1. Noting that $\Delta (f_t)=2^9(2t+1)(4t+1)^2$ , it is then straightforward to verify that $f_t(x)$ is monogenic using Theorem 2.2, and we omit the details.

Finally, suppose that $f_s(x), f_t(x)\in {\mathcal F}_3$ are such that ${\mathbb Q}(\alpha )\simeq {\mathbb Q}(\beta )$ , where ${f_s(\alpha )=0=f_t(\beta )}$ . Then, since both $f_s(x)$ and $f_t(x)$ are monogenic, we must have that $\Delta (f_s)=\Delta (f_t)$ from (1.1). Using Maple to solve this discriminant equation yields the three solutions

$$ \begin{align*} \{t = t, s = t\},&\quad \bigg\{t = t, s = -\frac{t}{2}-\frac{1}{2}+\frac{(-12t^2-8t-1)^{1/2}}{4}\bigg\},\\ \mbox{and}\quad & \bigg\{t = t, s = -\frac{t}{2}-\frac{1}{2}-\frac{(-12t^2-8t-1)^{1/2}}{4}\bigg\}. \end{align*} $$

Since $-12t^2-8t-1\ge 0$ only when $-1/2\le t\le -1/6$ , we can conclude that $s=t$ , so that the trinomials in ${\mathcal F}_3$ do indeed generate distinct quartic fields, and the claim is established.

Acknowledgement

The author thanks the referee for valuable suggestions.

References

Cohen, H., A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics, 138 (Springer-Verlag, Berlin, 2000).Google Scholar
Harrington, J. and Jones, L., ‘Monogenic quartic polynomials and their Galois groups’, Preprint, 2024, arXiv:2404.05487v3.Google Scholar
Jakhar, A., Khanduja, S. and Sangwan, N., ‘Characterization of primes dividing the index of a trinomial’, Int. J. Number Theory 13(10) (2017), 25052514.CrossRefGoogle Scholar
Kappe, L.-C. and Warren, B., ‘An elementary test for the Galois group of a quartic polynomial’, Amer. Math. Monthly 96(2) (1989), 133137.CrossRefGoogle Scholar
Swan, R., ‘Factorization of polynomials over finite fields’, Pacific J. Math. 12 (1962), 10991106.CrossRefGoogle Scholar