Classification des groupes simples finis

Classification des groupes simples finis

La classification des groupes finis simples, aussi appelée le théorème énorme, est un vaste corps de travail en mathématiques, principalement publié entre environ 1955 et 1983, qui a pour but de classer tous les groupes simples finis. En tout, le travail comprend des dizaines de milliers de pages dans 500 articles par plus de 100 auteurs.

Sommaire

La classification

Dans l'étude de la classification des groupes finis simples, les mathématiciens ont été amenés à découvrir des êtres mathématiques inattendus qu'ils appelèrent des groupes sporadiques pour marquer ce qu'ils ont d'inhabituel. Si elle est correcte, la classification montre que chaque groupe fini simple est de l'un des types suivants :

Le théorème a des applications répandues dans beaucoup de branches de mathématiques, comme les questions sur les groupes finis peuvent souvent être réduites à des questions sur les groupes finis simples, qui par la classification peuvent être réduits à une énumération de cas.

Quelquefois le groupe de Tits est regardé comme un groupe sporadique (dans ce cas, il existe 27 groupes sporadiques) parce qu'il n'est pas à strictement parler un groupe de type de Lie.

Scepticisme restant sur la démonstration

Certains doutes persistent si ces articles fournissent une démonstration complète et correcte, en raison de la longueur, de la complexité du travail publié et du fait que des parties de la démonstration supposée restent non-publiées. Jean-Pierre Serre est un sceptique notable de la réclamation d'une démonstration.

Pendant plus d'une décennie, les experts ont connu un « trou sérieux » (en accord avec Michael Aschbacher (en)) dans la classification (non-publiée) des groupes quasi-minces (en) due à Geoff Mason. En 1983, Daniel Gorenstein (en) annonça la classification des groupes finis simples, basée en partie sur l'impression que le cas quasi-mince était achevé. Aschbacher remplit ce trou au début des années 1990, aussi non-publié. Aschbacher et Steve Smith ont publié une démonstration différente comprenant deux volumes d'environ 1 300 pages.

Une classification de deuxième génération

À cause de l'extrême longueur de la démonstration de classification des groupes simples finis, il y a eu beaucoup de travaux, appelés « révisionnisme », originellement conduits par Daniel Gorenstein, dans la recherche d'une démonstration plus simple. C'est ce que l'on a appelé la démonstration de classification de deuxième génération.

Six volumes ont été publiés en 2005 et les manuscrits existent pour la plupart du reste. Les deux volumes d'Aschbacher et de Smith ont été écrits pour fournir une démonstration pour le cas quasi-mince qui marcherait avec la démonstration de première et deuxième génération. Il a été estimé que la nouvelle démonstration serait approximativement de 5 000 pages lorsqu'elle sera complète. Les nouvelles démonstrations ont été écrites dans un style plus généreux.

Gorenstein et ses collaborateurs ont donné plusieurs raisons pour lesquelles une démonstration plus simple était possible. La plus importante est que l'énoncé final et correct est maintenant connu. Les techniques qui peuvent être appliquées seront suffisantes pour les groupes actuels. Par contraste, pendant la démonstration originale, personne ne savait combien de groupes sporadiques existaient, et en fait, certains (par exemple, les groupes de Janko) ont été découverts dans le processus d'essai de démonstration des cas du théorème de classification. En conséquence, des techniques extrêmement générales ont été appliquées.

De nouveau, parce que la conclusion finale était inconnue pendant une longue période et on ne l'imaginait même pas, la démonstration originale consista en beaucoup de théorèmes complets séparés, classifiant les cas particuliers importants. La plus grosse partie du travail a été consacrée à l'analyse d'un grand nombre de cas particuliers. En tant qu'éléments d'une plus grande démonstration, bon nombre de ces cas particuliers ont pu être postposés jusqu'à ce que des propositions plus puissantes puissent être appliquées. Le prix payé de cette révision est que les théorèmes de première génération n'ont plus de démonstrations courtes mais ils dépendent de la classification complète.

Bon nombre des théorèmes de la première génération se recouvraient ce qui divisait les cas possibles de façon inefficace. La démonstration révisée relie les différentes subdivisions de cas, éliminant ces redondances.

Finalement, les théoriciens des groupes finis ont acquis plus d'expérience et de nouvelles techniques plus efficaces.

Références



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Classification des groupes simples finis de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Catégorie des groupes — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Théorie des Groupes — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Liste des groupes finis simples — En mathématiques, la classification des groupes finis simples établit que chacun de ces groupes est soit un cyclique, soit alterné, soit membre d une des seize familles de groupes de type de Lie (incluant le groupe de Tits), soit l un des 26… …   Wikipédia en Français

  • Liste Des Groupes Finis Simples — En mathématiques, la classification des groupes finis simples établit que chacun de ces groupes est soit un cyclique, soit alterné, soit membre d une des seize familles de groupes de type de Lie (incluant le groupe de Tits), soit l un des 26… …   Wikipédia en Français

  • GROUPES (mathématiques) - Représentation linéaire des groupes — Développée d’abord comme moyen de classification des différentes apparences du même groupe G comme groupe de transformations linéaires, la théorie des représentations linéaires est devenue un des outils les plus puissants pour l’étude de la… …   Encyclopédie Universelle

  • Groupes finis simples — Liste des groupes finis simples En mathématiques, la classification des groupes finis simples établit que chacun de ces groupes est soit un cyclique, soit alterné, soit membre d une des seize familles de groupes de type de Lie (incluant le groupe …   Wikipédia en Français

  • Représentation des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • Représentations des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • GROUPES (mathématiques) - Groupes finis — Née de l’étude des groupes de permutations des racines d’équations, la théorie des groupes finis s’est développée indépendamment depuis le Traité des substitutions et des équations algébriques (1870) de Camille Jordan. Après les travaux… …   Encyclopédie Universelle

  • GROUPES (mathématiques) - Groupes de Lie — La théorie des groupes de Lie, fondée dans la période de 1870 1880 par le mathématicien norvégien Sophus Lie, a d’abord été considérée comme une partie assez marginale des mathématiques, liée à des problèmes touchant les équations différentielles …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”