Galois theory: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Ragnar Schroder
(Creating initial stub)
 
mNo edit summary
 
(37 intermediate revisions by 5 users not shown)
Line 1: Line 1:
Galois theory is an area of mathematical study that originated with [[Evariste Galois]] around 1830,  as part of an effort to understand the relationships between the roots of [[polynomial|polynomials]],  in particular why there are no simple formulas for extracting the roots of the general polynomial of fifth (or higher) degree.  
{{subpages}}
 
 
'''Galois theory''' is an area of mathematical study that originated with [[Evariste Galois]] around 1830,  as part of an effort to understand the relationships between the roots of [[polynomial|polynomials]],  in particular why there are no simple formulas for extracting the roots of the general polynomial of fifth (or higher) degree.  
 
 


==Introduction==  
==Introduction==  


Galois expressed his theory in terms of polynomials and [[complex number|complex numbers]],  today Galois theory is usually formulated using general [[field theory]].
Galois expressed his theory in terms of polynomials and [[complex number|complex numbers]],  today Galois theory is usually formulated using general [[Field theory (mathematics)|field theory]].


Key concepts are [[Field extension|field extensions]] and [[Group theory|groups]],  which should be thoroughly understood before Galois theory can be properly studied.
Key concepts are [[Field extension|field extensions]] and [[Group theory|groups]],  which should be thoroughly understood before Galois theory can be properly studied.


The core idea behind Galois theory is that given a polynomial <math>\alpha</math> with coefficients in a field K (typically the integers or the rational numbers),  there exists
*a field L that contains K (or a field [[isomorphic]] to K) as a subfield,  and also the roots of <math>\alpha</math>.
*a group containing all [[automorphisms]] in L that leave the elements in K untouched. 


Providing certain technicalities are fullfilled,  the structure of this group contains information about the nature of the roots, and whether the equation <math>\alpha</math> has solutions expressible as radical expressions - i.e. formulas involving a simple sequence of ordinary arithmetical expressions and rational powers.
==Basic summary of Galois theory==
 
The core idea behind Galois theory is that given a polynomial ''f'' with coefficients in a field ''K'' (typically the rational numbers),  there exists
*a smallest possible field ''L'' that contains ''K'' (or a field [[field isomorphism|isomorphic]] to ''K'') as a subfield and also all the roots of ''f''.  This field is known as the [[field extension|extension]] of ''K'' by the roots of ''f'', or the ''[[splitting field]]'' of ''f'' over ''K''.  It is unique up to isomorphism..
*a collection of similarly defined intermediate fields, each containing a unique subset of the roots.
*a group containing all [[field automorphism]]s in ''L'' that leave the elements in ''K'' untouched - the Galois group of the polynomial ''f''.
 
Providing certain technicalities are fulfilled,  the structure of this group contains information about the nature of the roots, and whether the equation <math>f = 0</math> has solutions expressible as a finite formula involving only ordinary arithmetical operations (addition, subtraction, multiplication, division and rational powers) on the coefficients.
 
This connection between the Galois group and collection of extension fields is known as the [[Galois connection]].
 
{{Image|galoistheorypic3.gif|right|300px|Example illustration of a base field K, large field L and some intermediate fields, with inclusion graph.  Here K &sub; M1 &sub; M3 &sub; L and K &sub; M2 &sub; M4 &sub; L.}}
 
==The Galois connection==
 
Given a Galois group G we may look for all its subgroups.  These subgroups again contain subgroups.  This structure is naturally represented by a [[directed graph]].
 
The collection of intermediate fields may also be represented by such a graph.  When the Galois correspondence exists,  these graphs are [[isomorphism|isomorphic]]. 
 
 
===The Galois group of a polynomial - a trivial example===
 
As an example,  let us look at the second-degree polynomial <math>x^2-5</math>, with the coefficients {-5,0,1} viewed as elements of Q.
 
This polynomial has no roots in Q.  However, from the [[fundamental theorem of algebra]] we know that it has exacly two roots in C, and can be written as the product of two first-degree polynomials there - i.e. <math>x^2-5 = (x-r_0)(x-r_1), r_0, r_1 \in  C</math>.  From direct inspection of the polynomial we also realize that <math>r_0 = -r_1</math>.
 
