6

Let $f = x^4 - 3x^2 + 18 \in \mathbb{Q}_3[x]$. Since there is an LMFDB page of an extension defined by this polynomial, I assume that $f$ is irreducible. Could you verify if this is true and also why that is (not) the case?

It is not an Eisenstein polynomial (as $3^2$ divides $18$, the constant coefficient of $f$). I also tried the substitution $y = x^2$ and asked myself if $g = y^2 - 3y + 18$ is irreducible. Its reduction mod $3$ is $y^2$ which is not irreducible, so I cannot say whether $g$ is irreducible or not.

Rotdat
  • 433

4 Answers4

6

As others have explained $f(x)$ has no zeros in $\Bbb{Q}_3$ because $x^2-3x+18$ doesn't have any. Therefore the remaining possibility is that $f(x)=g(x)h(x)$ is the product of two irreducible monic quadratics, $g(x),h(x)\in\Bbb{Q}_3[x]$.

For another way to a contradiction consider the following. The polynomial $f(x)$ is even. Implying that if $g(x)\mid f(x)$ then also $g(-x)\mid f(-x)=f(x)$. In other words, $g(-x)$ is also an irreducible monic factor of $f$. The same applies to $h(-x)$ as well. We have two possibilities:

  • If $g(-x)=g(x)$ and $h(-x)=h(x)$, then $g(x)$ and $h(x)$ are both even. That is, $g(x)=x^2-a, h(x)= x^2-b, a,b\in\Bbb{Q}_3$. Then $a$ and $b$ would be zeros of $x^2-3x+18$, which is absurd.
  • If $g(-x)=h(x)$ (when automatically also $h(-x)=g(x)$) then we run into the following problem. If $g(x)=x^2+a_1x+a_2$, then $g(-x)=x^2-a_1x+a_2$, and $$f(x)=g(x)g(-x)=x^4+\cdots+a_2^2.$$ So $18=a_2^2$. But this is impossible, because $18=2\cdot3^2$, and there is no $\sqrt2$ in $\Bbb{Q}_3$.

No factorization exists, so $f$ is irreducible.

Jyrki Lahtonen
  • 133,153
  • This trick comes in handy in proving irreducibility of even polynomials. I think I have used it on this site at least once already. Soon I will have to start CWing my answers based on this trick. – Jyrki Lahtonen Nov 24 '20 at 22:10
  • This is quite nice. – Lubin Nov 25 '20 at 01:29
3

The polynomial $x^2 - 3 x + 18$ is irreducible over $\mathbb{Q}_3$. Consider the quadratic extension $F=\mathbb{Q}_3[\sqrt{-7}]$ over which it decomposes as $(x-x_1)(x-x_2)$. So we have $$x^4 - 3 x^2 + 18= (x^2-x_1)(x^2 - x_2)$$ Now it is enough to see that $(x^2 - x_1)$, $(x^2 -x_2)$ are irreducible over $F$, equivalently $x_i$ are not squares in $F$.

Consider the extension of the valuation $v_3$ to $F$. We have $v_3(x_i) = 1$. It is easy to see that there are no elements in $F$ of value $\frac{1}{2}$.

Note: the extension of the valuation $v_3$ to $F$ is $v(a + b \sqrt{-7}) = \frac{1}{2}v_3(a^2 + 7 b^2)$

orangeskid
  • 53,909
  • 2
    $v(x_1) = 1$ doesn't imply that there is no element of $\Bbb{Q}_3(x_1)$ of valuation $1/2$ (try with $x_1= 3 (1+\sqrt{3})$). You need to say that $\Bbb{Q}_3(x_1)=\Bbb{Q}_3(\sqrt{\Delta}) =\Bbb{Q}_3(\sqrt{-7})$ is an unramified extension (because $x^2+7$ is irreducible $\bmod 3$) – reuns Nov 24 '20 at 20:31
  • @reuns: Very good point, let me add some details. – orangeskid Nov 24 '20 at 20:35
3

Well, here’s an argument that uses a somewhat non-elementary fact about $p$-adic field extensions, namely that if the residue-field extension degree is $f$ and the ramification degree is $e$, then the total degree $n$ is $n=ef$. This $f$ is also the degree over the base field of the maximal unramified intermediate extension.

I’m about to show that if $\alpha$ is a root of $F(x)=x^4-3x^2+18$, then the extension $\Bbb Q_3(\alpha)\supset\Bbb Q_3$ has $f$ and $e$ both equal to $2$, so that $[\Bbb Q_3(\alpha):\Bbb Q_3]=4$. This shows that your polynomial $F$ is irreducible.

