Talk:Galois extension

From Wikipedia, the free encyclopedia

Actually, I'm not totally sure about my recent edit, in particular I'm not completely sure which part of the result is due to Artin. Dmharvey 19:00, 15 April 2006 (UTC)

[edit] Highly ambiguous wording

The article reads:

"An important theorem of Emil Artin states that a finite extension E/F is Galois if and only if any one of the following conditions holds:

• E/F is a normal extension and a separable extension.
• E is the splitting field of a separable polynomial with coefficients in F.
• [E:F] = |Aut(E/F)|; that is, the degree of the field extension is equal to the order of the automorphism group of E/F."

One entirely reasonable interpretation of this is of the form:

   "X" is equivalent to "A or B or C".  

(For example: "n belongs to the set {1,2,3}" is equivalent to "n=1 or n=2 or n=3".)

The correct statement, however, should say unambiguously:

"Given a finite extension E/F, the following are equivalent definitions of what it means to say E/F is Galois:

1. E/F is a normal extension and a separable extension.

2. E is the splitting field of a separable polynomial with coefficients in F.

3. [E:F] = |Aut(E/F)|; that is, the degree of the field extension is equal to the order of the automorphism group of E/F."Daqu 21:51, 3 December 2007 (UTC)

I've made it unambiguous. Wording is a bit clumsy though. Algebraist 17:48, 17 February 2008 (UTC)