Action de groupe

Une action de groupe réalise les éléments abstraits d'un groupe comme des transformations d'un ensemble, rendant la symétrie concrète et fournissant des outils de dénombrement via la relation orbite-stabilisateur.

Definition

Une action d'un groupe G sur un ensemble X est un homomorphisme de G vers le groupe des permutations de X, ou de manière équivalente, une application associant à chaque élément du groupe et à chaque point un nouveau point, compatible avec l'opération de groupe et l'identité.

Scope

Ce sujet couvre la définition d'une action, les orbites et les stabilisateurs, le théorème orbite-stabilisateur, l'équation aux classes, le lemme de dénombrement de Burnside, et l'utilisation des actions par conjugaison et sur les classes latérales pour dériver des résultats structurels sur les groupes.

Core questions

• Comment un groupe abstrait agit-il comme des symétries concrètes d'un ensemble ?
• Comment les tailles des orbites sont-elles liées aux sous-groupes stabilisateurs ?
• Comment l'équation aux classes contraint-elle la structure d'un groupe fini ?
• Comment les actions de groupe peuvent-elles être utilisées pour dénombrer des objets à isomorphisme près ?

Key theories

Théorème orbite-stabilisateur

Pour un groupe agissant sur un ensemble, la taille de l'orbite d'un point est égale à l'indice de son sous-groupe stabilisateur, reliant ainsi les tailles des orbites aux indices des sous-groupes.

Équation aux classes

L'application du théorème orbite-stabilisateur à l'action par conjugaison partitionne un groupe fini en classes de conjugaison dont les tailles divisent l'ordre du groupe, un outil clé pour l'étude des p-groupes et des centres.

Lemme de Burnside

Le nombre d'orbites d'une action de groupe fini est égal au nombre moyen de points fixés par les éléments du groupe, offrant une méthode systématique pour dénombrer des configurations à symétrie près.

Clinical relevance

Les actions de groupe sont l'expression formelle de la symétrie et sous-tendent le dénombrement sous symétrie (énumération de Burnside et Polya en combinatoire), l'analyse des groupes de symétrie géométriques et physiques, et la construction d'homomorphismes utilisés pour prouver des théorèmes fondamentaux tels que le théorème de Cayley et les théorèmes de Sylow.

History

Le point de vue des actions s'est développé à partir de l'étude des groupes de permutations au XIXe siècle par Galois, Cauchy et Jordan, et a été formalisé comme des groupes agissant sur des ensembles à mesure que le concept de groupe abstrait mûrissait. Les techniques de dénombrement de Burnside ont systématisé l'énumération sous symétrie.

Key figures

• Arthur Cayley
• William Burnside
• Camille Jordan

Seminal works

• dummit2004
• artin2011
• rotman1995

Frequently asked questions

Pourquoi les actions de groupe sont-elles utiles si le groupe est déjà abstrait ?

Une action transforme les éléments abstraits d'un groupe en permutations concrètes d'un ensemble, de sorte que les questions structurelles deviennent combinatoires. Le théorème de Cayley montre même que tout groupe agit fidèlement sur lui-même, l'incorporant dans un groupe symétrique.

Quel est l'intérêt du théorème orbite-stabilisateur ?

Il convertit les tailles d'orbites en indices de sous-groupes, qui divisent l'ordre du groupe. C'est le moteur de l'équation aux classes, des théorèmes de Sylow et de nombreux arguments de dénombrement en théorie des groupes finis.