PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: Very high
[parent] example of normal extension (Example)

Let $ F=\mathbb{Q}(\sqrt{2})$. Then the extension $ F/\mathbb{Q}$ is normal because $ F$ is clearly the splitting field of the polynomial $ f(x)=x^2-2$. Furthermore $ F/\mathbb{Q}$ is a Galois extension with $ \operatorname{Gal}(F/\mathbb{Q})\cong \mathbb{Z}/2\mathbb{Z}$.

Now, let $ 2^{1/4}$ denote the positive real fourth root of $ 2$ and define $ K=F(2^{1/4})$. Then the extension $ K/F$ is normal because $ K$ is the splitting field of $ k(x)=x^2-\sqrt{2}$, and as before $ K/F$ is a Galois extension with $ \operatorname{Gal}(K/F)\cong \mathbb{Z}/2\mathbb{Z}$.

However, the extension $ K/\mathbb{Q}$ is neither normal nor Galois. Indeed, the polynomial $ g(x)=x^4-2$ has one root in $ K$ (actually two), namely $ 2^{1/4}$, and yet $ g(x)$ does not split in $ K$ into linear factors.

$\displaystyle g(x)=x^4-2=(x^2-\sqrt{2})\cdot(x^2+\sqrt{2})=(x-2^{1/4})\cdot(x+2^{1/4})\cdot(x^2+\sqrt{2})$

The Galois closure of $ K$ over $ \mathbb{Q}$ is $ L=\mathbb{Q}(2^{1/4},i)$.



"example of normal extension" is owned by alozano.
(view preamble)

View style:

See Also: Galois extension, the compositum of a Galois extension and another extension is Galois, normal is not transitive, Galois is not transitive


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: Galois closure, factors, root, real, positive, Galois extension, polynomial, splitting field, normal, extension
There are 3 references to this entry.

This is version 1 of example of normal extension, born on 2004-07-30.
Object id is 6051, canonical name is ExampleOfNormalExtension.
Accessed 1995 times total.

Classification:
AMS MSC12F10 (Field theory and polynomials :: Field extensions :: Separable extensions, Galois theory)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)