5. Groupes de transformations
Si E est un ensemble, nous avons déjà indiqué que les bijections de E sur lui-même forment un groupe Σ (E) pour la composition des applications, le groupe symétrique de E. Si E est muni d'une structure, les bijections qui conservent cette structure forment un sous-groupe de Σ(E), le groupe des automorphismes de E pour la structure considérée. C'est ainsi qu'on a introduit ci-dessus le groupe Aut(G) des automorphismes d'un groupe G ; si V est un espace vectoriel, on obtient le groupe linéaire de V, noté GL(V), formé des bijections linéaires de V sur V.
On dit qu'un groupe G opère sur un ensemble E si E est muni d'une loi externe dont le domaine d'opérateurs est G :

Pour x ∈ E, on appelle orbite de x l'ensemble des éléments gx pour g ∈ G ; remarquons que les orbites de deux éléments sont toujours disjointes ou confondues, car la relation x ∼ y, s'il existe g ∈ G tel que y = gx, est une relation d'équivalence sur E. On appelle classes d'intransitivité […]
… pour nos abonnés, l'article se prolonge sur 9 pages…



