Groupe simple d'ordre 360

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₁₀ possédant les propriétés suivantes :

1. H est simple et d'ordre 360 ;
2. pour tout 3-sous-groupe de Sylow P de H, il existe un et un seul point de ${\displaystyle \{1,2,\ldots ,10\}}$ qui est fixé par tout élément de P ;
3. pour tout point x de ${\displaystyle \{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 ;
4. si P est un 3-sous-groupe de Sylow de H, si x désigne l'unique point de ${\displaystyle \{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) ;
5. H n'a pas d'élément d'ordre 9 ;
6. 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₁₀ 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[2].