# GetWiki

*Galois theory*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Galois theory

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Galois theory**provides a connection between field theory and group theory. Using Galois theory, certain problems in field theory can be reduced to group theory, which is in some sense simpler and better understood.The subject is named after Ã‰variste Galois, who introduced it for studying the rootsof a polynomial and characterizing the polynomial equations that are

**solvable by radicals**in terms of properties of the permutation group of their rootsâ€”an equation is

*solvable by radicals*if its roots may be expressed by a formula involving only integers, {{mvar|n}}th roots and the four basic arithmetic operations. The theory has been popularized (among mathematicians) and developed by Richard Dedekind, Leopold Kronecker and Emil Artin, and others, who, in particular, interpreted the permutation group of the roots as the automorphism group of a field extension.Galois theory has been generalized to Galois connections and Grothendieck's Galois theory.

## Application to classical problems

The birth and development of Galois theory was caused by the following question, whose answer is known as the Abelâ€“Ruffini theorem:Galois' theory not only provides a beautiful answer to this question, but also explains in detail why it*is*possible to solve equations of degree four or lower in the above manner, and why their solutions take the form that they do. Further, it gives a conceptually clear, and often practical, means of telling when some particular equation of higher degree can be solved in that manner.Galois' theory also gives a clear insight into questions concerning problems in compass and straightedge construction. It gives an elegant characterization of the ratios of lengths that can be constructed with this method. Using this, it becomes relatively easy to answer such classical problems of geometry as

- Which regular polygons are constructible polygons?
- Why is it not possible to trisect every angle using a compass and straightedge?

## History

{{see also|Abstract algebra#Early group theory}}### Pre-history

Galois' theory originated in the study of symmetric functions â€“ the coefficients of a monic polynomial are (up to sign) the elementary symmetric polynomials in the roots. For instance, {{math|1=(*x*â€“

*a*)(

*x*â€“

*b*) =

*x*2 â€“ (

*a*+

*b*)

*x*+

*ab*}}, where 1, {{math|

*a*+

*b*}} and {{math|

*ab*}} are the elementary polynomials of degree 0, 1 and 2 in two variables.This was first formalized by the 16th-century French mathematician FranÃ§ois ViÃ¨te, in ViÃ¨te's formulas, for the case of positive real roots. In the opinion of the 18th-century British mathematician Charles Hutton,{{Harv|Funkhouser|1930}} the expression of coefficients of a polynomial in terms of the roots (not only for positive roots) was first understood by the 17th-century French mathematician Albert Girard; Hutton writes: ...[Girard was] the first person who understood the general doctrine of the formation of the coefficients of the powers from the sum of the roots and their products. He was the first who discovered the rules for summing the powers of the roots of any equation.In this vein, the discriminant is a symmetric function in the roots that reflects properties of the roots â€“ it is zero if and only if the polynomial has a multiple root, and for quadratic and cubic polynomials it is positive if and only if all roots are real and distinct, and negative if and only if there is a pair of distinct complex conjugate roots. See (discriminant#Nature of the roots|Discriminant:Nature of the roots) for details.The cubic was first partly solved by the 15â€“16th-century Italian mathematician Scipione del Ferro, who did not however publish his results; this method, though, only solved one type of cubic equation. This solution was then rediscovered independently in 1535 by NiccolÃ² Fontana Tartaglia, who shared it with Gerolamo Cardano, asking him to not publish it. Cardano then extended this to numerous other cases, using similar arguments; see more details at Cardano's method. After the discovery of Ferro's work, he felt that Tartaglia's method was no longer secret, and thus he published his solution in his 1545

*Ars Magna.*{{harvnb|Cardano|1545}} His student Lodovico Ferrari solved the quartic polynomial; his solution was also included in

*Ars Magna.*In this book, however, Cardano does not provide a "general formula" for the solution of a cubic equation, as he had neither complex numbers at his disposal, nor the algebraic notation to be able to describe a general cubic equation. With the benefit of modern notation and complex numbers, the formulae in this book do work in the general case, but Cardano did not know this. It was Rafael Bombelli who managed to understand how to work with complex numbers in order to solve all forms of cubic equation.A further step was the 1770 paper

