next up previous
suivant: Propriétés monter: Action de groupe précédent: Introduction

Définition

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 $\theta:G\times X \longrightarrow X$ telle que:

On dira aussi que $\theta$ définit une action de G sur X.

Remarque Afin de simplifier les notations, et quand aucune confusion n'est à craindre, on écrira, si g$\in$G et x$\in$X $\theta$(g,x)=g.x .

Définition Soit $\theta$ une action de G sur X. On dira que l'action est fidèle si $\theta$ vérifie: $\forall x\in X$ g.x=x alors g=e.

Définition On dira que l'action $\theta$ de G sur X est transitive si $\forall x,y\in X \exists g \in G / g.x=y$.

Définition Soit x$\in$X et soit $\theta$ une action de G sur X.

$ $

Définition Si g est élément de G et que $\theta$ est une action de G sur X, on appelle fixateur de g et on note fix(g) ou X$^g$ le sous ensemble de X donné par fix(g)= $\lbrace x \in X g.x=x \rbrace$. De même si K est une partie de G, on notera X$^K$ l'ensemble des x$\in$X tels que $\forall g \in K g.x=x$.


next up previous
suivant: Propriétés monter: Action de groupe précédent: Introduction
Emmanuel_Vieillard-Baron_pour_les.mathematiques