Using ordinary algebra and the identity <math>r_0^2 = r_1^2= 5</math>,  it is quite easy to show that L = <math>\lbrace a+b r_0, a,b \in Q  \rbrace </math> is the smallest subfield of C that contains Q and both roots.
 
The are exactly 2 automorphisms of L that leave every element of Q alone: the do-nothing automorphism <math>\phi_0: a+b r_0  \rightarrow a + b r_0 </math> and the map <math>\phi_1 : a+b r_0  \rightarrow a - b r_0</math>.
 
Under composition of automorphisms,  these two automorphisms together form a group  isomorphic to <math>S_2</math>,  the group of permutations of two objects.
 
The sought for Galois group is therefore <math>S_2</math>, which has no nontrivial subgroups.
 
It can be shown that in this case the Galois correspondence exists, so we may conclude from the subgroup structure of <math>S_2</math> that there is no intermediate subfield of L containing Q and also roots of the polynomial.
 
==See also==
 
*[[Evariste Galois]]
*[[History of mathematics]]
 
 
 
==Related topics==
 
*[[Generalized Galois theory]]
 
 
 
== References ==
 
*I Stewart (1989). ''Galois Theory second edition''.  Chapman & Hall . ISBN 978-0412345500 / ISBN 0-412-34550-1.
 
==External links==
 
*[http://www.maths.gla.ac.uk/~ajb/dvi-ps/Galois.pdf An Introduction to Galois Theory] by Andrew Baker.[[Category:Suggestion Bot Tag]]

Latest revision as of 07:01, 20 August 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.


Galois theory is an area of mathematical study that originated with Evariste Galois around 1830, as part of an effort to understand the relationships between the roots of polynomials, in particular why there are no simple formulas for extracting the roots of the general polynomial of fifth (or higher) degree.


Introduction

Galois expressed his theory in terms of polynomials and complex numbers, today Galois theory is usually formulated using general field theory.

Key concepts are field extensions and groups, which should be thoroughly understood before Galois theory can be properly studied.


Basic summary of Galois theory

The core idea behind Galois theory is that given a polynomial f with coefficients in a field K (typically the rational numbers), there exists

  • a smallest possible field L that contains K (or a field isomorphic to K) as a subfield and also all the roots of f. This field is known as the extension of K by the roots of f, or the splitting field of f over K. It is unique up to isomorphism..
  • a collection of similarly defined intermediate fields, each containing a unique subset of the roots.
  • a group containing all field automorphisms in L that leave the elements in K untouched - the Galois group of the polynomial f.

Providing certain technicalities are fulfilled, the structure of this group contains information about the nature of the roots, and whether the equation has solutions expressible as a finite formula involving only ordinary arithmetical operations (addition, subtraction, multiplication, division and rational powers) on the coefficients.

This connection between the Galois group and collection of extension fields is known as the Galois connection.

PD Image
Example illustration of a base field K, large field L and some intermediate fields, with inclusion graph. Here K ⊂ M1 ⊂ M3 ⊂ L and K ⊂ M2 ⊂ M4 ⊂ L.

The Galois connection

Given a Galois group G we may look for all its subgroups. These subgroups again contain subgroups. This structure is naturally represented by a directed graph.

The collection of intermediate fields may also be represented by such a graph. When the Galois correspondence exists, these graphs are isomorphic.


The Galois group of a polynomial - a trivial example

As an example, let us look at the second-degree polynomial , with the coefficients {-5,0,1} viewed as elements of Q.

This polynomial has no roots in Q. However, from the fundamental theorem of algebra we know that it has exacly two roots in C, and can be written as the product of two first-degree polynomials there - i.e. . From direct inspection of the polynomial we also realize that .

Using ordinary algebra and the identity , it is quite easy to show that L = is the smallest subfield of C that contains Q and both roots.

The are exactly 2 automorphisms of L that leave every element of Q alone: the do-nothing automorphism and the map .

Under composition of automorphisms, these two automorphisms together form a group isomorphic to , the group of permutations of two objects.

The sought for Galois group is therefore , which has no nontrivial subgroups.

It can be shown that in this case the Galois correspondence exists, so we may conclude from the subgroup structure of that there is no intermediate subfield of L containing Q and also roots of the polynomial.

See also


Related topics


References

External links