*RÃ©flexions sur la rÃ©solution algÃ©brique des Ã©quations*by the French-Italian mathematician Joseph Louis Lagrange, in his method of Lagrange resolvents, where he analyzed Cardano and Ferrarri's solution of cubics and quartics by considering them in terms of

*permutations*of the roots, which yielded an auxiliary polynomial of lower degree, providing a unified understanding of the solutions and laying the groundwork for group theory and Galois theory. Crucially, however, he did not consider

*composition*of permutations. Lagrange's method did not extend to quintic equations or higher, because the resolvent had higher degree.The quintic was almost proven to have no general solutions by radicals by Paolo Ruffini in 1799, whose key insight was to use permutation

*groups*, not just a single permutation. His solution contained a gap, which Cauchy considered minor, though this was not patched until the work of Norwegian mathematician Niels Henrik Abel, who published a proof in 1824, thus establishing the Abelâ€“Ruffini theorem.While Ruffini and Abel established that the

*general*quintic could not be solved, some

*particular*quintics can be solved, such as {{math|(

*x*âˆ’ 1)5 {{=}} 0}}, and the precise criterion by which a

*given*quintic or higher polynomial could be determined to be solvable or not was given by Ã‰variste Galois, who showed that whether a polynomial was solvable or not was equivalent to whether or not the permutation group of its roots â€“ in modern terms, its Galois group â€“ had a certain structure â€“ in modern terms, whether or not it was a solvable group. This group was always solvable for polynomials of degree four or less, but not always so for polynomials of degree five and greater, which explains why there is no general solution in higher degree.

### Galois' writings

In 1830 Galois (at the age of 18) submitted to the Paris Academy of Sciences a memoir on his theory of solvability by radicals; Galois' paper was ultimately rejected in 1831 as being too sketchy and for giving a condition in terms of the roots of the equation instead of its coefficients. Galois then died in a duel in 1832, and his paper, "*MÃ©moire sur les conditions de rÃ©solubilitÃ© des Ã©quations par radicaux*", remained unpublished until 1846 when it was published by Joseph Liouville accompanied by some of his own explanations.BOOK, Jean-Pierre, Tignol, Galois' Theory of Algebraic Equations, 2001, World Scientific, 978-981-02-4541-2, 232â€“233, 302, Prior to this publication, Liouville announced Galois' result to the Academy in a speech he gave on 4 July 1843.Stewart, 3rd ed., p. xxiii According to Allan Clark, Galois's characterization "dramatically supersedes the work of Abel and Ruffini."BOOK, Allan, Clark, Elements of Abstract Algebra, 1984, 1971, Courier Corporation, 978-0-486-14035-3, 131,

### Aftermath

Galois' theory was notoriously difficult for his contemporaries to understand, especially to the level where they could expand on it. For example, in his 1846 commentary, Liouville completely missed the group-theoretic core of Galois' method.BOOK, Hans, Wussing, The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, 2007, Courier Corporation, 978-0-486-45868-7, 118, Joseph Alfred Serret who attended some of Liouville's talks, included Galois' theory in his 1866 (third edition) of his textbook*Cours d'algÃ¨bre supÃ©rieure*. Serret's pupil, Camille Jordan, had an even better understanding reflected in his 1870 book

*TraitÃ© des substitutions et des Ã©quations algÃ©briques*. Outside France, Galois' theory remained more obscure for a longer period. In Britain, Cayley failed to grasp its depth and popular British algebra textbooks did not even mention Galois' theory until well after the turn of the century. In Germany, Kronecker's writings focused more on Abel's result. Dedekind wrote little about Galois' theory, but lectured on it at GÃ¶ttingen in 1858, showing a very good understanding.BOOK, W., Scharlau, Richard Dedekind, 1831â€“1981: Eine WÃ¼rdigung, Braunschweig, Vieweg, 1981, Eugen Netto's books of the 1880s, based on Jordan's

