order reversing bijection - Fundamental theorem of Galois

Discussion in 'Undergraduate Math' started by nancy, Apr 12, 2007.

  1. nancy

    nancy Guest

    one of the parts of the galois theory says that
    the function Gamma:Sub(G) --> Lat(E/F), defined by H--> E^H, is an
    order reversing bijection with inverse delta: B --> Gal(E/B).

    Gamma(H):=E^H :={x is an element of E | for all h in H, h(x)=x|

    i know how to prove the bijection part of this theorem, but how can i show
    that this is order reversing?
    i knw that we need to show that
    if K1 is contained in K2 then delta of K2 is contained in delta of K1
    and if H1 is contained in H2 then gamma of H2 is contained in gamma of H1, but how?
    thanks alot
    nancy, Apr 12, 2007
    1. Advertisements

  2. Isn't it trivial? Suppose H is contained in K. Then E^K is the set of
    all elements of E that are fixed by every element of K, which includes
    every element of H. So every element of E^K is fixed by every element
    of H, hence E^K is contained in E^H.

    Conversely, if K is contained in F, then Gal(E/K) consists of all
    elements of G that fix K pointwise, while Gal(E/F) of all elements of
    G that fix F pointwise. If K is contained in F, then any element of
    Gal(E/F) will necessarily fix K, hence...

    "It's not denial. I'm just very selective about
    what I accept as reality."
    --- Calvin ("Calvin and Hobbes" by Bill Watterson)

    Arturo Magidin
    Arturo Magidin, Apr 12, 2007
    1. Advertisements

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.