Groupe Fini

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.