Dans tout le paragraphe qui vient, X désignera un ensemble et (G,.) un groupe. On notera e le neutre de G.
Définition On dira que le groupe G agit (ou opère) sur l'ensemble X si il existe une application
telle que:
Remarque Afin de simplifier les notations, et quand aucune confusion n'est à craindre, on écrira, si gG et x
X
(g,x)=g.x .
Définition Soit une action de G sur X. On dira que l'action est fidèle si
vérifie:
g.x=x alors g=e.
Définition On dira que l'action de G sur X est transitive si
.
Définition Soit xX et soit
une action de G sur X.
Définition Si g est élément de G et que est une action de G sur X, on appelle fixateur de g et on note fix(g) ou X
le sous ensemble de X donné par fix(g)=
. De même si K est une partie de G, on notera X
l'ensemble des x
X tels que
.