title: Groupe simple d'ordre 360
text: # Groupe simple d'ordre 360
  
  En mathématiques, et plus précisément en théorie des groupes, un groupe simple est un groupe non trivial qui n'admet aucun sous-groupe distingué autre que lui-même et son sous-groupe trivial.
  
  Frank Nelson Cole a démontré en 1893 que tous les groupes simples d'ordre 360 sont isomorphes entre eux. Ils sont donc isomorphes au groupe alterné $A_6$ et au groupe linéaire spécial projectif $\mathrm {PSL} _{2}(\mathbb {F} _{9})$ (groupe linéaire spécial projectif d'un espace vectoriel de dimension 2 sur un corps à 9 éléments), puisque ces deux groupes sont simples et d'ordre 360.
  
  ## Principe de la démonstration
  
  La démonstration de Cole repose essentiellement sur le fait que les 3-sous-groupes de Sylow d'un groupe simple G d'ordre 360 sont au nombre de 10, se coupent trivialement deux à deux et sont non cycliques (donc chaque 3-sous-groupe de Sylow de G, étant d'ordre 9, est produit direct de deux groupes d'ordre 3).
  
  On en déduit que G est isomorphe à un sous-groupe H du groupe alterné $A_{10}$ possédant les propriétés suivantes :
  
  * H est simple et d'ordre 360 ;
  * pour tout 3-sous-groupe de Sylow P de H, il existe un et un seul point de $\{1,2,\ldots ,10\}$ qui est fixé par tout élément de P ;
  * pour tout point x de $\{1,2,\ldots ,10\}$, il existe un et un seul 3-sous-groupe de Sylow P de H tel que tout élément de P fixe x ;
  * si P est un 3-sous-groupe de Sylow de H, si x désigne l'unique point de $\{1,2,\ldots ,10\}$ fixé par tout élément de P (voir propriété 2.), le stabilisateur de x dans le groupe H est $N_H(P)$ ;
  * H n'a pas d'élément d'ordre 9 ;
  * tout élément d'ordre 3 de H a la structure cyclique 3-3-3.
  
  On démontre ensuite que les sous-groupes H de $A_{10}$ possédant ces propriétés sont tous isomorphes entre eux.
  
  Il existe une autre démonstration, reposant sur la théorie des caractères des représentations des groupes finis.
  
  