Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
53 personne(s) sur le site en ce moment
E. Cartan

Les maths pour l'agreg

A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Des rappels sur les actions de groupe next up previous
suivant: Application au problème des monter: Roulettes et colliers précédent: Problèmes

Des rappels sur les actions de groupe

1) Définition
Une opération (à gauche) d'un groupe G sur un ensemble E est une application $f:G\times E \longrightarrow E (\sigma,x)\rightarrow \sigma.x$ vérifiant les deux propriétés :

  • $\forall x\in$E, x=x, e désignant l'élément neutre de G
  • $\forall (\sigma,\tau)\in G^2,\, \sigma.(\tau .x)=(\sigma \tau).x$
$\,$

2) Orbites
L'opération définit sur E une relation d'équivalence par : $x\simeq y \Leftrightarrow \exists \sigma \in G, \, y=\sigma.x$. Les classes d'équivalence sont appelées les orbites. Le choix du mot orbite est un clin d'oeil à un exemple facile d'opération de groupe, où E est le plan affine euclidien et G le groupe des rotations autour d'un centre O donné, avec (r,M)$\rightarrow$r(M). Les orbites sont alors les cercles concentriques, de centre O.

3) Stabilisateur d'un élément
Pour tout x dans E, on considère S(x)= $\lbrace \sigma \in G / \sigma . x = x \}$ ; S(x) est un sous-groupe de G, appelé stabilisateur de x.

4) Une première formule de dénombrement
Si G est un groupe fini et si $\omega(x)$ désigne l'orbite de x, alors :

\begin{displaymath}Card(G)=Card(\omega(x))\times Card (S(x))\end{displaymath}

Démonstration Pour un élément y de $\omega(x)$, soit C $_y=\{\sigma \in G / \sigma . x=y\}$. Si $\tau$ est un élément particulier de C$_y$, on peut définir la bijection: C $_y \longrightarrow S(x)$, $\sigma \rightarrow \tau^{-1}\sigma$.
Donc Card(C$_y$)=Card(S(x))
Et :

\begin{displaymath}Card(G)=\displaystyle{\sum_{y\in\omega(x)} Card(C_y)=\sum_{y \in \omega(x)} Card(S(x))=Card(\omega(x))\times Card(S(x))}\end{displaymath}


5) Théorème de Burnside-Frobenius
Soit $\Omega$ l'ensemble des orbites.
Pout tout élément $\sigma$ de G, on pose : A $_\sigma=\{x\in E / \sigma . x=x \}$ Alors :

\begin{displaymath}Card(\Omega)={{1}\over{Card(G)}}\displaystyle{\sum_{\sigma\in G} Card(A_\sigma)}.\end{displaymath}


Démonstration Soit U= $\{(\sigma,x)\in G\times E/ \sigma.x=x\}$.

\begin{displaymath}Card(U)=\displaystyle{\sum_{\sigma\in G} Card(A_\sigma)}\end{displaymath}


\begin{displaymath}=\displaystyle{\sum_{x\in E} Card(S(x))=\sum_{\sigma\in G} \s...
...{Card(G))}\over{Card(\omega)}}=\sum_{\omega\in \Omega} Card(G)}\end{displaymath}


\begin{displaymath}=Card(\Omega)\times Card(G).\end{displaymath}



next up previous
suivant: Application au problème des monter: Roulettes et colliers précédent: Problèmes
Pierre_Renfer_les-mathematiques
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page