## [Groupe Fini](/fr/node/63269) Définition Un groupe dont l'ensemble sous-jacent a une cardinalité finie |G| = n pour un certain entier naturel n. L'ordre du groupe est le nombre de ses éléments ; de nombreux théorèmes se spécialisent au cas fini et exploitent des arguments de comptage. ## Principe Principe La finitude permet un contrôle combinatoire et arithmétique : dans les groupes finis les ordres des éléments divisent l'ordre du groupe dans de nombreux contextes, les indices de sous-groupes sont des entiers, et des outils d'énumération (comptage de classes à gauche, orbite-stabilisateur) fournissent des contraintes structurelles et des résultats d'existence comme les théorèmes de Sylow. ## Démonstration Démonstration Le groupe symétrique S_n sur n lettres est fini d'ordre n! ; le groupe cyclique Z/nZ est fini d'ordre n. Des groupes matriciels finis comme GL(m, q) sur un corps fini ont des ordres calculables explicitement et une structure de sous-groupes riche utilisée en combinatoire et théorie des représentations. ## Mauvaise application Mauvaise application Appliquer des intuitions sur les groupes infinis (p. ex. existence de sous-groupes cycliques arbitrairement grands) aux groupes finis, ou supposer une classification naïve sans invoquer les théorèmes spécifiques aux finis. Une autre erreur est de traiter des propriétés basées sur la cardinalité comme invariantes sous des applications non bijectives. ## Conséquence Conséquence Les groupes finis permettent des techniques discrètes puissantes : théorie de Sylow, théorème de Cauchy sur les ordres d'éléments, emploi de la théorie des caractères et des représentations finies ; dans de nombreux contextes une taxonomie complète est possible ou abordable via des familles et des cas sporadiques. ## Inversion Inversion Les groupes infinis n'ont pas de contraintes numériques globales : les ordres des éléments ne doivent pas diviser un ordre total, les méthodes de comptage échouent, et apparaissent des phénomènes comme des groupes infinis sans torsion ou de cardinalité du continu, nécessitant des outils différents (topologie, géométrie, combinatoire infinie). ## Limite Limite Cette entrée se limite aux groupes avec ensemble sous-jacent fini. Elle exclut les groupes infinis, les groupes profinis (limites projectives de groupes finis munis d'une topologie) et les groupes munis d'une structure continue ou algébrique supplémentaire sauf si l'ensemble sous-jacent est fini. ## Tension sémantique Tension sémantique « Groupe fini » peut être confondu avec « groupe de permutations fini » ou « groupe matriciel fini » ; la tension réside entre la simple cardinalité abstraite et les réalisations concrètes qui apportent une structure supplémentaire (actions, représentations) modifiant les techniques et interprétations disponibles. ## Synthèse Synthèse Un groupe fini est un groupe à nombre fini d'éléments ; la finitude permet des méthodes arithmétiques et de comptage qui fournissent des résultats d'existence et de classification puissants et spécifiques au cadre discret.