Action de groupe (mathematiques)

Action de groupe (mathématiques)

Pour les articles homonymes, voir Action de groupe.

Une action de groupe est, en mathématiques, une description algébrique d'une famille de transformations géométriques d'un espace, par exemple le groupe des rotations agit sur $\mathbb{R}^n$ , le groupe de matrices $\mathrm{SL} _n(\mathbb{Z})$ agit sur l'espace $\mathbb{Q}^n$ .

Sommaire

1 Définition
2 Exemples
3 Orbites, stabilisateurs et points fixes
4 Caractéristiques des actions de groupe
5 Formule des classes, formule de Burnside
6 Formule des classes
7 Formule de Burnside
8 Voir aussi

Définition

Étant donné un groupe $G$ , dont la loi est notée multiplicativement et dont l'élément neutre est noté $e$ , on peut définir une action (ou opération) de $G$ sur un ensemble $E$ par une application :

$G \times E \rightarrow E$

$(g,x) \mapsto g \cdot x$

vérifiant les propriétés suivantes :

$\forall x \in E,\ e \cdot x = x$

$\forall (g,g') \in G^2,\ \forall x \in E,\ g' \cdot (g \cdot x)= (g'g) \cdot x.$

Dans ce cas on dit également que $G$ opère (ou agit) sur l'ensemble $E$ . Il est important de bien vérifier que l'ensemble $E$ est stable sous l'action du groupe $G$ .

Un point de vue équivalent consiste à dire que le groupe $G$ opère sur l'ensemble $E$ si l'on dispose d'un morphisme de groupes, dit associé à l'action, $\phi : G \to \mathfrak{S}(E)$ , du groupe dans le groupe symétrique de l'ensemble. Un tel morphisme est appelé une représentation du groupe $G$ .

Ce morphisme est lié à l'action par

$g \cdot x = (\phi(g))(x)$

pour tous $g\in G, x\in E$ .

Exemples

Un groupe opère sur lui-même de deux manières fondamentales :

par translation à gauche, cette action est libre et transitive:

$G \times G \rightarrow G,\ (g,x) \mapsto gx$

par automorphisme intérieur, action aussi appelée par conjugaison :

$G \times G \rightarrow G,\ (g,x) \mapsto gxg^{-1}$

Le groupe symétrique d'un ensemble $E$ opère naturellement sur $E$ , cette action est fidèle et transitive :

$\mathfrak{S} (E) \times E \rightarrow E,\ (\sigma,x) \mapsto \sigma(x)$

Le groupe orthogonal (resp. unitaire) d'un espace euclidien (resp. espace hermitien) $E$ opère sur sa sphère unité :

$O(E) \times S \rightarrow S,\ (u,x) \mapsto u(x)$

$U(E) \times S \rightarrow S,\ (u,x) \mapsto u(x)$

Le groupe linéaire d'un espace vectoriel de dimension finie $E$ opère sur l'ensemble de ses bases $\eth$ , cette action est libre et transitive :

$GL(E) \times \eth \rightarrow \eth,\ (f,(e_i)_{i\in I}) \mapsto (f(e_i))_{i\in I}$

Le groupe projectif (ou groupe des homographies) $\mathbb{PGL(E)}$ d'un espace projectif $\mathbb{P}(E)$ opère sur l'ensemble $\mathcal{F}$ de ses faisceaux harmoniques :

$\mathbb{PGL}(E) \times \mathcal{F} \rightarrow \mathcal{F},\ (\phi,F) \mapsto \phi(F)$

Si pour tout entier relatif $n$ on définit

$f_n \ : \ \mathbb{C}^* \rightarrow \mathbb{C}^*,\ x \mapsto x^n$

alors le groupe $\mathbb{Z}$ opère sur $\mathbb{Q}^*$ :

$\mathbb{Z} \times \mathbb{Q}^* \rightarrow \mathbb{Q}^*,\ (n,r) \mapsto f_n(r)$ . Cette action est fidèle, mais pas transitive.

Le groupe des permutations opère sur l'ensemble des formes p-linéaires par :

$\begin{array}{ccl} \mathfrak{S}_p \times \mathcal{L}_p& \rightarrow & \mathcal{L}_p \\ (\sigma,\varphi) & \mapsto & \sigma\varphi : (x_1,\ldots,x_p) \mapsto \varphi(x_{\sigma 1},\ldots,x_{\sigma p})\end{array}$

Orbites, stabilisateurs et points fixes

Orbite d'un élément

On définit l'orbite d'un élément $x$ de $E$ par

$O_x = \left\{ g \cdot x ,\ g \in G \right\}.$

L'orbite de $x$ est l'ensemble des positions (dans $E$ ) susceptibles d'être occupées par l'image de $x$ sous l'action de $G$ . La relation « $y$ est dans l'orbite de $x$ » est une relation d'équivalence sur $E$ , les classes d'équivalences sont les orbites.

En particulier, les orbites forment une partition de $E$ .

Stabilisateur d'un élément

Le stabilisateur d'un élément $x$ de $E$ est l'ensemble

$G_x = St_x = \left\{ g \in G / g \cdot x = x \right\}$

des éléments qui laissent $x$ invariant sous leur action. C'est un sous-groupe de $G$ . Les stabilisateurs de deux éléments de la même orbite sont isomorphes via la formule :

$St_{g\cdot x} = g St_x g^{-1}$

L'application

$\left\{\begin{array}{ccc} G/St_x & \rightarrow & O_x\\ \bar{g} & \mapsto & g \cdot x \end{array}\right.$

est une bijection de $G / S t x$ sur $O x$ .

Points fixes d'un élément du groupe

On peut définir, de manière analogue, l'ensemble $Fix g$ des points fixés par un élément $g\in G$ comme l'ensemble des éléments de $E$ invariants sous l'action de $g$ .

Caractéristiques des actions de groupe

Action transitive

Une action est dite transitive si elle possède une seule orbite. Autrement dit, deux éléments quelconques de l'espace peuvent être envoyés l'un sur l'autre par l'action d'un élément du groupe : $\forall x,y\in X, \exists g\in G, y=g.x$ .

Action libre

Une action est dite libre si tous les stabilisateurs sont réduits au neutre, autrement dit si tout élément différent du neutre agit sans point fixe : $\forall x \in E, St_x = \{e\}$ .

Action fidèle

Une action est dite fidèle si l'intersection des stabilisateurs de tous les éléments est réduite au neutre. Une action libre est fidèle.

Action simplement transitive

Ce terme est peu usité car il a été l'objet de plusieurs controverses sur son interprétation. Pour certains, cela signifie que l'action n'est que transitive, pour d'autres qu'elle est au moins transitive mais a d'autres propriétés, notamment celle d'être une action directe. Enfin, une troisième école affirme que l'action est à la fois transitive et simple, tout en affirmant que "simplement transitive" est légèrement (pas au sens d'une action légère) différente d'une action "librement transitive". Toutefois cette école s'est elle-même divisée entre ceux qui prenaient "librement transitive" au sens de libre et transitive, et ceux qui y voyaient une nuance, et de taille, dans la mesure ou la terminologie "simplement transitive" renvoie à des axiomes différents par deux aspects : on ajoute aux axiomes qui définissent une action transitivement simple l'hypothèse que l'action est légèrement différente ; il restait donc à ce courant de bien définir cette action.

Formule des classes, formule de Burnside

À travers les notions d'orbite et de stabilisateur, les actions de groupe sont un outil commode en combinatoire. D'autre part, un certain nombre de propriétés concernant la structure de certains groupes peuvent être démontrées par des arguments de dénombrement.

Deux identités reviennent fréquemment. Lorsque l'ensemble $E$ et le groupe $G$ sont finis, la formule des classes affirme que pour toute orbite $O x$

$\mathrm{card}~O_x = \frac {\mathrm{card}~ G} {\mathrm{card}~ St_x}$

Remarquons que les stabilisateurs de 2 éléments d'une même orbite sont conjugués et ont donc le même cardinal (on peut donc remplacer dans la formule ci-dessus $x$ par n'importe quel élément de l'orbite.

Par suite si on désigne par $Ω$ l'ensemble des orbites et par $c ω$ le cardinal commun des stabilisateurs des éléments de l'orbite $ω$ on peut écrire:

$\mathrm{card}~E =\sum_{\omega \in \Omega} \mathrm{card}~\omega \ = {\mathrm{card}~G} \ \sum_{\omega \in\Omega}\frac {1} {c_\omega}$

Cette formule relie le cardinal de l'ensemble à la structure du groupe $G$ .

La formule de Burnside affirme pour sa part (toujours sous l'hypothèse que $E$ et $G$ sont finis) que le nombre d'orbites est

$\mathrm{card}~ \Omega = \frac1{\mathrm{card}~ G}\sum_{g\in G} \mathrm{card}~ \mathrm{Fix}_g$ .

En particulier, si $G$ est un groupe fini agissant transitivement sur un ensemble non vide $E$ , alors la moyenne du nombre de points fixes des éléments du groupe $G$ est égale à $1$ .

Démonstrations

Formule des classes

x étant fixé dans $\quad E$ , soit dans $\quad G$ la relation d'équivalence $\mathcal{R} : g\sim g' \Leftrightarrow g^{-1}.g' \in St_x.$ Les classes d'équivalence ne sont autres que les classes à gauche pour $\quad St_x$ .

Ces classes ont donc toutes le même cardinal, celui de $\quad St_x$ .

Soit $γ$ l'application de $\quad G$ dans $O x$ , orbite de $x$ : $g \mapsto g.x$ .

Deux éléments de $\quad G$ ont même image par $γ$ si et seulement s'ils sont équivalents selon $\mathcal{R} \ (g.x=g'.x \ \Leftrightarrow g'^{-1}g.x=x \ \Leftrightarrow g'^{-1}.g \in St_x \Leftrightarrow \ g \ \mathcal{R} \ g' )$ . On peut donc effectuer la factorisation canonique $\gamma = \tilde \gamma \circ \sigma$ où $σ$ désigne la surjection canonique de $\quad G$ sur $G/\mathcal{R}$ et $\tilde \gamma$ l'injection quotient qui est en réalité bijective puisque $γ$ est surjective (par définition même de l'orbite). Il en résulte immédiatement la formule annoncée : $card \ O_x =card \ (G/ \mathcal R) \ = \ card \ G /card \ St_x$ .

Formule de Burnside

Soit $A = \{(g,x) \in G \times E / gx=x\}$ .

On peut écrire en désignant par $Ω$ l'ensemble des orbites:

$card \ A=\sum_{x \in E} card \{(g,x) \in G \times E / gx=x\} = \sum_{x \in E} card \ St_x =\sum_{\omega \in \Omega} \sum_{x \in \omega} card \ St_x$

Mais les stabilisateurs de 2 éléments d'une même orbite sont conjugués (l'un est l'image de l'autre par un automorphisme intérieur) et ont donc le même cardinal. Donc en désignant par $c ω$ ce cardinal: $\sum_{x \in \omega} card \ St_x \ = \ card \ \omega . c_\omega$ . Il résulte alors de la formule des classes (cf. ci-dessus) que $card \ \omega . c_\omega \ = \ card \ G$ .

Donc $card \ A \ = \ card \ \Omega.card \ G$ .

Mais on peut aussi calculer card A en groupant différemment les éléments:

$card \ A \ = \ \sum_{g\in G} \ card \{ x \in E \ / \ gx=x \} \ = \ \sum_{g \in G} card \ Fix \ (g)$

Et en écrivant l'égalité des 2 expressions de $card \ A$ trouvées, on obtient la formule demandée:

$card \ \Omega \ = \ \frac{1}{card \ G} \ \sum_{g\in G} card \ Fix(g)$

Voir aussi

Représentation des groupes

Portail des mathématiques

Ce document provient de « Action de groupe (math%C3%A9matiques) ».

Catégorie : Action de groupes

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Action de groupe (mathematiques) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Action De Groupe (Mathématiques) — Pour les articles homonymes, voir Action de groupe. Une action de groupe est, en mathématiques, une description algébrique d une famille de transformations géométriques d un espace, par exemple le groupe des rotations agit sur , le groupe de… … Wikipédia en Français
Action de groupe (mathématiques) — Pour les articles homonymes, voir Action de groupe. Une action de groupe est, en mathématiques, une description algébrique d une famille de transformations géométriques d un espace. Par exemple, le groupe des déplacements agit sur un espace… … Wikipédia en Français
Action De Groupe — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. L action de groupe peut désigner : une opération mathématique : action de groupe (mathématiques), une procédure judiciaire : action de… … Wikipédia en Français
Action de groupe — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. L action de groupe peut désigner : une opération mathématique : action de groupe (mathématiques) ; une procédure judiciaire : action… … Wikipédia en Français
Groupe (mathématiques) — Pour les articles homonymes, voir Groupe. Les manipulations possibles du cube de Rubik forment un groupe. En mathématiques, un groupe est un ensemble … Wikipédia en Français
Groupe Alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est composé des… … Wikipédia en Français
Groupe alterne — Groupe alterné En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est… … Wikipédia en Français
Groupe alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini à n éléments. Ce sous groupe est composé des… … Wikipédia en Français
Groupe (mathématique) — Groupe (mathématiques) Pour les articles homonymes, voir Groupe. Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes … Wikipédia en Français
Action Par Conjugaison — Pour les articles homonymes, voir Conjugaison (homonymie). En mathématiques, dans la théorie des groupes, une action par conjugaison est un cas particulier d action de groupe. L ensemble X sur lequel agit le groupe G est ici le groupe G lui même … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Action de groupe (mathematiques)

Action de groupe (mathématiques)

Sommaire

Définition

Exemples