par alben » 05 Nov 2007, 16:48
Bonjour,
Lorqu'un groupe G agit sur un ensemble X, le fixateur d'un gG c'est l'ensemble des xX, points fixes de g, c'est à dire vérifiant g.x=x.
Pour mieux voir ce que représentent ces notions, il est plus simple d'imaginer pour X, un ensemble de points (par exemple le plan), pour G un groupe de transformations (par exemple rotations) et g.x =g(x).
Avec cet exemple, l'orbite d'un élement x, c'est tous les points qui peuvent être atteint par rotation de x : c'est à dire un cercle,
le stabilisateur de x, c'est l'ensemble des rotations qui ne changent pas x (=une seule, celle d'angle 0)
et le fixateur d'une rotation g, c'est l'ensemble de ses points fixes (seulement le centre si l'angle n'est pas nul)