Griess Robert

Imaginez une collection de 26 objets mathématiques très particuliers : les groupes sporadiques. Un seul y est le plus grand par le nombre de ses éléments : le groupe Monstre, qui en possède environ 8 × 10⁵³.

Robert Griess est le mathématicien qui a construit ce groupe en 1982, directement et sans ordinateur. Le surnom « le géant sympathique » traduit l'étrangeté de ce géant de la théorie des groupes : un objet défini par des règles précises, mais d'une taille difficile à imaginer.

Robert Louis Griess est un mathématicien américain né en 1945 et spécialisé en théorie des groupes. Cette branche étudie des ensembles munis d'une opération dont les règles permettent de composer leurs éléments. Dans ce cadre, Griess est surtout associé à la construction du groupe Monstre, également appelé groupe de Fischer-Griess.

Le groupe Monstre est un groupe fini simple et sporadique. « Fini » signifie qu'il possède un nombre déterminé d'éléments ; « simple » signifie qu'il n'a aucun sous-groupe normal propre non trivial ; « sporadique » le place parmi les 26 groupes qui apparaissent comme des cas exceptionnels dans la classification des groupes finis simples. Le Monstre est le plus grand de ces 26 groupes et possède environ 8 × 10⁵³ éléments.

La construction réalisée par Griess en 1982 est remarquable parce qu'elle a été menée directement, sans recours à l'ordinateur. Ses travaux ont joué un rôle clé dans l'achèvement de la classification des groupes finis simples. Il a lui-même donné au Monstre le surnom anglais « the friendly giant », traduit par « le géant sympathique ». Griess est professeur à l'université du Michigan.

On peut situer le groupe Monstre dans la famille décrite par la source, sans effectuer une opération sur ses éléments. Le but est de vérifier successivement sa nature, sa place et son ordre, c'est-à-dire le nombre de ses éléments.

Les données sont les suivantes : le groupe étudié est le groupe Monstre ; la famille contient 26 groupes sporadiques ; le Monstre est le plus grand ; son ordre vaut environ 8 × 10⁵³ ; la construction est attribuée à Robert Griess en 1982.

Première étape : on applique le critère d'appartenance. Si le groupe étudié est l'un des 26 cas de la collection exceptionnelle, alors on le classe parmi les groupes sporadiques. La donnée fournie indique que le groupe étudié est le Monstre et qu'il appartient à cette collection : la propriété « sporadique » est donc retenue.

Deuxième étape : on applique les deux critères annoncés pour cette fiche : « fini » signifie posséder un nombre déterminé d'éléments, et « simple » signifie n'avoir aucun sous-groupe normal propre non trivial. Les données de l'exemple attribuent ces deux propriétés au groupe Monstre ; elles permettent donc de conclure qu'il est fini simple, sans présenter cette conclusion comme un calcul sur ses éléments.

Troisième étape : on applique le critère de comparaison « plus grand » : il porte sur le nombre d'éléments, donc sur l'ordre des groupes. La donnée fournie place le Monstre au premier rang de la collection ; son ordre approximatif, donnée indépendante déjà annoncée, est de 8 × 10⁵³ éléments. Cette écriture est une approximation, et non un dénombrement à recalculer à partir des 26 groupes.

Contrôle final : la grille de lecture retrouve bien les trois propriétés annoncées — sporadique, fini simple et plus grand des 26 — puis rattache le résultat à la donnée historique fournie : construction par Griess en 1982, sans ordinateur. Le lecteur peut ainsi refaire le classement à partir des critères et des données, tout en distinguant ce raisonnement de l'ordre approximatif, qui reste une information donnée.

Pour lire une notice sur les groupes finis simples, on peut utiliser le groupe Monstre comme repère : son nom, son caractère sporadique et son ordre approximatif permettent d'identifier l'objet décrit.

Pour comprendre la contribution de Griess, on distingue le résultat mathématique de la manière de l'obtenir. La construction du groupe Monstre en 1982, directement et sans ordinateur, constitue le fait historique à retenir.

Pour replacer ce résultat dans son domaine, on revient à la classification des groupes finis simples. Cette entrée est préférable à une lecture isolée du nombre 8 × 10⁵³, qui mesure la taille du groupe sans expliquer sa place dans la théorie.

Le groupe Monstre ne doit pas être confondu avec l'ensemble des groupes sporadiques. Le critère qui les sépare est l'appartenance : les groupes sporadiques forment la collection des 26 cas, tandis que le Monstre en est un membre particulier, le plus grand.

Le groupe Monstre ne doit pas non plus être confondu avec la classification des groupes finis simples. La classification désigne le cadre qui rassemble les résultats ; le Monstre désigne l'un des objets classés. Une phrase qui parle des 26 groupes décrit le cadre, une phrase qui donne environ 8 × 10⁵³ éléments décrit le Monstre.

Le nombre 8 × 10⁵³ est annoncé comme approximatif. Il ne faut donc pas le lire comme une égalité exacte ni fabriquer un décompte élément par élément à partir de cette valeur. Le bon réflexe consiste à conserver le mot « environ ».

Le mot « plus grand » porte ici sur le nombre d'éléments du groupe. Il ne signifie ni que le Monstre contient chacun des 25 autres groupes, ni qu'il est le plus important selon une mesure visuelle. Pour éviter cet abus, on précise toujours qu'il s'agit du plus grand des 26 groupes sporadiques finis simples.

Enfin, « construit sans ordinateur » décrit la méthode historique attribuée à Griess en 1982. Cette précision ne signifie pas que les ordinateurs sont étrangers à toute étude ultérieure ; elle qualifie l'exploit de construction rapporté par la source.

Pour replacer le groupe Monstre dans le cadre qui donne son sens à l'adjectif « sporadique », consultez classification des groupes finis simples. Vous y gagnerez une vue d'ensemble de la famille à laquelle le résultat de Griess appartient.