Profil de Didier

Informations :

Inscrit le :
16/10/2016
Dernière connexion :
18/01/2021
Inscrit à l'agrégation :
2017, option C

Ses versions de développements :

  • Développement :
  • Remarque :
    Je n'ai pas de référence particulière. L'action naturelle de $Isom^+$ sur les diagonales du cube donne immédiatement un morphisme à valeurs dans $\mathfrak{S}_4$ qui se trouve être une bijection : l'injectivité est claire (repère affine conservé) et la surjectivité vient de la réalisation des permutations (par rotation d'angle $\pi$). Enfin, le centre de symétrie implique que Isom $\simeq$ Isom$^+ \times \mathbb{Z}/2\mathbb{Z}$. Pour le tétraèdre, on réalise les permutations grâce à des réflexions selon les plans médiateurs des paires de sommets. L'injectivité est obtenue par conservation d'un repère affine. Enfin, comme $\mathfrak{A}_4$ est le seul sous-groupe d'indice $2$ de $\mathfrak{S_4}$, on a Isom$^+ \simeq \mathfrak{A}_4$.

Ses plans de leçons :