groupe tétraédrique

Imaginez un tétraèdre régulier dont les quatre sommets portent les lettres A, B, C et D. On peut le tourner, le retourner ou le réfléchir, puis constater qu'il occupe exactement la même place. Chaque mouvement ainsi obtenu est une symétrie.

Le groupe tétraédrique rassemble les 24 symétries possibles et leur composition. Pour les reconnaître, il suffit de suivre la nouvelle place des quatre sommets : toute permutation de A, B, C et D correspond à une unique symétrie du tétraèdre.

Le groupe tétraédrique complet est l'ensemble des isométries de l'espace qui envoient un tétraèdre régulier sur lui-même. La loi du groupe est la composition des isométries. Une telle transformation permute les quatre sommets A, B, C et D ; inversement, chaque permutation de ces sommets est réalisée par une unique isométrie. Cette correspondance respecte la composition, d'où un isomorphisme avec le groupe symétrique S₄ et ses 4! = 24 éléments.

Les 24 éléments se répartissent selon leur permutation des sommets : l'identité ; 6 réflexions correspondant aux transpositions ; 8 rotations de ±120° correspondant aux cycles de longueur 3 ; 3 demi-tours correspondant aux produits de deux transpositions disjointes ; et 6 roto-réflexions correspondant aux cycles de longueur 4. Ces cinq familles ont donc respectivement 4, 2, 1, 0 et 0 sommet fixe.

Une isométrie est directe lorsqu'elle préserve l'orientation. Les 12 isométries directes sont l'identité, les 8 rotations de ±120° et les 3 demi-tours. Elles correspondent aux permutations paires et forment le sous-groupe A₄. Les 12 autres isométries, réflexions et roto-réflexions, renversent l'orientation.

La structure repose d'abord sur les quatre sommets A, B, C et D : leur image détermine entièrement une symétrie. Les six arêtes donnent les six plans de réflexion, chacun fixant deux sommets et échangeant les deux autres. Les quatre couples formés par un sommet et la face opposée donnent les axes des huit rotations de ±120°. Enfin, les trois paires d'arêtes opposées donnent les axes des trois demi-tours.

Les permutations enregistrent ces dépendances sans conserver le dessin spatial. Leur parité sépare les mouvements directs des mouvements indirects, tandis que leur décomposition en cycles donne l'ordre et le nombre de sommets fixes. La taille, la couleur et l'orientation initiale du tétraèdre ne changent pas cette structure de groupe.

Prenons le tétraèdre régulier de sommets A, B, C et D. Considérons la transformation qui envoie A sur B, B sur C, C sur A et laisse D fixe. La figure associe ce cycle au mouvement spatial correspondant.

1. La permutation des sommets est le cycle (A B C) ; elle comporte un sommet fixe, D.

2. Le mouvement est donc une rotation autour de l'axe passant par D et par le centre de la face ABC. Son angle orienté vaut +120° dans le sens qui envoie A sur B.

3. Une deuxième application envoie A sur C, C sur B et B sur A : c'est la rotation de +240°, ou de −120°. Une troisième application ramène chaque sommet à sa place.

Le contrôle est immédiat : le cycle a longueur 3, donc la rotation est d'ordre 3. Comme un cycle de longueur 3 est une permutation paire, cette rotation appartient au sous-groupe A₄ des 12 isométries directes.

Pour inventorier les symétries du solide, on suit les images de A, B, C et D plutôt que de manipuler le tétraèdre dans l'espace. La décomposition de la permutation en cycles donne alors la famille du mouvement et son ordre.

Pour savoir si un mouvement conserve l'orientation, on regarde la parité de sa permutation. Une permutation paire conduit à une rotation ou à l'identité ; une permutation impaire conduit à une réflexion ou à une roto-réflexion.

Pour composer deux symétries, on compose leurs permutations dans le même ordre d'action. Cette traduction est préférable à un dessin lorsque plusieurs mouvements s'enchaînent, car elle permet de contrôler exactement l'image de chaque sommet.

Le groupe tétraédrique complet ne se confond pas avec le groupe des seules rotations du tétraèdre. Le premier compte 24 éléments et est isomorphe à S₄ ; le second en compte 12 et est isomorphe à A₄. Une réflexion appartient au premier, jamais au second.

Le groupe tétraédrique n'est pas le tétraèdre lui-même. Le solide fournit l'objet géométrique ; le groupe décrit les transformations qui le laissent globalement invariant et la manière de les composer.

L'isomorphisme avec S₄ n'identifie pas une permutation abstraite à un déplacement quelconque de l'espace. Il affirme que, pour ce tétraèdre régulier, la permutation des quatre sommets code une unique isométrie et respecte la composition.

« Laisser le tétraèdre globalement invariant » ne signifie pas fixer chacun de ses points. Une rotation de 120° déplace trois sommets, mais l'ensemble du solide coïncide encore avec lui-même. Pour détecter ce piège, il faut comparer l'ensemble obtenu, pas les positions individuelles.

Le décompte 24 repose sur la régularité du tétraèdre. Si les six arêtes n'ont pas toutes la même longueur, une permutation arbitraire des sommets ne préserve généralement plus les distances ; il faut alors recalculer les isométries du solide considéré.

Le nombre de sommets fixes ne suffit pas toujours à identifier une transformation. Les 3 demi-tours et les 6 roto-réflexions n'en fixent aucun. Leur structure cyclique les distingue : deux cycles de longueur 2 pour un demi-tour, un cycle de longueur 4 pour une roto-réflexion.

Le sens d'un cycle dépend de la convention de composition choisie. Pour éviter une inversion, il faut annoncer les images des sommets, comme A vers B, puis appliquer toutes les compositions selon la même convention.

La fiche tétraèdre permet de retrouver les sommets, les faces et les arêtes sur lesquels agissent les 24 isométries.

La correspondance avec S₄ ouvre ensuite une lecture algébrique : les types de mouvements deviennent des types de cycles, la composition devient celle des permutations et le sous-groupe A₄ traduit la conservation de l'orientation.