Groupes finis simples, briques de tous les groupes finis

Intervenant 10:00

Bienvenue à tous dans le podcast du magazine Tangente. Pour ceux de notre public qui pensent que les mathématiques sont une science complètement figée...

Intervenant 20:08

Oui, c'est souvent ce qu'on imagine, les grandes découvertes qui s'arrêtent sagement au XIXe siècle.

Intervenant 10:13

Exactement. Eh bien là, il faut se préparer à un choc. Il faut imaginer une seule démonstration mathématique. Une quête vraiment vertigineuse, commencée il y a plus d'un siècle. Et qui a mobilisé du monde. Ah mais carrément. Déclarée officiellement terminée dans les années 80 et qui pèse la bagatelle de 15 000 pages réparties dans des centaines d'articles. C'est juste démesuré. Et le détail qui défie l'entendement pour moi, c'est que cette démonstration, elle est encore en train d'être réécrite aujourd'hui même.

Intervenant 20:42

C'est un véritable monument. Et le mot vertige que tu as employé, il est parfaitement choisi. Cette exploration, elle nous plonge dans ce que la communauté mathématique nomme avec beaucoup de respect, et parfois un peu d'effroi, avons-le, le théorème géant. L'énorme

Intervenant 10:54

théorème, oui.

Intervenant 20:56

Voilà. Et l'objectif de cette montagne de papier, c'est la classification des groupes finis simples.

Intervenant 11:01

D'accord.

Intervenant 21:02

Sous ce jargon technique, se cache vraiment l'une des entreprises intellectuelles et collaboratives les plus colossales de toute l'histoire de l'humanité, en fait.

Intervenant 11:10

Oui, parce que ce n'est pas qu'une simple liste d'équations, c'est une vraie épopée avec ses crises, ses rebondissements.

Intervenant 21:16

Ah oui, de vrais drames.

Intervenant 11:18

Avec une armée entière de chercheurs mobilisés sur plusieurs continents et des structures tellement massives et étranges qu'elles ont hérité de noms dignes d'un film de science-fiction, genre Le Monstre ou Les Parias.

Intervenant 21:32

Rien que les noms, ça donne le ton.

Intervenant 11:33

Ceux qui nous écoutent feraient bien de s'accrocher, parce qu'on va toucher aux limites absolues de ce que le cerveau humain est capable d'embrasser.

Intervenant 21:40

Totalement. Alors, pour bien saisir l'enjeu d'une preuve de 15 000 pages, je pense qu'il faut commencer par regarder le matériau de base.

Intervenant 11:49

La fondation, oui.

Intervenant 21:50

De quoi parle-t-on quand on évoque un groupe fini simple ? C'est vraiment la fondation de tout l'édifice, en fait.

Intervenant 11:57

Alors, décortiquons ça. Souvent, quand on entend le mot simple dans le langage courant, on pense à un truc facile ou basique, quoi.

Intervenant 22:04

Ouais, mais là, c'est pas du tout ça.

Intervenant 12:06

C'est ça. J'ai l'impression que c'est plutôt au sens de pur ou d'indivisible. Est-ce qu'on peut dire que les groupes simples sont aux mathématiques ce que les nombres premiers sont à l'arithmétique, une sorte de brique fondamentale ?

Intervenant 22:19

Mais c'est exactement ça.

Intervenant 12:21

Un atome avec lequel on pourrait construire absolument toutes les autres structures symétriques.

Intervenant 22:26

C'est la comparaison parfaite. La comparaison avec les nombres premiers, c'est vraiment la clé de voûte pour comprendre cette aventure. Prenons l'arithmétique classique. Le théorème fondamental de l'arithmétique prouve que n'importe quel nombre entier se décompose en un produit unique de nombres premiers.

Intervenant 12:42

D'accord.

Intervenant 22:42

Prenez le nombre 360 par exemple. Si on le casse en morceaux, c'est 2 à la puissance 3 multiplié par 3 au carré multiplié par 5.

Intervenant 12:51

Ah oui, les nombres 2, 3 et 5, ce sont les atomes indivisibles de 360 quoi.

Intervenant 22:55

Exactement. Eh bien, à la fin du XIXe siècle, les mathématiciens Camille, Jordan et Otto Hölder ont prouvé quelque chose de totalement équivalent pour la symétrie.

Intervenant 13:07

D'accord. Donc, les groupes finis simples jouent exactement ce rôle de briques élémentaires.

Intervenant 23:13

Oui, pour absolument tous les groupes finis.

Intervenant 13:15

