| Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées | ||||||
On dit qu'un groupe est fini si son cardinal est fini. Son cardinal est alors noté
et est appelé ordre du groupe.
Pour tout élément de on définit
l'ordre de comme le plus petit entier non nul tel qu'en notant
l'élément neutre on ait .
Si est un groupe, on dit qu'un sous-ensemble de
engendre ce groupe si tous les éléments de peuvent
s'écrire comme produit (par la loi *) d'éléments de .
Un groupe engendré par un singleton {} est dit monogène.
Si de plus le groupe est fini, on dit qu'il est cyclique. L'ordre du groupe est alors l'ordre du singleton et un
tel groupe est évidemment commutatif.
Tous les éléments d'un groupe fini ont un ordre inférieur à .
Un résultat fondamental dans l'étude des groupes finis est le Théorème de Lagrange :
Soit un groupe fini et un sous-groupe de . L'ordre de divise l'ordre de .
Les exemples de groupes finis sont nombreux en mathématiques, on peut en donner les plus courants :
;
;