*TraitÃ©*, made Galois theory accessible to a wider German and American audience as did Heinrich Martin Weber's 1895 algebra textbook.BOOK, Ã‰variste, Galois, Peter M., Neumann, The Mathematical Writings of Ã‰variste Galois, 2011, European Mathematical Society, 978-3-03719-104-0, 10,

## Permutation group approach to Galois theory

Given a polynomial, it may be that some of the roots are connected by various algebraic equations. For example, it may be that for two of the roots, say {{math|*A*}} and {{math|

*B*}}, that {{math|1=

*A*2 + 5

*B*3 = 7}}. The central idea of Galois' theory is to consider permutations (or rearrangements) of the roots such that

*any*algebraic equation satisfied by the roots is

*still satisfied*after the roots have been permuted. Originally, the theory has been developed for algebraic equations whose coefficients are rational numbers. It extends naturally to equations with coefficients in any field, but this will not be considered in the simple examples below.These permutations together form a permutation group, also called the Galois group of the polynomial, which is explicitly described in the following examples.

### First example: a quadratic equation

Consider the quadratic equation
x^2 - 4x + 1 = 0.

By using the quadratic formula, we find that the two roots are
begin{align}

A &= 2 + sqrt{3},B &= 2 - sqrt{3}.end{align}Examples of algebraic equations satisfied by {{math|*A*}} and {{math|

*B*}} include

A + B = 4,

and
AB = 1.

Obviously, in either of these equations, if we exchange {{math|*A*}} and {{math|

*B*}}, we obtain another true statement. For example, the equation {{math|

*A*+

*B*{{=}} 4}} becomes simply {{math|

*B*+

*A*{{=}} 4}}. Furthermore, it is true, but less obvious, that this holds for

*every*possible algebraic relation between {{math|

*A*}} and {{math|

*B*}} such that all coefficients are rational (in any such relation, swapping {{math|

*A*}} and {{math|

*B*}} yields another true relation). This results from the theory of symmetric polynomials, which, in this simple case, may be replaced by formula manipulations involving binomial theorem. (One might object that {{math|

*A*}} and {{math|

*B*}} are related by the algebraic equation {{math|

*A*âˆ’

*B*âˆ’ 2{{sqrt|3}} {{=}} 0}}, which does not remain true when {{math|

*A*}} and {{math|

*B*}} are exchanged. However, this relation is not considered here, because it has the coefficient {{math|âˆ’2{{sqrt|3}}}} which is not rational.)

*x*2 âˆ’ 4

*x*+ 1}} consists of two permutations: the identity permutation which leaves {{math|

*A*}} and {{math|

*B*}} untouched, and the transposition permutation which exchanges {{math|

*A*}} and {{math|

*B*}}. It is a cyclic group of order two, and therefore isomorphic to {{math|

**Z**/2

**Z**}}.A similar discussion applies to any quadratic polynomial {{math|

*ax*2 +

*bx*+

*c*}}, where {{math|

*a*}}, {{math|

*b*}} and {{math|

*c*}} are rational numbers.

- If the polynomial has rational roots, for example {{math|
*x*2 âˆ’ 4*x*+ 4 {{=}} (*x*âˆ’ 2)2}}, or {{math|*x*2 âˆ’ 3*x*+ 2 {{=}} (*x*âˆ’ 2)(*x*âˆ’ 1)}}, then the Galois group is trivial; that is, it contains only the identity permutation. - If it has two irrational roots, for example {{math|
*x*2 âˆ’ 2}}, then the Galois group contains two permutations, just as in the above example.

### Second example

Consider the polynomial
x^4 - 10x^2 + 1,

which can also be written as
left(x^2 - 5right)^2 - 24.

We wish to describe the Galois group of this polynomial, again over the field of rational numbers. The polynomial has four roots:
begin{align}