Attends, attends, si la mécanique est la même, ça veut dire que n'importe quelle structure mathématique aussi complexe et tordue soit-elle, elle peut être désassemblée pour révéler une combinaison de ces fameux groupes simples ?

Intervenant 23:27

C'est exactement l'idée, oui.

Intervenant 13:29

C'est dingue. Trouver tous ces groupes, c'était donc littéralement dresser l'inventaire des composantes de base de l'univers mathématique.

Intervenant 23:37

Dresser un catalogue exhaustif, oui.

Intervenant 13:39

Mais concrètement, qu'est-ce qui rend un groupe simple ? Qu'est-ce qui empêche cette brique de se fracturer à nouveau ?

Intervenant 23:45

Alors là, pour comprendre cette résistance structurelle, il faut convoquer Évariste Galois.

Intervenant 13:51

Ah, le fameux Galois !

Intervenant 23:53

Lors de ses travaux fulgurants au début du XIXe siècle sur la résolution des équations, il a posé une définition très précise. Un groupe G est dit simple s'il ne contient aucun sous-groupe distingué non trivial.

Intervenant 14:07

Waouh ! Ok, là on rentre dans le dur. Sous-groupe distingué non trivial, pour les passionnés qui n'ont pas fait d'algèbre abstrait récemment, on visualise ça comment ?

Intervenant 24:17

Oui, c'est un peu technique.

Intervenant 14:18

C'est quoi un sous-groupe distingué dans notre brique en fait ?

Intervenant 24:21

Physiquement, disons, on peut imaginer un sous-groupe distingué comme un plan de clivage parfait à l'intérieur d'un cristal.

Intervenant 14:28

Ah, je vois.

Intervenant 24:28

C'est une faille structurelle interne, tu vois. Elle préserve les symétries de l'objet global et permet de le diviser proprement en deux structures plus petites et autonomes.

Intervenant 14:38

D'accord. Et le côté non trivial, ça veut dire quoi ?

Intervenant 24:42

Non trivial, ça veut juste dire qu'on ne compte pas le cristal entier, ni le point central immobile qui ne sert à rien.

Intervenant 14:48

Logique.

Intervenant 24:49

Donc, dire qu'un groupe est simple, c'est affirmer qu'il ne possède aucune de ses failles. C'est un diamant mathématique sans aucun plan de clivage.

Intervenant 14:57

Il est structurellement incassable en fait.

Intervenant 25:00

Incassable, exactement.

Intervenant 15:02

Donc s'il n'y a pas de faille, la structure résiste parfaitement à toute tentative de division. C'est fascinant. Et à quoi ressemblent ces diamants incassables ? Quel est, disons, l'exemple le plus accessible pour notre public ?

Intervenant 25:16

L'exemple le plus intuitif, ce sont les groupes cycliques. Imaginez un peu l'arithmétique d'une horloge. C'est ce qu'on note mathématiquement, les groupes Z sur PZ. Oui,

Intervenant 15:25

avec les heures qui

Intervenant 25:26

tournent. Mais il y a une condition absolue. Le nombre d'éléments, qu'on appelle P, doit impérativement être un nombre premier. La mécanique derrière ça, c'est une conséquence directe d'un résultat fondamental, le théorème de Lagrange.

Intervenant 15:41

Ah oui, le théorème de Lagrange, c'est bien celui qui stipule que la taille d'un sous-groupe doit obligatoirement être un diviseur de la taille du groupe total, non ?

Intervenant 25:49

C'est ça. L'ordre du sous-groupe divise l'ordre du

Intervenant 15:51

groupe.

Intervenant 25:52

Prenons un groupe avec un nombre premier d'éléments, disons 7. Les seuls diviseurs de 7 sont 1 et 7. Il est donc mathématiquement impossible d'avoir un sous-groupe de taille 2, 3 ou 4 à l'intérieur.

Intervenant 16:05

La division est verrouillée par la nature même du nombre premier, en fait ?

Intervenant 26:08

Totalement verrouillés. Ces groupes cycliques d'ordre premier sont d'ailleurs les seuls groupes simples finis à être commutatifs.

Intervenant 16:15

C'est-à-dire que l'ordre des opérations n'y change rien, c'est ça ?

Intervenant 26:19

C'est exactement ça.

Intervenant 16:20

Il y a une logique implacable là-dedans. Une fois que la communauté mathématique a compris que ces briques incassables existaient, l'objectif est devenu évident, non ? Il fallait construire une grande table périodique de ces éléments de symétrie.

Intervenant 26:32

La table de Mendeleyev des mathématiques,

Intervenant 16:34

oui.