## You are here

HomeGalois group

## Primary tabs

# Galois group

The *Galois group* $\operatorname{Gal}(K/F)$ of a field extension $K/F$ is the group of all field automorphisms $\sigma\colon K\to K$ of $K$ which fix $F$ (i.e., $\sigma(x)=x$ for all $x\in F$). The group operation is given by composition: for two automorphisms $\sigma_{1},\sigma_{2}\in\operatorname{Gal}(K/F)$, given by $\sigma_{1}\colon K\to K$ and $\sigma_{2}\colon K\to K$, the product $\sigma_{1}\cdot\sigma_{2}\in\operatorname{Gal}(K/F)$ is the composite of the two maps $\sigma_{1}\circ\sigma_{2}\colon K\to K$.

The *Galois group* of a polynomial $f(x)\in F[x]$ is defined to be the Galois group of the splitting field of $f(x)$ over $F$.

Related:

FundamentalTheoremOfGaloisTheory, InfiniteGaloisTheory

Type of Math Object:

Definition

Major Section:

Reference

Groups audience:

## Mathematics Subject Classification

12F10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections