# Galois group

This article defines a natural context where a group occurs, or is associated, with another algebraic, topological or analytic structure

View other occurrences of groups

This term is related to: Galois theory

View other terms related to Galois theory | View facts related to Galois theory

## Contents

## Definition

### Symbol-free definition

Let be an extension of fields that is Galois (viz algebraic, normal and separable).

The **Galois group** of this extension is defined as the group of field automorphisms of which fix every element inside .

## Facts

### Realization

The question: does every finite group occur as the Galois group of some Galois extension is the famous inverse Galois problem. It has been proved that every solvable group occurs as the Galois group of some group.

## Representations of the Galois group

### A permutation representation

Consider a Galois extension of finite degree. Then, by the primitive element theorem, there exists a primitive element for the extension, or in other words, there exists a monic polynomial over such that the extension is generated by any root of .

Now, every element of the Galois group acts as a permutation on the roots of this polynomial. In fact, the action is transitive (since the polynomial is irreducible) on the roots. This thus gives a transitive permutation representation of the Galois group.

Note, however, that the precise transitive permutation representation depends on the choice of the irreducible polynomial. Or does it?

### A linear representation

Since the Galois group gives linear automorphisms of over , it naturally gives rise to a linear representation.

### Galois cohomology

Another rich source of representations (of all kinds) of the Galois group, is Galois cohomology.