Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Galois Theory - Fixed Field of F and Definition of Aut(K/F)

  1. Jun 18, 2017 #1
    I am reading Dummit and Foote, Chapter 14 - Galois Theory.

    I am currently studying Section 14.2 : The Fundamental Theorem of Galois Theory ... ...

    I need some help with Corollary 10 of Section 14.2 ... ... and the definition of ##\text{Aut}(K/F)## ... ...

    Corollary 10 reads as follows:


    ?temp_hash=c449273793d4cc5b1c8e728316cb95dc.png



    Now the Definition of ##\text{Aut}(K/F)## is as follows:



    ?temp_hash=c449273793d4cc5b1c8e728316cb95dc.png



    Now in Corollary 10 we read the following:

    " ... ... Then

    ## | \text{Aut}(K/F) | \ \le \ [ K \ : \ F ]##

    with equality if and only if ##F## is the fixed field of ##\text{Aut}(K/F)## ... ... "


    My question is as follows:

    Given the definition of ##\text{Aut}(K/F)## shown above, isn't ##F## guaranteed to be the fixed field of ##\text{Aut}(K/F)## ... ... ?



    Hope someone can resolve this problem/issue ...

    Help will be much appreciated ...

    Peter



    ============================================================================================================



    The above post will be easier to follow if readers understand D&F's definition of a Galois Extension and a Galois Group ... so I am providing the definition as follows ... ... :



    ?temp_hash=c449273793d4cc5b1c8e728316cb95dc.png
     

    Attached Files:

  2. jcsd
  3. Jun 18, 2017 #2

    jambaugh

    User Avatar
    Science Advisor
    Gold Member

    If you consider the group of automorphisms of K that fix F, that group may in fact fix more than just F, namely F1 making F1 the fixed field.

    I'm very rusty on my Galois Theory but this is true for Lie groups too when you consider automorphisms of a Lie group vs inner automorphisms.
     
  4. Jun 18, 2017 #3
    Hi jambaugh ... thanks for the help ...

    OK can see that ... that seems to explain it ...

    Thanks again,

    Peter
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Galois Theory - Fixed Field of F and Definition of Aut(K/F)
  1. Galois Theory (Replies: 2)

Loading...