Galois Extension field properties

  • Thread starter snoble
  • Start date
127
0

Main Question or Discussion Point

There are equivilant definitions of Galois extensions listed here http://mathworld.wolfram.com/GaloisExtensionField.html but I'm confused about the equivilence of 1 and 2.

What am I doing wrong here? Take [tex]K[/tex] to be the splitting field of [tex]X^4-2[/tex] over [tex]\mathbb{Q}[/tex]. This is exactly property 1. But if you consider the automorphism of complex conjugation then it fixes the intermediate field [tex]\mathbb{Q} \subset (K\cap \mathbb{R})\subset K [/tex] which contradicts property 2. (yes I am abusing notation slightly. just consider some embedding of [tex]K[/tex] in [tex]\mathbb{C}[/tex] and my intersection makes sense)

I assume I've made a mistake since it's been a while since I've checked these sorts basic properties but where?
 

Answers and Replies

Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,843
17
I think it means the collection of automorphisms as a whole, not individually.

For any extension field E of F, note that the identity is an automorphism fixing E, F, and all fields in-between!
 

Related Threads for: Galois Extension field properties

Replies
1
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
5
Views
3K
Replies
6
Views
950
Replies
1
Views
2K
Replies
7
Views
3K
Replies
5
Views
4K
Top