A &= sqrt{2} + sqrt{3},B &= sqrt{2} - sqrt{3},C &= -sqrt{2} + sqrt{3},D &= -sqrt{2} - sqrt{3}.end{align}There are 24 possible ways to permute these four roots, but not all of these permutations are members of the Galois group. The members of the Galois group must preserve any algebraic equation with rational coefficients involving {{math|*A*}}, {{math|

*B*}}, {{math|

*C*}} and {{math|

*D*}}.Among these equations, we have:

begin{align}

AB&=-1 AC&=1 A+D&=0end{align}It follows that, if {{math|*Ï†*}} is a permutation that belongs to the Galois group, we must have:

begin{align}

varphi(B)&=frac{-1}{varphi(A)}, varphi(C)&=frac{1}{varphi(A)}, varphi(D)&=-varphi(A).end{align}This implies that the permutation is well defined by the image of {{math|*A*}}, and that the Galois group has 4 elements, which are:

{{math|(

This implies that the Galois group is isomorphic to the Klein four-group.*A*,*B*,*C*,*D*) â†’ (*A*,*B*,*C*,*D*)}} {{math|(*A*,*B*,*C*,*D*) â†’ (*B*,*A*,*D*,*C*)}} {{math|(*A*,*B*,*C*,*D*) â†’ (*C*,*D*,*A*,*B*)}} {{math|(*A*,*B*,*C*,*D*) â†’ (*D*,*C*,*B*,*A*)}}## Modern approach by field theory

In the modern approach, one starts with a field extension {{math|*L*/

*K*}} (read "{{math|

*L*}} over {{math|

*K*}}"), and examines the group of field automorphisms of {{math|

*L*/

*K*}} (these are bijective ring homomorphisms {{math|

*Î±*:

*L*â†’

*L*}} such that {{math|

*Î±*(

*x*) {{=}}

*x*}} for all {{math|

*x*âˆˆ

*K*}}). See the article on Galois groups for further explanation and examples.The connection between the two approaches is as follows. The coefficients of the polynomial in question should be chosen from the base field

*K*. The top field {{math|

*L*}} should be the field obtained by adjoining the roots of the polynomial in question to the base field. Any permutation of the roots which respects algebraic equations as described above gives rise to an automorphism of {{math|

*L*/

*K*}}, and vice versa.In the first example above, we were studying the extension {{math|

**Q**({{sqrt|3}})/

**Q**}}, where {{math|

**Q**}} is the field of rational numbers, and {{math|

**Q**({{sqrt|3}})}} is the field obtained from

**Q**by adjoining {{sqrt|3}}. In the second example, we were studying the extension {{math|

**Q**(

*A*,

*B*,

*C*,

*D*)/

**Q**}}.There are several advantages to the modern approach over the permutation group approach.

- It permits a far simpler statement of the fundamental theorem of Galois theory.
- The use of base fields other than {{math|
**Q**}} is crucial in many areas of mathematics. For example, in algebraic number theory, one often does Galois theory using number fields, finite fields or local fields as the base field. - It allows one to more easily study infinite extensions. Again this is important in algebraic number theory, where for example one often discusses the absolute Galois group of {{math|
**Q**}}, defined to be the Galois group of {{math|*K*/**Q**}} where {{math|*K*}} is an algebraic closure of {{math|**Q**}}. - It allows for consideration of inseparable extensions. This issue does not arise in the classical framework, since it was always implicitly assumed that arithmetic took place in characteristic zero, but nonzero characteristic arises frequently in number theory and in algebraic geometry.
- It removes the rather artificial reliance on chasing roots of polynomials. That is, different polynomials may yield the same extension fields, and the modern approach recognizes the connection between these polynomials.

## Solvable groups and solution by radicals

The notion of a solvable group in group theory allows one to determine whether a polynomial is solvable in radicals, depending on whether its Galois group has the property of solvability. In essence, each field extension {{math|*L*/

*K*}} corresponds to a factor group in a composition series of the Galois group. If a factor group in the composition series is cyclic of order {{math|

*n*}}, and if in the corresponding field extension {{math|

*L*/

*K*}} the field {{math|

*K*}} already contains a primitive {{math|

*n*}}th root of unity, then it is a radical extension and the elements of {{math|

*L*}} can then be expressed using the {{math|

*n*}}th root of some element of {{math|

*K*}}.If all the factor groups in its composition series are cyclic, the Galois group is called

