Calcul du Normalisateur

Procédure qui détermine le normalisateur N_G(S) = {g dans G | gSg^{-1} = S} d'un sous-ensemble ou d'un sous-groupe S fixé dans un groupe ambiant G ; le résultat est le sous-groupe constitué de tous les éléments qui conjuguent S sur lui-même.