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

Homework Help: Automorphism group of field extension

  1. Mar 7, 2006 #1
    Take [tex]M = Q(i, \sqrt{2} )[/tex]. Prove that G = Aut(M) is isomorphic to [tex]V_4[/tex]

    I have some idea's but I don't know how to justify them:

    Consider [tex]K(i)[/tex] with [tex]K = Q(\sqrt{2})[/tex]. The the minimal polynomial of i over K equals to X^2 + 1. I know the fact that if x is a zero of a polynomial P and f is an automorphism, then f(x) is also a zero of P. Also, if f is in Aut(M), then it is a Q-automorphism, so it is the identity on the elements of Q. We can now construct an automorphism by sending i to -i and sqrt(2) to itself. Ofcourse we can also have the identity automorphism. Now by looking at [tex]L(\sqrt{2})[/tex] with [tex]L = Q(i)[/tex], with minimal polynomial X^2 - 2, we find an automorphism by sending i to i and sqrt(2) to - sqrt(2). If we just look at M itself, we find that the minimal polynomial equals (X^2 + 1)(X^2 - 2), and find and automorphism by sending i to -i and sqrt(2) to -sqrt(2).

    Now by looking at the compositions of the automorphisms we get the structure of V_4. The only problem I have is to show that we can't have any more automorphims than the ones I found.
     
  2. jcsd
  3. Mar 7, 2006 #2

    AKG

    User Avatar
    Science Advisor
    Homework Helper

    You just said that if x is a zero of P, and f is an automorphism, then f(x) is a zero of P. x² + 1 only has two roots, so it must either send i to i or -i, and something similar is true for where 21/2 is sent. Now if f is any automorphism, and m is any element of M, then isn't f(m) uniquely determined by where 1, i, and 21/2 are sent? In fact, since 1 is sent to 1, f(m) is uniquely determined by where i and 21/2 are sent.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook