Kronecker's theorem - Find a field with roots for X^4 + 1

[Silversonic]

Homework Statement

Consider X^4 + 1 in the field \mathbb{Q} [X]. I used Kronecker's theorem to find a root for X^4 + 1 in the field extension \mathbb{Q} [\frac{(1+i)}{\sqrt{2}}]. I'm asked to show that this field extension allows X^4 + 1 to be factorised completely, thus adding a single root gives all roots.

Homework Equations

The Attempt at a Solution

I have the answer, but it uses an assumption and I'm not sure how it got. It says:

"Since X^4 + 1 has real coefficients and has \frac{(1+i)}{\sqrt{2}} as a root, the complex conjugate \frac{(1-i)}{\sqrt{2}} must also be a root."

It then carries on as if it's known \frac{(1-i)}{\sqrt{2}} is in the field extension to show that the other two roots (the negative of both those roots) are in the field extension. But how exactly do we know that the complex conjugate of the root \frac{(1+i)}{\sqrt{2}} is also in the field extension?

Is it because this is a field and, letting \frac{(1+i)}{\sqrt{2}} = z;

z \frac{\overline{z}}{|z|^2} = 1

so

\frac{\overline{z}}{|z|^2}

Is the inverse of z, since this is a field it's inverse must be contained in the set, and so

|z|^2 \times \frac{\overline{z}}{|z|^2} = \overline{z}

Is in the set? This would need to assume |z|^2 is contained in the field too.

 

[jgens]

Set z = \frac{1+i}{\sqrt{2}} and notice that |z| = 1, which means that z^{-1} = \overline{z}.