# Galois  Theory  Overview/Example

Part  2:  Galois  Group  and  Fixed  Fields

I’ll  repeat  the  overview  because  it  explains  what  I’m  doing  with  the  example.  Then  I’ll  move  on
the  second  part  of  the  example  where  we  find  the  Galois  group  for  the  polynomial,  and  look  at
the  relationship  between  its  subgroups  and  the  subfields  of  the  splitting  field  for  the
polynomial.

Overview:

The  main  problem  that  motivated  the  development  of  Galois  theory  was  the  (un)solvability
of  the  Quintic.

−b ± b 2 − 4ac
demonstrates  that  any  2nd
2a
degree  polynomial  can  be  “solved  by  radicals”  in  the  sense  that  the  roots  can  be  expressed
in  terms  of  sums,  products,  and  radicals  involving  the  coefficients.
Solvability  by  radicals:  The  quadratic  formula   x =

Question:  Can  every  5th  degree  polynomial  be  solved  by  radicals?

The  short  answer  is  “no”  because  there  are  5th  degree  polynomials  whose  Galois  group  is
isomorphic  to  S5  which  is  not  a  solvable  group.

This  question  of  course  raises  other  questions:
• What  is  a  Galois  group?
• What  does  the  solvability  of  a  Galois  group  have  to  do  with  whether  you  can  solve  a
polynomial  by  radicals?

The  way  it  works  (basically)  is  that  given  a  polynomial,  p(x),  with  coefficients  in  Q,  you  can
find  a  bigger  field  containing  Q  that  contains  all  the  roots  of  p(x).  If  the  smallest  such
extension  of  Q  (the  splitting  field  of  p(x))  is  the  right  kind  of  extension  (an  extension  by
radicals)  then  p(x)  can  be  solved  by  radicals.

Now,  for  every  extension  field,  E,  of  Q  we  can  consider  the  group  of  automorphisms  of  E
that  hold  the  elements  of  Q  fixed.  This  is  the  Galois  group  of  E  over  Q,  denoted  Gal(E/Q).  If
p(x)  doesn’t  have  any  multiple  roots  and  E  is  the  splitting  field  of  p(x),  then  Gal(E/Q)  is
called  the  Galois  group  of  p(x).

It  turns  out  that  there  is  a  very  close  relationship  between  the  subgroups  of  the  Galois
group  of  p(x)  and  the  subfields  of  the  splitting  field  E  that  contain  Q.    In  fact,  the  subfield
lattice  is  just  the  subgroup  lattice  turned  upside-­‐down.  The  solvability  of  a  group  is  related
to  the  structure  of  the  subgroup  lattice,  so  it  is  also  related  to  the  structure  of  the  subfield
lattice,  which  in  turn  is  related  to  whether  the  splitting  field  is  an  extension  by  radicals.  The
big  conclusion,  then  is  that  a  polynomial  is  solvable  by  radicals  if  and  only  if  its  Galois
group  is  solvable.  The  polynomial  x5  -­‐6x  +  3  has  Galois  group  S5.  S5  is  not  solvable  because
A5  is  simple.  The  End!

