Let Q be a field of rationals. Let x2−2 be a polynomial with rational coefficients. That is, let x2−2∈Q[x].
Since √2 is not a rational, the roots of equation x2−2 will not be in Q. However, if we extend this field by adjoining √2, then we have a new field over which the polynomial x2−2 has roots. This new field Q(√2) is called splitting field of the polynomial. Elements of this field have form {a+b√2|a,b∈Q}.
Let K=Q,L=Q(√2).
We ask for all automorphisms of L that fix K, namely ϕ:L→L 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+b√2)→a−b√2.
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).
Since √2 is not a rational, the roots of equation x2−2 will not be in Q. However, if we extend this field by adjoining √2, then we have a new field over which the polynomial x2−2 has roots. This new field Q(√2) is called splitting field of the polynomial. Elements of this field have form {a+b√2|a,b∈Q}.
Let K=Q,L=Q(√2).
We ask for all automorphisms of L that fix K, namely ϕ:L→L 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+b√2)→a−b√2.
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