- Theoreme de Cayley
-
Théorème de Cayley
En théorie des groupes, le théorème de Cayley est un résultat élémentaire affirmant que tout groupe se réalise comme sous-groupe d'un groupe de permutations :
Théorème — Tout groupe G est isomorphe à un sous-groupe du groupe symétrique des permutations de G. En particulier, si G est un groupe d'ordre n, il est isomorphe à un sous groupe fini de .
Ce théorème fut démontré en 1854 dans un article intitulé Sur la théorie des groupes comme dépendance de l'équation symbolique θn = 1.
Remarques
A noter qu'il plonge un groupe de cardinal fini n, dans un autre groupe de cardinal n!.
Ce théorème est utilisé pour la théorie de représentation des groupes. Soit G un groupe fini de cardinal n et (e1,...,en) une base d'un espace vectoriel E de dimension n. Le théorème de Caley indique que G est isomorphe à un groupe de permutation des éléments de la base. Chaque permutation peut être prolongée en un endomorphisme qui ici par définition est un automorphisme. Cela définit une représentation du groupe, on parle alors de représentation régulière.
Démonstration
Soit G un groupe et g un élément du groupe. On définit l'application tg de G dans G comme étant la translation à gauche :
Les propriétés élémentaires des groupes montrent que tg est bien une permutation. Soit l'application de G dans son ensemble d'arrivée, partie de , définie par :
- est un morphisme, en effet:
- Par construction, est surjective.
- Montrons alors que est injective. Pour cela considérons g et h deux éléments du groupe. Si tg et th sont égales, alors leurs images de l'élément neutre sont aussi égales et g est égal à h. Ce qui montre que l'application est injective.
Le théorème est ainsi démontré.
- Portail des mathématiques
Catégories : Théorie des groupes | Théorème d'algèbre
Wikimedia Foundation. 2010.