Actually  this  works  in  general.  i)  that  fix  Q.  Any  automorphism  of  an  extension  E  of  a  field  F  that  fixes  F   will  take  any  zeros  of  a  polynomial  in  F[x]  to  another  (or  the  same)  zero  of  that  polynomial. So.           .  so  an  automorphism  on  Q(α. So.     Let  β  be  a  root  of  p(x).       Recall  that  a  basis  for  Q(α)  over  Q  is  {1.  i)  that  fix  Q(α).  But  ϕ(2)  =  2  since  ϕ fixes Q. it must go to another root of x2 -1. First. First I want to show that such an automorphism must take a root of p(x) to another root of p(x).       Any  such  automorphism  will  also  be  completely  determined  by  where  it  maps  the  elements   of  a  basis  of  the  extension  (as  a  vector  space). we have ϕ(β)4–  2  =  0  and  ϕ(β)  is   a  root  of  x4  –  2  =  p(x).  α.Example  (54.       α  is  a  root  of  p(x). Finally.  i. i} all we have to do is say were to send i.  We  can  completely  define  any  automorphism  by   deciding  where  it  sends  i  and  α.  we  just  need  to  see  where  we  can  send  α.  iα.  i)  that  fixes  Q must  take  α  to  α.  iα2. Since the basis is {1.  -­‐α.  because  that  will  determine  where  α2  and  α3   are  mapped. Let’s see how many automorphisms of Q(α)  there   are  that  fix  Q.  which  implies  that  ϕ(β)4–  ϕ(2)  =  0  by  the   homomorphism  property.  This  implies  that  ϕ(p(β))  =  0  since  homomorphisms   always  map  0  to  0.  iα.  α  and  -­‐α  because  the  other  two  roots  are  not   elements  of  Q(α).       Now.  α3.  Then  p(β)  =  0.  α3}   So.3):  Galois  Group Now let’s talk automorphisms. it can be mapped to either i or –i.  any  such  automorphism  must  take  i  to  i  or  –  i. Now our basis is {1.  Then  ϕ(β4  –  2)  =  0.  let’s  look  at  the  automorphisms  of  Q(α.  iα3}. This gives us two automorphisms. Suppose that ϕ is an automorphism of Q(α)  that  fixes  Q. let’s consider the automorphisms of Q(α.  or             -­‐  iα. let’s consider our first field extension.  And  since  i  is  a  root  of  x2  +  1.  This  gives  us  two  automorphisms.  α.  There  are  only  two  choices.  α2. Again.  α2.

f  r 2 . f .   r 2 . f  r .  and  {e}.This  gives  us  8  automorphisms  as  shown  in  the  following  table:     Automorphism   α  →   i  →   e   i   α   2   r i   -­‐α   r   i   iα   3 r   i   -­‐  iα   f   -­‐i   α   for2   -­‐i   -­‐α   3 for   -­‐i   iα   for   -­‐i   -­‐  iα     I  got  the  names  by  composing  the  maps  called  r  and  f  to  generate  the  rest  of  them.   f . f .       Since  it  is  isomorphic  to  D8.  Note  that   f2  =  e  and  r4  =  e.   f  r 3 .   r 2 .   f  r .   Since  Q(α.   r .  i)/Q)  =   r.     Let’s  draw  a  cool  subgroup  lattice!       .  i)  is  the  splitting  field  for  p(x).  And  rof  =  for3  so  the  group  of  these  automorphisms  is  isomorphic  to  D8.  this  group  of  automorphisms  is  the  Galois  group   for  p(x).  we  can  easily  list  off  its  subgroups:  Gal(Q(α.   r 2 .

The  fixed  field  for  {e}   leaves  all  of  Q(α.       Now.  That  is  the  biggest  fixed  field  we  can  expect  (it  is  of  degree  8  over   Q).  The  Galois  group  is  the  full  set  of   automorphisms  that  fix  Q.  So  we  should  expect   the  order-­‐4  subgroups  to  have  degree-­‐2  fixed  fields  and  the  order-­‐2  subgroups  to  have   degree-­‐4  fixed  fields.  we’ll  consider  all  the  proper  subgroups  in  turn:       .  More  specifically.    This  is  a  degree  1  extension   over  Q.  i)  fixed.  so  they  should  have   smaller  fixed  fields  (more  chances  for  things  to  move).  i).    We’ll  expect  to  find  degree  2  and  degree  4  extensions  between  these.  It’s  less  clear  that  no  combination  is  fixed  (but  still  true).      The  fixed  field  for  the  whole  Galois  group  is  Q.  let’s  think  about  how  big  each  of  these  fixed  fields  should  be. let’s try and identify all of the fields between Q and Q(α.  The   subgroups  of  order  4  contain  more  maps  that  the  subgroups  of  order  2.3):  Fixed  Fields Now.       First.  let’s  find   the  fixed  field  for  each  of  these  subgroups  of  the  Galois  group.  It  is  clear  that  no  basis  element  stays  fixed  under  all  of  these   maps.   Example  (54.  so  should  have  smaller  fixed  fields  than  {e}.  The  subgroups  of  order  2  contain   more  than  the  trivial  map.

f  fixes  α. f  is  Q(α2)  ≅   Q[x]/<  x2-­‐2>.  i).  and  i  to  -­‐i.  extend  to  Q(α2)   by  forming  Q[α2]/<x2  -­‐  2>.  So. f  r .   f  r 2 .  and  iα3  to  -­‐α3.  iα.  is  because  it  can  be  created  in  two  steps  (each  of  degree  2).  it  fixes  α2.  That  works  out   because  iα2  is  a  root  of  the  irreducible  (by  Eisenstein  with  p  =  2)  polynomial  x2  +  2.  Since  this  new  field  has  no  imaginary   numbers  in  it.  iα3}.  The  basis  elements  fixed  by  this  subgroup  are  those  fixed  by  f.   The  map  r2.  Since  it  sends  i  to  –i.  This  means  that  α2  goes  to  -­‐α2.  This  element  is  a   root  of  the  irreducible  2nd  degree  polynomial  x2  –  2.  fixes  i.  but  sends  α3  to  -­‐α3.       .  so  it  also  leaves  iα2  fixed.  So.  Thus  the  fixed  field  for   r is  Q(i)  ≅  Q[x]/<  x2  +  1  >.  We  saw  above  that  r2  left  i   and  α  fixed.       Now.  This  means  that  of  the  basis  elements.  α3.  our  fixed  field   is  the  first  extension  field  we  constructed:  Q(α).  Recall  that  our  basis  is:  {1.First.     Now.  and   f  r 2 .   f  r 2 sends  α  to  -­‐α.  we  are  looking  for  a  field  extension  of  degree  2  over  Q.  iα2  to  -­‐iα2.  iα2.  The   map  will  take  iα  to  -­‐α. f  r is  Q(iα2)  ≅  Q[x]/<  x2+2>.  so  doesn’t  fix  any  other  basis   element  (other  than  1).  This  is  a  subgroup  of  index  4.  it  takes  iα2  to  –i(-­‐iα)(-­‐iα)  =  iα2.  the  polynomial  x2  +  1  is  irreducible  and  so  Q(α2.       Now.  r2.  and  α3  goes  to  -­‐iα3.  and  it  also  fixes  α2  (=  √2  )  and  hence  iα2.  r   only  fixes  1  and  i.  It  does  not  fix  i.  α2.  we  expect  the  fixed  field  to  be  a  fourth  degree  extension.  So  the   fixed  field  for   r 2 .  α.  so  the  fixed  field  for   r 2 .     The  map   f  r 3  takes  α  to  iα.  and  hence  α2  and    α3.   Looking  at  our  previous  work.   r .     Since  this  subgroup  has  index  2.   r 2 .  Since  α    is  a  root  of  our  original  irreducible  4th  degree  polynomial.   r 2 .  iα   is  fixed!  Note  that  iα  one  of  the  roots  of  our  irreducible  polynomial  x4  –  2.  but  sends  α  to  iα.  This  is  a  root  of  the  irreducible  2nd   degree  polynomial  x2  +  1.  This  has  to  be  our  fixed  field  because   any  bigger  field  would  have  to  be  all  of  Q(α.  i)  fixed.  so  we  are  looking  for  a  fourth  degree   extension.    Since  this  subgroup  has  index  2  in  the  group   Gal(Q(α.  the  only  thing  fixed  by  all  of  these  is  α2.  i)  ≅  Q(α2)[x]/<  x2  +  1  >  is  an   extension  of  degree  4  over  Q.    The  map   f  r  takes  α  to  -­‐iα.  it  leaves  all  of  Q(α2.     Now.  So.    r  fixes  i.  This  is  a  second-­‐degree  extension  since  x2  -­‐  2  is  an  irreducible   second  degree  polynomial  (Eisenstein  with  p  =  2).  Note  that  both  r2  and  r3  also  fix  i.  so  it  also  leaves  iα2  fixed.     Now.   r 2 .   This  one.  and  i  to  –i.  i)/Q).   f .  First.  i.  so  we  know  that   Q(iα)  ≅  Q[x]/<  x4-­‐2>  is  a  field  extension  of  4th  degree. f .

This  follows  from   f  r being  a  group  of  order  2:      e(e(β)  +   f  r (β))  =  e(e(β))  +  e( f  r (β))  =  e(β)  +   f  r (β)    and     f  r  [(e(β)  +   f  r (β))]  =   ( f  r) e  (β)  +   ( f  r) ( f  r) (β)  =   ( f  r)  (β)  +  e(β)     =  e(β)+ ( f  r)  (β).  Since   f  r is  a  subgroup  of   r 2 .  so  they  should  leave  more  things  fixed).  But  the  field  Q(iα2)  ≅  Q[x]/<  x2+2>  isn’t  the  fixed  field   that  we  are  looking  for.  The  elements  of  Gal(Q(α.  if  we  let  β  =  α.  So.   we’re  looking  for  a  field  extension  of  degree  4  that  contains  Q(iα2).       r(α  -­‐  iα)  =  r(α)  -­‐  r(i)  r(α)  =  iα  -­‐  i(iα)  =  iα  +α    (good.     Now.  let’s  make  sure  this  element  really  is  fixed  by   f  r .  for3}   r3o f  r  ={  r3.  the  element  e(β)  +   f  r (β)  is  fixed  under  both  e  and   f  r .       Now.  we  can  find  our  roots  by  plugging  α  -­‐  iα  into  r.  Let’s  compute  those  cosets:     ro f  r  ={r.         .  i).  we  can   just  choose  one  from  each  left  coset  of   f  r .       (x  -­‐  (α  -­‐  iα))(x  -­‐  (α  +  iα))(x  -­‐  (-­‐α  -­‐  iα))(x  -­‐  (-­‐α  +  iα))  =     (x2  –[(α  -­‐  iα)  +  (α  +  iα)]x  +  2α2)  (x2  –[(-­‐α  -­‐  iα)  +  (-­‐α  +  iα)]x  +  2α2)  =     (x2  –2αx  +  2α2)  (x2  +2αx  +  2α2)  =  x4  –2αx3  +  2α2x2  +  2αx3  -­‐  4α2x2  +  4α3x  +  2x2α2  -­‐  4α3x  +  4α4  =  x4  +  8.   it  should  have  a  larger  fixed  field  (fewer  maps.  Even  better.  Just  for  fun.  do  we  know  if  Q(α  -­‐  iα)  is  an  extension  of  the  correct  degree?  We’re  looking  for  a  4th   degree  extension.   f  r (α  -­‐  iα)  =   f  r (α)  +   f  r (  -­‐  iα)  =  -­‐  iα  -­‐   f  r (  i) f  r (α)  =  -­‐  iα  -­‐(-­‐i)(-­‐  iα)  =  -­‐  iα  +α.  r2.  let’s  multiply  and  see  if  we  find  a  nice  irreducible  (over  Q)  polynomial.  for2}     So.  we  don’t  need  to  check  all  8  automorphisms.  we  would  expect  to  find  the  conjugate)     r2(α  -­‐  iα)  =  r2(α)  -­‐  r2(i)  r2(α)  =  -­‐α  -­‐  i(-­‐α)  =  -­‐α  +  iα    (hopefully  the  next  one  will  be  the   conjugate  of  this  one)     r3(α  -­‐  iα)  =  r3(α)  –  r3(i)  r3(α)  =  -­‐  iα  -­‐  i(-­‐  iα)  =  -­‐α  -­‐  iα    (Yay!)     So.  i)/Q)  must  take  roots  of  this  polynomial  to  other   roots  of  this  polynomial.  and  r3.  f}   r2o f  r  ={  r2.  so  we  should  see  if  we  can  find  a  4th  degree  irreducible  polynomial  with   α  -­‐  iα  as  a  root.Now  for  the  two  hard  ones!     The  subgroup   f  r leaves  iα2  fixed.  we  see  that  this  means  that  e(α)  +   f  r (α)  =  α  -­‐  iα  is  fixed  by  both   elements  of f  r . f  r which  has  fixed  field  Q(iα2).       I  claim  that  for  any  β  in  Q(α.

Now  that  we  have  all  of  our  fixed  fields.  i).       Anyhow.  we  can  make  a  subfield  lattice!       .     But  looking  at  it  in  factored  form.  The  factorization  (into  two  quadratics)  above  also   doesn’t  work  over  Q  since  the  linear  and  constant  coefficients  of  both  terms  are  irrational.    (This  one  is  “clearly”  isomorphic  to  the  previous  one  but  is  a  different  field).  Note  that   α + iα α + iα α + iα = the  inverse  of  α  -­‐  iα  is   .  and   any  method  of  forming  quadratic  factors  (from  the  linear  factors)  other  than  the  one  used   above  will  result  in  complex  coefficients.  but  since   2 2  is  not  in   2 2α 2 2 2 2 Q(α  -­‐  iα).  α  +  iα  is  not  in  Q(α  -­‐  iα).  so  we  know  that  Q(α  +  iα)  is  a  4th  degree  extension  of   Q.     Again  for  any  β  in  Q(α.  our  fixed  field  is  Q(α  -­‐  iα)  ≅  Q[x]/<  x4+8>  which  is  a  4th  degree  extension  of  Q  as   desired.  the  element  e(β)  +   f  r 3 (β)  is  fixed  by  both  e  and   f  r 3 .  so    is  in  Q(α  -­‐  iα).  We  let  β   =  α  to  see  that  e(α)  +   f  r 3 (α)  =  α  +  iα.       Let’s  use  a  similar  method  to  figure  out  the  fixed  field  for   f  r 3 .  we  can  see  that  it  clearly  has  no  linear  factors  in  Q[x].         This  is  actually  another  root  of  x4+8.Note  that  Eisenstein  doesn’t  help  us  to  prove  that  this  polynomial  is  irreducible  over  Q.

Let’s  put  these  side  by  side  (with  the  subfield  lattice  inverted). which basically says that this is what will always happen.  so  that  we  can  easily  see   both  the  inverse  relationship  and  the  correspondence  between  subgroups  and  subfields                 This illustrates the fundamental theorem of Galois theory.   .