Galois theory

related topics
{math, number, function}
{group, member, jewish}
{theory, work, human}
{language, word, form}

In mathematics, more specifically in abstract algebra, Galois theory, named after Évariste Galois, 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.

Originally Galois used permutation groups to describe how the various roots of a given polynomial equation are related to each other. The modern approach to Galois theory, developed by Richard Dedekind, Leopold Kronecker and Emil Artin, among others, involves studying automorphisms of field extensions.

Further abstraction of Galois theory is achieved by the theory of Galois connections.

Contents

Application to classical problems

The birth of Galois theory was originally motivated by the following question, whose answer is known as the Abel–Ruffini theorem.

Galois theory not only provides a beautiful answer to this question, it 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 characterisation 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

Full article ▸

related documents
Absolute convergence
Partition (number theory)
Ultrafilter
Natural transformation
Gaussian quadrature
Complex analysis
Sequence
Elliptic curve
Ideal class group
Countable set
Exclusive or
IEEE 754-1985
Algebraic structure
Linear combination
Filter (mathematics)
Modular arithmetic
E (mathematical constant)
Database normalization
Semigroup
XPath 1.0
Random variable
Abstract interpretation
Fuzzy logic
Homological algebra
Binary relation
Key size
Scope (programming)
Tychonoff's theorem
Pushdown automaton
Presentation of a group