You’ve already seen that $G(x)=x^2-3x+18$ has $\alpha^2=\gamma$ for a root, and as I’ve pointed out in a comment, $\gamma/3$ is a root of $x^2-x+2=g(x)$. Use the Quadratic Formula to see that to get roots of $g$, you need $\sqrt{-7}$, and since $x^2+7\equiv x^2+1\pmod3$, adjoining $\sqrt{-7}$ is same as adjoining $i$ to $\Bbb Q_3$, giving the quadratic unramified extension of $\Bbb Q_3$. So $f=2$ for the extension $\Bbb Q_3(\gamma)\supset\Bbb Q_3$.

Since the roots of $g(x)$ are $3$-adic units (the constant term of the minimal polynomial is a unit), we have $v_3(\gamma)=1$, as @RobertIsrael has shown by different methods. This means that $v_3(\alpha)=v_3(\sqrt\gamma\,)=1/2$, which in turn means that the ramification degree $e$ of $\Bbb Q_3$ over $\Bbb Q_3$ is at least two. Thus we have $f\ge2$, $g\ge2$, and their product $n$, the degree of the minimal polynomial for $\alpha$ over $\Bbb Q_3$, is $\le4$. It follows that all three inequalities are equalities, and $F$ is irreducible.

Lubin
  • 62,818
1

If it's reducible, it has a factor of degree $1$ or $2$. I'll leave it up to you to show there is no factor of degree $1$ (i.e. no root in $\mathbb Q_3$). So suppose $x^2 + \alpha x + \beta$ divides $x^4 - 3 x^2 + 18$. The remainder on this division is $$(-\alpha^3 + 2 \alpha \beta + 3 \alpha) x - \alpha^2 \beta + \beta^2 + 3 \beta + 18$$ If $\alpha = 0$ we'd have $\beta^2 + 3 \beta + 18 = 0$, which has no root in $\mathbb Q_3$, so $\alpha \ne 0$ and $\beta = (\alpha^2-3)/2$. Substituting in to the remainder, this gives us $$-\frac{\alpha^4}{4} + \frac{3}{2} \alpha^2 + \frac{63}{4} = 0$$ which has no solution in $\mathbb Q_3$.

EDIT: Here's one way to see $\beta^2 + 3 \beta + 18=0$ has no solution in $\mathbb Q_3$. If $\beta$ has $3$-adic order $m$, then $\beta^2$ has order $2m$ and $3\beta$ has order $m+1$, while of course $18$ has order $2$. So the only possibility is $m=1$. Thus we have the $3$-adic expansion $\beta = \beta_1 3^{1} + \beta_2 3^{2} + \ldots$, with $\beta_i \in \{0,1,2\}$. But these three possibilities make $\beta^2 + 3\beta + 18 = 2 \cdot 3^2 + \ldots, 1 \cdot 3^2 + \ldots, 2 \cdot 3^2 + \ldots$ respectively, and not $0$.

Robert Israel
  • 448,999
  • I generally have trouble to understand how to see if a polynomial over $\mathbb{Q}_p$ has a root. Could you please explain how you can see why $\beta^2+3\beta +18=0$ and $-\alpha^4/4+3\alpha^2/2+63/4=0$ have no solutions in $\mathbb{Q}_3$? Maybe then I can understand why $x^4-3x^2+18$ has no roots in $\mathbb{Q}_3$. – Rotdat Nov 24 '20 at 18:38
  • 4
    It’s much easier than that to see that $h(X)=X^2+3X+18$ has no root in $\Bbb Q_3$. Form $H(X)=\frac19h(3X)=X^2+X+2$, which doesn’t even have any roots in $\Bbb F_3$. – Lubin Nov 24 '20 at 19:55
  • @Lubin: That's a nice explanation! Can this trick you used be generalized? – Rotdat Dec 09 '20 at 01:39
  • Are you asking whether it’s a good idea to check whether the (monic) polynomial has no roots by looking modulo a maximal ideal? The answer is Yes, @Rotdat , Sure, and you should always try that, as long as you’re trying to show that there are no roots. If there’s a root modulo $p$, there’s no guarantee that there’ll be a root upstairs in characteristic zero, unless your big ring is complete, like $\Bbb Z_p$, and even then you have to check that Hensel applies. – Lubin Dec 09 '20 at 02:25
  • @Lubin: I'm sorry, I should have been more specific. I meant the following: Modulo $p$, your polynomial $h$ had a root but your polynomial $H$ in your comment did not have. I think it has something to do with $h$ having coefficients divisible by $p$. I was interested in the method on how you derived $H$ from $h$. I feel like this is something which can be generalized. – Rotdat Dec 09 '20 at 02:35
  • Sorry for the misunderstanding, @Rotdat . I guess I’m always looking at any polynomial like that whose roots may all be divisible by $p$. So you transform (make a coordinate transformation) so you get an equivalent polynomial whose roots aren’t all divisible by $p$. It’s not so different from starting with the polynomial $(x^p-1)/(x-1)$ and shifting the roots over by $1$ to get a polynomial that Eisenstein applies to. – Lubin Dec 09 '20 at 02:45