Galois group

Math can help us solve puzzles. A man named Galois found a special way to do this. He looked at numbers and how they work together. He found groups that connect different sets of numbers. These groups follow rules. The rules help us see how numbers change. They also show what stays the same. This helps us understand math better. Galois was the first to find these ideas. We still use his work today.

Math can help us solve puzzles. A man named Évariste Galois found a special way to do this. He looked at how numbers work together in sets. He called these sets fields. He also found a way to study how these fields change. We call this study Galois theory.

Galois looked at a special kind of group. It is called a Galois group. This group shows how we can move parts of a field around. These movements must keep the field the same. We call these movements automorphisms. The Galois group helps us see the link between fields and polynomials. A polynomial is a math expression like x squared plus one.

There is a big rule called the Fundamental Theorem of Galois theory. This rule shows a link between two things. It links the smaller parts of a field to the subgroups of the Galois group. This helps us understand the structure of math. Some groups are very large. They can even be infinite. This means they never end. Galois's ideas help us map out these complex math worlds.

Math often involves looking at how things stay the same even when they change. Imagine you have a set of numbers called a field. A field extension happens when you add new numbers to that set. To study these sets, mathematicians use something called a Galois group. This group is made of special movements called automorphisms. An automorphism is a way to rearrange the numbers in a field. These movements must keep the field looking exactly the same.

How does this work in practice? A Galois group connects fields to polynomials. A polynomial is a math expression like x squared. Sometimes, a polynomial has roots that live in a larger field. The Galois group tells us how we can swap these roots around. We can do this without changing the basic rules of the field. If the field is a Galois extension, the group is very helpful. It shows us the hidden structure of the numbers.

This special way of thinking was discovered by Évariste Galois. He was a mathematician who found these deep links between algebra and groups. His work led to a big rule called the Fundamental Theorem of Galois theory. This theorem creates a bridge between two different worlds. It links the smaller parts of a field to the subgroups of the Galois group. This means if you know the group, you know the field.

There are many different kinds of Galois groups in math. Some are very small and simple. For example, a quadratic extension has a group with only two elements. These elements are the identity and one other movement. Other groups can be much larger or even infinite. An infinite group never ends, like the absolute Galois group. This group is a special type called a profinite group.

Galois groups help us understand many things we already know. They connect to how we split shapes or patterns into equal parts. For instance, cyclotomic extensions use polynomials to create specific types of groups. These groups are used to study how numbers repeat in cycles. Even the way we use complex numbers relates to these groups. By studying these movements, we learn how math is built.

In abstract algebra, a Galois group is a mathematical structure that describes the symmetries of a field extension. A field is a set of numbers where you can add, subtract, multiply, and divide. A field extension, written as E over F, happens when you add new numbers to a starting field F to create a larger field E. The Galois group is made of automorphisms. An automorphism is a special way to rearrange the elements of a field while keeping the field's structure exactly the same. Specifically, these are isomorphisms that fix every element of the base field F. This means that while you might swap some numbers in E, the numbers in F stay exactly where they are.

To understand the mechanism, we look at how these automorphisms act on the field. The set of all these automorphisms forms a group when you use function composition as the operation. If the extension is a Galois extension, this group is called the Galois group of E over F. For polynomials, the definition is slightly different. If you have an irreducible polynomial, you look for the smallest field where that polynomial splits into distinct linear factors. This is called a splitting field. The Galois group of the polynomial is then defined as the Galois group of that splitting field.

There are different types of extensions and groups to consider. A finite Galois extension has a specific structure governed by the Fundamental Theorem of Galois theory. This theorem creates a bijection, or a perfect one-to-one pairing, between the subfields of the extension and the subgroups of the Galois group. If a subgroup is normal, it corresponds to a normal field extension. There are also infinite Galois groups, such as the absolute Galois group. This is a profinite group, which is the inverse limit of all finite Galois extensions for a fixed field.

History shows us that these ideas belong to Évariste Galois. He discovered the relationship between field extensions and polynomials. His work turned the study of equations into the study of groups. This shift changed how mathematicians think about symmetry and solvability. Because of his discoveries, we can now use group theory to understand the deep properties of number fields.

We can see the significance of these groups through specific numbers and sizes. For a finite Galois extension, the order of the Galois group is equal to the degree of the field extension. For example, a quadratic extension has a degree of two. Its Galois group has exactly two elements: the identity automorphism and one that exchanges the roots. In a cyclotomic extension, which uses cyclotomic polynomials, the degree of the field is equal to the degree of the polynomial. For a prime number p, the Galois group of a cyclotomic extension over the rational numbers has a size related to Euler's totient function.

Many notable examples help us see these groups in action. In a degree four extension like Q(sqrt(2), sqrt(3)), the Galois group is the Klein four-group. This group has four elements. Another example is the splitting field of x^3 - 2 over the rationals. This involves complex numbers and has a Galois group isomorphic to the symmetric group S3. We also see non-abelian groups, like the dihedral group of order 6. Even more complex is the Quaternion group, which can be found as a Galois group for certain field extensions.

Galois groups connect to many broader mathematical systems. They relate to global fields and local fields through valuations. By looking at how a global Galois group acts on valuations, we can find isomorphisms between local fields. This allows mathematicians to build local Galois groups using global ones. This connection is vital for modern number theory and the study of how numbers behave in different mathematical environments.