2

Find the minimal polynomial for the roots $\sqrt{2}$ and $\sqrt{3}$ over $\mathbb{Q}$.

I know the definition of a minimal polynomial is defined for a single root, but can we talk about minimal polynomials for multiple roots simultaneously?

I have only seen methods for finding the minimal polynomial of a single root.

Would it just be the product of the minimal polynomials for each root separately?

I am trying to better my understanding of finding the degree of field extensions such as $ \left[ \mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q} \right] $

Zed1
  • 697
  • 2
    What you are saying has the flavor of finding a primitive element $a$ of the extension $\mathbb{Q}(\sqrt{2},\sqrt{3})$ over $\mathbb{Q}$. This is $\mathbb{Q}(a)=\mathbb{Q}(\sqrt{2},\sqrt{3})$ and then finding the minimal polynomial of $a$ over $\mathbb{Q}$. If the final goal is just to find the degree, it looks to me simpler just to look at the intermediate extension $\mathbb{Q}\subset\mathbb{Q}(\sqrt{2})\subset\mathbb{Q}(\sqrt{2},\sqrt{3})$. And showing that $\sqrt{3}\notin \mathbb{Q}(\sqrt{2})$. – YAlexandrov Mar 13 '18 at 13:37
  • I would (first) interpret the question as looking for 2 separate minimal polynomials, one for $\sqrt2$ and one for $\sqrt3$. I doubt a reducible polynomial would be called a 'minimal polynomial'. – Berci Mar 13 '18 at 13:37
  • @YAlexandrov, Could you give a suggestion on how to find the primitive element for a given field extension? – Zed1 Mar 13 '18 at 13:46
  • There's some theorem that in such a case, for $K(\alpha,\beta)$ with infinite $K$, one can always find a primitive element in the form of $\alpha+k\beta$. – Berci Mar 13 '18 at 13:51
  • $a=\sqrt{2}+\sqrt{3}\in\mathbb{Q}(\sqrt{2},\sqrt{3})$. Then $\sqrt{3}=\frac{1}{2}a+\frac{1}{2}\frac{1}{a}$ and $\sqrt{2}=\frac{1}{2}a-\frac{1}{2}\frac{1}{a}$. Therefore, $\mathbb{Q}(\sqrt{2}+\sqrt{3})=\mathbb{Q}(\sqrt{2},\sqrt{3})$. – YAlexandrov Mar 13 '18 at 13:58
  • @Berci Primitive element theorem? (There's actually two versions of this theorem, the other one stating only things about when the extension is separable) – Divide1918 Dec 03 '20 at 01:35

1 Answers1

1

As previous comments point out, you should find a primitive element of the field extension first, in this case $\sqrt2+\sqrt3$ is the element you want to find. Next, it is a standard approach to find such element's minimal polynomial: $$\begin{align} \text{Let } \theta= \sqrt{2}+\sqrt{3}, (\sqrt{2}+\sqrt{3})^2 = 5+2\sqrt{6} &\Rightarrow \theta^2 - 5=2\sqrt{6} \Rightarrow (\theta^2-5)^2=24 \\ &\Rightarrow \theta^4-10\theta^2 + 1= 0 \end{align} $$ It is easy to verify that $f(x)=x^4-10x^2+1$ is irreducible over $\mathbb{Q}$ by the rational root test and solving for a quadratic factor (which doesn't exist). So $f$ is the minimal polynomial for $\theta$.

cicolus
  • 180
  • 1
    How does the rational root test prove that $f$ is irreducible? See https://math.stackexchange.com/questions/1204279/show-that-x4-10x21-is-irreducible-over-mathbbq – lhf May 19 '18 at 20:06