Loading [MathJax]/jax/output/HTML-CSS/jax.js

Friday, November 1, 2019

Simple example of a Galois Group:

Let Q be a field of rationals. Let x22 be a polynomial with rational coefficients. That is, let x22Q[x].

Since 2 is not a rational, the roots of equation x22 will not be in Q. However, if we extend this field by adjoining 2, then we have a new field over which the polynomial x22 has roots. This new field Q(2) is called splitting field of the polynomial. Elements of this field have form {a+b2|a,bQ}.

Let K=Q,L=Q(2)

We ask for all automorphisms of L  that fix K, namely ϕ:LL that fix K. These automorphisms must take a root of above polynomial to a root. Thus, we have two automorphisms.

Q(2) should map to 2. Identity automorphism Id meets this criteria. 

Consider automorphism ϕ1(2)2. Clearly, this will carry elements of Q(a+b2)ab2

If we collect all these automorphisms into a set, we have a set consisting of {Id,ϕ1}

Clearly ϕ1ϕ1=Id. Hence, above set forms  a group of order 2.  This Automorphism group is called Galois group denoted as Gal(L/K).

 

No comments:

Post a Comment

Chain complexes on Hilbert spaces

 Chain complexes are mathematical structures used extensively in algebraic topology, homological algebra, and other areas of mathematics. Th...