Théorème 5/8 (proba de commutativité)
Bonjour,
j'écris ce message pour vous partager un résultat que je trouve rigolo et qui n'est pas si connu que cela: le théorème 5/8.
La question est : quelle est la probabilité que deux éléments choisis au hasard dans un groupe $G$ fini commutent ?
Autrement dit on regarde $$
p(G) = \frac{1}{\#\, G^2} \big\{ (g,g') \in G^2 \mid gg'=g'g \big\}.
$$ Il est clair que $p(G) = 1$ si et seulement si $G$ est abélien. Et si $G$ n'est pas abélien?
Théorème. Si $G$ n'est pas abélien, alors $p(G) \leq \frac{5}{8}$.
Autrement dit, dans un groupe non abélien, la probabilité que deux éléments choisis au hasard commutent est inférieure ou égale à $\frac{5}{8}$ (on peut montrer que cette borne est atteinte, par exemple pour le groupe diédral d'ordre 8).
Démonstration. On procède en plusieurs étapes.
Étape 1. Soit $Z_G$ le centre de $G$ (le sous-groupe normal des éléments de $G$ qui commutent avec tous les éléments de $G$). Comme $G$ n'est pas abélien, $Z_G \neq G$ donc $[G \colon Z_G] \geq 2$. Si $[G \colon Z_G] = 2$, alors $G/Z_G$ est isomorphe à $\Z/2\Z$ qui est cyclique, ce qui implique que $G$ est abélien, ce qui n'est pas possible. De même, si $[G \colon Z_G] = 3$, alors $G/Z_G$ est isomorphe à $\Z/3\Z$ qui est cyclique, ce qui implique aussi que $G$ est abélien. Finalement, $[G \colon Z_G] \geq 4$, autrement dit $$
\# \, Z_G \leq \frac{\#\,G}{4}.
$$ Étape 2. Pour $g \in G$, soit $C(g)$ le centralisateur de $g$, c'est-à-dire le sous-groupe des éléments de $G$ qui commutent avec $g$. Si $g$ n'est pas dans $Z(G)$ (possible car $G$ n'est pas abélien), $C(g) \neq G$ donc d'après le théorème de Lagrange, $\#\, C(g) \leq \frac{\#\, G}{2}$, autrement dit $$
\# \forall g \in G \setminus Z_G,\quad \#\,C(g) \leq \frac{\#\,G}{2}.
$$ Étape 3. Deux éléments $g$ et $g'$ de $G$ commutent si et seulement si $g' \in C(g)$ d'où $$
\big\{ (g,g') \in G^2 \colon gg'=g'g \big\} = \bigcup_{g \in G} \big( \{g\} \times C(g) \big)
$$ et donc $$
p(G) \leq \frac{1}{\#\, G^2} \sum_{g \in G} \#\,C(G) = \frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,C(g)+ \frac{1}{\#\, G^2} \sum_{g \in G \setminus Z_G} \#\,C(g).
$$ Or, si $g \in Z_G$, on a $C(g) = G$ donc $$
\frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,C(g) = \frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,G=\frac{\#\,Z_g}{\# \,G}.
$$ D'après le résultat de l'étape 2, $$
p(G) \leq \frac{\#\,Z_G}{\#\,G} + \frac{1}{2\,\# G} \#( G \setminus Z) = \frac{1}{2} + \frac{1}{2} \times \frac{\#\,Z_G}{\#\,G}
$$ et d'après le résultat de l'étape 1, $$
p(G) \leq \frac{1}{2} + \frac{1}{2} \times \frac{1}{4} = \frac{5}{8}.
$$ Il y a sûrement des démonstrations utilisant des outils plus savants...
j'écris ce message pour vous partager un résultat que je trouve rigolo et qui n'est pas si connu que cela: le théorème 5/8.
La question est : quelle est la probabilité que deux éléments choisis au hasard dans un groupe $G$ fini commutent ?
Autrement dit on regarde $$
p(G) = \frac{1}{\#\, G^2} \big\{ (g,g') \in G^2 \mid gg'=g'g \big\}.
$$ Il est clair que $p(G) = 1$ si et seulement si $G$ est abélien. Et si $G$ n'est pas abélien?
Théorème. Si $G$ n'est pas abélien, alors $p(G) \leq \frac{5}{8}$.
Autrement dit, dans un groupe non abélien, la probabilité que deux éléments choisis au hasard commutent est inférieure ou égale à $\frac{5}{8}$ (on peut montrer que cette borne est atteinte, par exemple pour le groupe diédral d'ordre 8).
Démonstration. On procède en plusieurs étapes.
Étape 1. Soit $Z_G$ le centre de $G$ (le sous-groupe normal des éléments de $G$ qui commutent avec tous les éléments de $G$). Comme $G$ n'est pas abélien, $Z_G \neq G$ donc $[G \colon Z_G] \geq 2$. Si $[G \colon Z_G] = 2$, alors $G/Z_G$ est isomorphe à $\Z/2\Z$ qui est cyclique, ce qui implique que $G$ est abélien, ce qui n'est pas possible. De même, si $[G \colon Z_G] = 3$, alors $G/Z_G$ est isomorphe à $\Z/3\Z$ qui est cyclique, ce qui implique aussi que $G$ est abélien. Finalement, $[G \colon Z_G] \geq 4$, autrement dit $$
\# \, Z_G \leq \frac{\#\,G}{4}.
$$ Étape 2. Pour $g \in G$, soit $C(g)$ le centralisateur de $g$, c'est-à-dire le sous-groupe des éléments de $G$ qui commutent avec $g$. Si $g$ n'est pas dans $Z(G)$ (possible car $G$ n'est pas abélien), $C(g) \neq G$ donc d'après le théorème de Lagrange, $\#\, C(g) \leq \frac{\#\, G}{2}$, autrement dit $$
\# \forall g \in G \setminus Z_G,\quad \#\,C(g) \leq \frac{\#\,G}{2}.
$$ Étape 3. Deux éléments $g$ et $g'$ de $G$ commutent si et seulement si $g' \in C(g)$ d'où $$
\big\{ (g,g') \in G^2 \colon gg'=g'g \big\} = \bigcup_{g \in G} \big( \{g\} \times C(g) \big)
$$ et donc $$
p(G) \leq \frac{1}{\#\, G^2} \sum_{g \in G} \#\,C(G) = \frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,C(g)+ \frac{1}{\#\, G^2} \sum_{g \in G \setminus Z_G} \#\,C(g).
$$ Or, si $g \in Z_G$, on a $C(g) = G$ donc $$
\frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,C(g) = \frac{1}{\#\, G^2} \sum_{g \in Z_G} \#\,G=\frac{\#\,Z_g}{\# \,G}.
$$ D'après le résultat de l'étape 2, $$
p(G) \leq \frac{\#\,Z_G}{\#\,G} + \frac{1}{2\,\# G} \#( G \setminus Z) = \frac{1}{2} + \frac{1}{2} \times \frac{\#\,Z_G}{\#\,G}
$$ et d'après le résultat de l'étape 1, $$
p(G) \leq \frac{1}{2} + \frac{1}{2} \times \frac{1}{4} = \frac{5}{8}.
$$ Il y a sûrement des démonstrations utilisant des outils plus savants...
Réponses
-
Je crois que c'est la démonstration usuelle.
Un fait amusant est qu'on utilise quasiment jamais qu'on a affaire à des cardinaux et pas à une autre mesure de probabilité. En fait si $G$ est muni d'une mesure de probabilité suffisamment compatible, alors on peut faire la même preuve. Il peut être amusant de repérer dans la preuve quelles propriétés de $\frac{\# }{\# G}$ on a utilisé, pour savoir ce que "suffisamment compatible" veut dire. -
Et quelle est la constante optimale si on suppose que $G$ est simple ?
-
Ma petite contribution !
C'est Erdös et Turan qui ont établi les premiers la formule $\textrm{P}(G) = k/n$, où $k$ est le nombre de classes de conjugaison et $n$ l'ordre de $G$. -
Pour pas mal de développements sur ce sujet, on ne recommandera jamais assez ce très bon mémoire : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.396.9197&rep=rep1&type=pdf
-
Génial noix de totos !
-
Bonjour,
Je ne sais plus qui a évoqué le théorème $\frac58$ dans je ne sais plus quel fil, je ne sais plus quand (il n'y a pas très longtemps quand même). Mais je ne sais pas si ce que je raconte là est très utile. (:P) -
Merci Maxtimax !...
Et puisque tu as parlé d'une généralisation aux groupes compacts, je joins une feuille dégotée sur le net qui va dans ton sens.
-
Très intéressant ndt (tu)
-
Peut-être que ça peut vous intéresser trouver en surfant sur le web
https://lmrs.univ-rouen.fr/sites/lmrs.univ-rouen.fr/files/membres/u92/p2.pdf
Voir théorème 6 et 7
Un deuxième article
https://lmrs.univ-rouen.fr/sites/lmrs.univ-rouen.fr/files/membres/u92/p4.pdf
http://math.univ-lyon1.fr/homes-www/Algebrie/Proba_commut.pdf -
@Poirot Votre lien ne fonctionne plus...
-
Il s'agit de ce mémoire.
-
@Poirot Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 2
2 Invités