Développement : Non-isomorphisme entre PSL(4,F_2) et PSL(3,F_4)

Détails/Enoncé :

On démontre que les groupes $PSL(4,\mathbb{F}_2)$ et $PSL(3,\mathbb{F}_4)$ ne sont pas isomorphes, bien qu'ils soient simples et de même cardinal.

Auteur :
CV
Remarque :
C'est fait dans l'un des H2G2, je ne sais plus exactement lequel.
Fichier :
- non-isomorphisme entre PSL(4,F2) et PSL(3,F4).pdf

Auteur :
20160
Remarque :
Développement rigolo, qui possède un très bon recasage mais je n'ai pas voulu abuser trop non plus alors je suis resté calme. Petit life goal perso : faire pouffer le jury quand on sort calmement : « $(4^3 - 1)(4^3 - 4)(4^3 - 16)/9 = 20160$ ». Malheureusement le jour J le jury a boudé ce dév en faveur de Chevalley-Warning, sélavy ! Point faible : il faut savoir montrer que les $PSL_n(\mathbb{F}_q)$ sont simples, il faut pour cela avoir fait des câlins au Perrin récurremment.
Fichier :
- 20160.pdf