Ordre d'un groupe, ordre d'un élément.
Un groupe G est d'ordre n s'il contient n éléments.
L'ordre d'un élément x ∈ G est le plus petit entier strictement positif m tel que xm = 1 (en notation multiplicative).
Si un tel entier m n'existe pas, on dit que x est d'ordre infini.
Toute permutation peut s'exprimer comme produit de cycles disjoints.
L'ordre d'une permutation p est le plus petit commun multiple k des ordres des cycles disjoints obtenus (pk=id).
Toute permutation peut s'exprimer comme produit de transpositions.
Le support d'une permutation σ est l'ensemble des éléments x tels que σ(x) est différent de x.
La permutation σ se restreint donc en l'identité sur le complémentaire de son support, et en une permutation sans point fixe sur son support.