*solvable*, and all of the elements of the corresponding field can be found by repeatedly taking roots, products, and sums of elements from the base field (usually {{math|

**Q**}}).One of the great triumphs of Galois Theory was the proof that for every {{math|

*n*> 4}}, there exist polynomials of degree {{math|

*n*}} which are not solvable by radicals (this was proven independently, using a similar method, by Niels Henrik Abel a few years before, and is the Abelâ€“Ruffini theorem), and a systematic way for testing whether a specific polynomial is solvable by radicals. The Abelâ€“Ruffini theorem result from the fact that for {{math|

*n*> 4}} the symmetric group {{math|

*S*

**'n****}} contains a simple, noncyclic, normal subgroup, namely the alternating group {{math|**

*A**'n*}}.

### A non-solvable quintic example

image:Non solvable quintic.svg|right|thumb|For the polynomial {{math|*f*(

*x*) {{=}}

*x*5 âˆ’

*x*âˆ’ 1}}, the lone real root {{math|

*x*{{=}} 1.1673â€¦}} is algebraic, but not expressible in terms of radicals. The other four roots are complex numberscomplex numbersVan der Waerdenvan der Waerden, Modern Algebra (1949 English edn.), Vol. 1, Section 61, p.191 cites the polynomial {{math|

*f*(

*x*) {{=}}

*x*5 âˆ’

*x*âˆ’ 1}}. By the rational root theorem this has no rational zeroes. Neither does it have linear factors modulo 2 or 3.The Galois group of {{math|

*f*(

*x*)}} modulo 2 is cyclic of order 6, because {{math|

*f*(

*x*)}} modulo 2 factors into polynomials of orders 2 and 3, {{math|(

*x*2 +

*x*+ 1)(

*x*3 +

*x*2 + 1)}}.{{math|

*f*(

*x*)}} modulo 3 has no linear or quadratic factor, and hence is irreducible. Thus its modulo 3 Galois group contains an element of order 5.It is knownV. V. Prasolov, Polynomials (2004), Theorem 5.4.5(a) that a Galois group modulo a prime is isomorphic to a subgroup of the Galois group over the rationals. A permutation group on 5 objects with elements of orders 6 and 5 must be the symmetric group {{math|

*S*5}}, which is therefore the Galois group of {{math|

*f*(

*x*)}}. This is one of the simplest examples of a non-solvable quintic polynomial. According to Serge Lang, Emil Artin found this example.{{citation|title=Algebraic Number Theory|volume=110|series=Graduate Texts in Mathematics|first=Serge|last=Lang|authorlink=Serge Lang|publisher=Springer|year=1994|isbn=9780387942254|page=121|url=https://books.google.com/books?id=u5eGtA0YalgC&pg=PA}}.

## Inverse Galois problem

The*inverse Galois problem*is to find a field extension with a given Galois groupAs long as one does not also specify the ground field, the problem is not very difficult, and all finite groups do occur as Galois groups.For showing this, one may proceed as follows. Choose a field {{math|

*K*}} and a finite group {{math|

*G*}}. Cayley's theorem says that {{math|

*G*}} is (up to isomorphism) a subgroup of the symmetric group {{math|

*S*}} on the elements of {{math|

*G*}}. Choose indeterminates {{math|{

*x*

**'Î±****}}}, one for each element {{math|**

*Î±*}} of {{math|*G*}}, and adjoin them to {{math|*K*}} to get the field {{math|*F*{{=}}*K*({*x**'Î±*})}}. Contained within {{math|

*F*}} is the field {{math|

*L*}} of symmetric rational functions in the {{math|{

*x*

*Î±*}}}. The Galois group of {{math|

*F*/

*L*}} is {{math|

*S*}}, by a basic result of Emil Artin. {{math|

*G*}} acts on {{math|

*F*}} by restriction of action of {{math|

*S*}}. If the fixed field of this action is {{math|

*M*}}, then, by the fundamental theorem of Galois theory, the Galois group of {{math|

*F*/

*M*}} is {{math|

*G*}}.On the other hand, it is an open problem whether every finite group is the Galois group of a field extension of the field {{math|

**Q**}} of the rational numbers. Igor Shafarevich proved that every solvable finite group is the Galois group of some extension of {{math|

**Q**}}. Various people have solved the inverse Galois problem for selected non-Abelian simple groups. Existence of solutions has been shown for all but possibly one (Mathieu group {{math|

*M*23}}) of the 26 sporadic simple groups. There is even a polynomial with integral coefficients whose Galois group is the Monster group.

## See also

## Notes

{hide}reflist|refs=BOOK, Ian

, Stewart

, Galois Theory

, Chapman and Hall

, 1989

, 0-412-34550-1

, Ian Stewart (mathematician)

, {edih}, Stewart

, Galois Theory

, Chapman and Hall

, 1989

, 0-412-34550-1

, Ian Stewart (mathematician)

## References

- BOOK, Emil, Artin, Galois Theory, Dover Publications, 1998, 0-486-62342-4, Emil Artin,
*(Reprinting of second revised edition of 1944, The University of Notre Dame Press)*. - BOOK, JÃ¶rg Bewersdorff, Bewersdorff, JÃ¶rg, Galois Theory for Beginners: A Historical Perspective, American Mathematical Society, 2006, 0-8218-3817-2, 10.1090/stml/035, .
- BOOK, Gerolamo, Cardano, 1545, Artis MagnÃ¦, Latin, Gerolamo Cardano,weblink harv,
- BOOK, Harold M., Edwards, Harold Edwards (mathematician), Galois Theory, Springer-Verlag, 1984, 0-387-90980-X,
*(Galois' original paper, with extensive background and commentary.)* - JOURNAL, H. Gray, Funkhouser, Howard G. Funkhouser, A short account of the history of symmetric functions of roots of equations, American Mathematical Monthly, 1930, 37, 7, 357â€“365, 10.2307/2299273, harv, 2299273,
- {{springer|title=Galois theory|id=p/g043160}}
- BOOK, Nathan, Jacobson, Basic Algebra I, 2nd, W. H. Freeman and Company, 1985, 0-7167-1480-9, Nathan Jacobson,
*(Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)* - BOOK, Janelidze, G., Borceux, Francis, Galois Theories, Cambridge University Press, 978-0-521-80309-0, 2001, harv, (This book introduces the reader to the Galois theory of Grothendieck, and some generalisations, leading to Galois groupoids.)
- BOOK, Lang, Serge, Serge Lang, Algebraic Number Theory, Springer-Verlag, Berlin, New York, 978-0-387-94225-4, 1994, harv,
- BOOK, M. M., Postnikov, Foundations of Galois Theory, Dover Publications, 2004, 0-486-43518-0,
- BOOK, Joseph, Rotman, Galois Theory, 2nd, Springer, 1998, 0-387-98541-7,
- BOOK, VÃ¶lklein, Helmut, Groups as Galois groups: an introduction, Cambridge University Press, 978-0-521-56280-5, 1996, harv,
- BOOK, van der Waerden, Bartel Leendert, Bartel Leendert van der Waerden, Moderne Algebra, German, Springer, 1931, Berlin, harv, .
**English translation**(of 2nd revised edition): BOOK, Modern Algebra, Frederick Ungar, New York, 1949,*(Later republished in English by Springer under the title "Algebra".)*

## External links

Some on-line tutorials on Galois theory appear at: Online textbooks in French, German, Italian and English can be found at: {{Authority control}}**- content above as imported from Wikipedia**

- "

- time: 4:31pm EST - Thu, Jan 17 2019

- "

__Galois theory__" does not exist on GetWiki (yet)- time: 4:31pm EST - Thu, Jan 17 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED