Intereting Posts

Why homology with coefficients?
How to make four 7 s equal to 4 and to 10?
Proving $\sum\limits_{k=0}^{n}\cos(kx)=\frac{1}{2}+\frac{\sin(\frac{2n+1}{2}x)}{2\sin(x/2)}$
Limit with parameter, $(e^{-1/x^2})/x^a$
If $f$ and $g$ are integrable, then $h(x,y)=f(x)g(y)$ is integrable with respect to product measure.
Does the usual filtration on graded objects satisfy a universal property?
Probability that a natural number is a sum of two squares?
Geometric Derivation of the D-Bar Operator $\frac{\partial}{\partial z} = \frac{1}{2}(\frac{\partial }{\partial x} – i\frac{\partial }{\partial y})$
Does the Schur complement preserve the partial order
Where to learn integration techniques?
showing that $\lim_{x\to b^-} f(x)$ exists.
Funny integral inequality
Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence
Integral of the conjugate of a complex function
Proof that Conditional of Poisson distribution is Binomial

Find the degree of the splitting field of $x^4 + 1$ over $\mathbb{Q}$

I think I first need to find the $4$ roots of this polynomial and then calculate $\mathbb{Q}(\mbox{root }1, \mbox{root }2, \mbox{root }3, \mbox{root }4)$, right?

I know that this polynomail has roots only in the complex field, so I need to find them:

- Number of ring homomorphisms from $\mathbb Z_{12}$ to $\mathbb Z_{28}$.
- Left and right ideals of $R=\left\{\bigl(\begin{smallmatrix}a&b\\0&c \end{smallmatrix}\bigr) : a\in\mathbb Z, \ b,c\in\mathbb Q\right\}$
- How to show this presentation of the additive group $(\mathbb{Q},+)$?
- A morphism of free modules that is an isomorphism upon dualization.
- One-to-one correspondence of ideals in the quotient also extends to prime ideals?
- Prove that a group of order 30 has at least three different normal subgroups

$$x^4 + 1 = (x^2-i)(x^2+i) = (x-\sqrt{i})(x+\sqrt{i})(x-\sqrt{-i})(x+\sqrt{-i})$$

so I need to calculate

$$\mathbb{Q}(\sqrt{i}, -\sqrt{i}, \sqrt{-i}, -\sqrt{-i})$$

What do I need to do in order to calculate the degree of these? I thought about doing:

$$[\mathbb{Q}(\sqrt{i}, -\sqrt{i}, \sqrt{-i}, -\sqrt{-i}):\mathbb{Q}] = [\mathbb{Q}(\sqrt{i}, -\sqrt{i}, \sqrt{-i}, -\sqrt{-i}):\mathbb{Q}(\sqrt{i}, -\sqrt{i})][\mathbb{Q}(\sqrt{i}, -\sqrt{i}):\mathbb{Q}]$$

is this right?

Then how to calculate $[\mathbb{Q}(\sqrt{i}, -\sqrt{i}):\mathbb{Q}]$? Because it’d be the field $\mathbb{Q}$ with $\pm\sqrt{i}$, but it must contain also its multiplicative inverse $\frac{1}{\sqrt{i}}$. I’ve discovered that this field must contain at least the elements $a, b\sqrt{i}, c\frac{1}{i}$ for $a,b\in\mathbb{Q},c\in\mathbb{Q}$. But how do I know that $\frac{1}{i}$ can’t be formed with $a+b\sqrt{i}$ for example? If I find all the possible elements in the field $[\mathbb{Q}(\sqrt{i}, -\sqrt{i})]$, I can find a basis for it and then take its degree over $\mathbb{Q}$

Then, for the degree $[\mathbb{Q}(\sqrt{i}, -\sqrt{i}, \sqrt{-i}, -\sqrt{-i}):\mathbb{Q}(\sqrt{i}, -\sqrt{i})]$ I should verify if $\sqrt{i}$ and $\sqrt{-i}$ are independent. If we take $w = \sqrt{i}$ then $w^2 = i$ and $w^2$ is still in $\mathbb{Q}$, so $-w^2 = -i$. Is there an element in $\mathbb{Q}(\sqrt{i}, -\sqrt{i})$ such that its square is $-i$?

- $a^m=b^m$ and $a^n=b^n$ imply $a=b$
- Localization and direct limit
- What are some real-world uses of Octonions?
- Order of the smallest group containing all groups of order $n$ as subgroups.
- The group of $k$-automorphisms of $k]$, $k$ is a field
- if R is a commutative ring in which all the prime ideals are finitely generated then R is Noetherian
- Classifying groups of order 12.
- $W_1^\perp + W_2^\perp = (W_1 \cap W_2 )^\perp$: Can a set be a function? Can two such “functions” be composed?
- Subgroups of the Symmetric Group
- Identify the structure of $\mathbb{Z}/(x^2+3,3)$

$x^4+1=\Phi_8(x)$, i.e. the roots of $x^4+1$ are the primitive eighth roots of unity and $x^4+1$ is the minimal polynomial of $\alpha=\exp\left(\frac{2\pi i}{8}\right)=\frac{1+i}{\sqrt{2}}$. The field extension $\mathbb{Q}\mapsto\mathbb{Q}(\sqrt{2})$ trivially has degree two and the same holds for the field extension $\mathbb{Q}(\sqrt{2})\mapsto\mathbb{Q}(\sqrt{2},1+i)$, since it is a complex extension and the minimal polynomial of $1+i$ over $\mathbb{Q}$ is given by $x^2-2x+2$.

$x^4+1$ has no rational root and neither $(x-\alpha)(x-\alpha^3)$, nor $(x-\alpha)(x-\alpha^5)$ nor $(x-\alpha)(x-\alpha^7)$ belong to $\mathbb{Q}[x]$, hence $x^4+1$ is irreducible over $\mathbb{Q}$.

Long story short, the degree of the splitting field of $\Phi_8(x)$ over $\mathbb{Q}$ is $\varphi(8)=4$.

**Hint:**

$\zeta=\mathrm e^{\tfrac{i\pi}4}$ is one root of $x^4+1$. What are the other roots?

Let $\alpha$ be a root of $x^4+1$. Then $\alpha^3,\,\alpha^5,\,\alpha^7$ are also (distinct!) roots of $x^4+1$. An easy way to see this is to consider 8th roots of unity, i.e. roots of $x^8-1 = (x^4+1)(x^4-1)$. If $\alpha$ is a primitive 8th root of unity, then every odd power $\alpha^{2k+1}$ is a root of $x^4+1$ (just draw a picture). Or you could just check it directly.

This means that $\mathbb Q[\alpha]$ is the splitting field of $x^4+1$. All you have to do now is to prove that $x^4+1$ is irreducible over $\mathbb Q$ to conclude that the degree of the splitting field is $4$.

EDIT: Perhaps a better way to show that $[\mathbb Q[\alpha]:\mathbb Q] = 4$ is to first notice that since $\alpha$ is a root of $x^4+1$ that $[\mathbb Q[\alpha]:\mathbb Q] \leq 4$. Now notice that $\alpha + \alpha^7 = \sqrt 2$, so $\mathbb Q[\sqrt 2]\subseteq \mathbb Q[\alpha]$. But, $\mathbb Q[\sqrt 2]\subseteq\mathbb R$, while $\alpha$ is complex, so $\mathbb Q[\sqrt 2]\neq \mathbb Q[\alpha]$, so it must be that $[\mathbb Q[\alpha]:\mathbb Q] = 4$.

In the bellow graph are shown 8th roots of unity. Red are roots of $x^4+1$ and blue are roots of $x^4-1$.

- Need a proofreading why all the units are satisfied $a^2-2b^2 =\pm1$ for $\mathbf{Z}$
- there exist some real $a >0$ such that $\tan{a} = a$
- Does the series $\sum_{n=1}^{\infty}\frac{\sin(\cos(n))}{n}$ converge?
- Let $G$ be a group of order $36$ and $H$ be a subgroup of $G$ with order 4. Then which is/are true?
- How to state Pythagorean theorem in a neutral synthetic geometry?
- When the $a^2+b+c+d,b^2+a+c+d,c^2+a+b+d,d^2+a+b+c$ are all perfect squares?
- Understanding the definition of the Riemann Integral
- Any Set of Ordinals is Well-Ordered
- Bibliography for Singular Functions
- Proving Crapo's Lemma
- Riemann Intergral proof question
- Are convex function from a convex, bounded and closed set in $\mathbb{R}^n$ continuous?
- Cardinality of the set of hyperreal numbers
- When the trig functions moved from the right triangle to the unit circle?
- A semicontinuous function discontinuous at an uncountable number of points?