MHB How can we prove that E/Q is a normal extension?

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Normal
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

We have that $E=\mathbb{Q}(a)$, where $a\in \mathbb{C}$ is a root of the irreducible polynomial $x^3-3x-1\in \mathbb{Q}[x]$.

I want to show that $E/\mathbb{Q}$ is normal.
I have done the following:

Let $b\in E$.

A basis of the extension is $1, a, a^2$. So, $b$ can be written as $$b=q_0+q_1a+q_2a^2$$

We have to find the minimal irreducible polynomial of $b$ over $\mathbb{Q}$ and compute the other roots to check if they are in $E$, or not?

Since $[E:\mathbb{Q}]=3$, we have that $\deg m(b,\mathbb{Q})\leq 3$.

So, the general form of that polynomial is $Ax^3+Bx^2+Cx+D$.

So, do we have to replace $x$ with $b=q_0+q_1a+q_2a^2$, compute that polynomial, knowing that $a^3=3a+1$, and find the other roots? (Wondering)

Or is there an other way to show that? (Wondering)
 
Last edited by a moderator:
Physics news on Phys.org
We have that $E/\mathbb{Q}$ is normal iff $E$ is a splitting field for some polynomial in $\mathbb{Q}[x]$.

We have that one root of $x^3-3x-1$ is $a$. Using the euclidean algorithm we have that $x^3-3x-1=(x-a)(x^2+ax+(a^2-3))$.

The roots of the polynomial $x^2+ax+(a^2-3)$ are $x=\frac{-a+\sqrt{12-3a^2}}{2}, \ \ x=\frac{-a-\sqrt{12-3a^2}}{2}$.

To show that $E$ is a splitting field for $x^3-3x-1$, we have to show that all the roots of that polynomial are in $E$, or not? (Wondering)

We have that $a\in E$. But does it hold that $\sqrt{12-3a^2}\in E$ ? (Wondering)
I tried to check if there are $q_0, q_1, q_2\in \mathbb{Q}$ such that $q_0+q_1a+q_2a^2=\sqrt{12-3a^2}$, but then we get the system:
$\left\{\begin{align}q_0^2 +2q_1q_2 &= 12\\q_2^2 + 2q_0q_1 + 6q_1q_2 &= 0\\q_1^2 + 2q_0q_2 + 3q_2^2 &= -3\end{align}\right.$.
Can we solve it? (Wondering)
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top