Find th eminimal polynomial of sqrt2+sqrt3 over QQ

Abstract algebra
asked 2020-11-10
Find th eminimal polynomial of \(\displaystyle\sqrt{{2}}+\sqrt{{3}}\) over \(\displaystyle\mathbb{Q}\)

Answers (1)

To find the smallest degree polynomial f(x) with coefficients in Q, such that \(\displaystyle{f{{\left(\sqrt{{2}}+\sqrt{{3}}\right)}}}={0}.\)
The impo
rtant point is that the coefficients should all be in Q. For example, \(\displaystyle{x}-{\left(\sqrt{{2}}+\sqrt{{3}}\right)}\) is not allowed, as its coefficients are not rational numbers.
Now, \(\displaystyle\sqrt{{3}}\notin\mathbb{Q}\sqrt{{2}}.\)
So, we expect the minimal polynomial of \(\displaystyle\sqrt{{2}}+\sqrt{{3}}\) to have degree \(\displaystyle{4}{\left(,'\sqrt{{2}}+\sqrt{{3}}\in\mathbb{Q}{\left(\sqrt{{2}}\right)}\cdot{\left(\sqrt{{3}}\right)}\right.}\), a quadrantic extension of a quadrantic extension of \(\displaystyle\mathbb{Q}\).
We proceed to find this minimal polynomial by repeated squaring (to clear radicals and obtain rational coefficients)
\(\displaystyle{x}=\sqrt{{2}}+\sqrt{{3}}\Rightarrow{x}-\sqrt{{2}}=\sqrt{{3}},\) squaring
\(\displaystyle{\left({x}-\sqrt{{2}}\right)}^{{2}}={3}\Rightarrow{x}^{{2}}-{2}\sqrt{{2}}{x}+{2}={3}\), rearrange
\(\displaystyle{x}^{{2}}-{1}={2}\sqrt{{2}}{x}\), square again
\(\displaystyle{\left({x}^{{2}}-{1}\right)}^{{2}}={8}{x}^{{2}}\Rightarrow{x}^{{4}}-{2}{x}^{{2}}+{1}={8}{x}^{{2}}\), rearrange
Minimal polynomial is \(\displaystyle{x}^{{4}}-{10}{x}^{{2}}+{1}\)

Relevant Questions

asked 2020-11-09
Show that if \(\displaystyle{K}\subseteq{F}\) is an extension of degree k, every element \(\displaystyle\alpha\in{F}\) has a minimal polynomial over K of degree <=k. Find theminimal polymials of complex numers over \(\displaystyle\mathbb{R}\) explicitly to verify this fact
asked 2021-01-08
Find the inverse of \(\displaystyle{x}+{1}\in\mathbb{Q}\frac{{{x}}}{{{x}^{{3}}-{2}}}\). Explain why this is the same as finding the inverse of \(\displaystyle{\sqrt[{{3}}]{{{2}}}}\in\mathbb{R}\).
asked 2020-11-11
An nth root of unity epsilon is an element such that \(\displaystyle\epsilon^{{n}}={1}\). We say that epsilon is primitive if every nth root of unity is \(\displaystyle\epsilon^{{k}}\) for some k. Show that there are primitive nth roots of unity \(\displaystyle\epsilon_{{n}}\in\mathbb{C}\) for all n, and find the degree of \(\displaystyle\mathbb{Q}\rightarrow\mathbb{Q}{\left(\epsilon_{{n}}\right)}\) for \(\displaystyle{1}\le{n}\le{6}\)
asked 2020-10-20
Let \(\displaystyle{p},{q}\in\mathbb{Z}\) be district primes. Prove that \(\displaystyle\mathbb{Q}{\left(\sqrt{{p}},\sqrt{{q}}\right)}=\mathbb{Q}{\left(\sqrt{{p}}+\sqrt{{q}}\right)}\), and that \(\displaystyle\mathbb{Q}\subseteq\mathbb{Q}{\left(\sqrt{{p}}+\sqrt{{q}}\right)}\) is a degree 4 extension.
asked 2021-01-04
Let F be a field and consider the ring of polynominals in two variables over F,F[x,y]. Prove that the functions sending a polyomial f(x,y) to its degree in x, its degree in y, and its total degree (i.e, the highest i+j where \(\displaystyle{x}^{{i}}{y}^{{i}}\) appears with a nonzero coefficient) all fail o be norm making F[x,y] a Euclidean domain.
asked 2021-02-15
Let F be a field, and \(\displaystyle{p}{\left({x}\right)}\in{F}{\left[{x}\right]}\) an irreducible polynomial of degreed. Prove that every coset of \(\displaystyle{F}\frac{{{x}}}{{{p}}}\) can be represented by unique polynomial of degree stroctly less than d. and moreover tha these are all distinct. Prove that if F has q elements, \(\displaystyle{F}\frac{{{x}}}{{{p}}}\) has \(\displaystyle{q}^{{d}}\) elements.
asked 2021-02-02
Let \(\displaystyle{G}={S}_{{3}}{\quad\text{and}\quad}{H}={\left\lbrace{\left({1}\right)}{\left({2}\right)}{\left({3}\right)},{\left({12}\right)}{\left({3}\right)}\right\rbrace}\). Find the left cosets of \(\displaystyle{H}\in{G}\).
asked 2020-11-29
How to find the value of U(n) on abstract algebra
Example U(8) = {1,3,5,7}
asked 2021-02-25
Let (Z,+) be a group of integers and (E,+) be a group of even integers. Find and prove if there exist an isomorphism between them.
asked 2021-02-27
In the froup \(\displaystyle{Z}_{{12}}\), find |a|, |b|, and |a+b|
a=5, b=4