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

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

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 $\Gal(K/F)\cong \Ints/2\Ints$ .

However, the extension $K/\Rats$ 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.

$$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 $\Rats$ is $L=\Rats(2^{1/4},i)$ .




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

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 2819 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)