Théorème orbite-stabilisateur

Core idea

Overview

Le théorème orbite-stabilisateur établit une relation fondamentale entre un groupe agissant sur un ensemble et la symétrie des éléments de cet ensemble. Il affirme que la taille du groupe est égale au produit de la taille de l'orbite d'un élément et de l'ordre de son sous-groupe stabilisateur.

When to use: Utilisez ce théorème lorsque vous devez calculer le nombre d'arrangements distincts sous symétrie ou déterminer la taille d'un groupe de symétrie. Il s'applique chaque fois qu'un groupe fini G agit sur un ensemble fini X.

Why it matters: Ce théorème est au cœur des applications de la théorie des groupes en combinatoire, en chimie (symétrie moléculaire) et en cristallographie. Il permet aux mathématiciens de simplifier des problèmes de dénombrement complexes en se concentrant sur les points fixes et les stabilisateurs.

Walkthrough

Derivation

Dérivation/Compréhension du théorème orbite-stabilisateur

Cette dérivation établit le théorème orbite-stabilisateur, qui stipule que pour un groupe agissant sur un ensemble, la taille de l'orbite d'un élément est égale à l'indice de son sous-groupe stabilisateur dans le groupe.

Soit G un groupe agissant sur un ensemble X.
Soit x un élément arbitraire de l'ensemble X.

1

Définir l'orbite et le stabilisateur :

Nous commençons par définir les deux concepts clés du théorème : l'orbite $O_{x}$ , qui est l'ensemble de tous les éléments de $X$ sur lesquels $x$ peut être projeté par une action de $G$ , et le stabilisateur $G_{x}$ , qui est le sous-groupe de $G$ dont les éléments fixent $x$ .

Let G be a group acting on a set X . For any x \in X, O_{x} = {g \cdot x ∣ g \in G} is the orbit of x . G_{x} = {g \in G ∣ g \cdot x = x} is the stabilizer of x .

2

Construire une application de classe à gauche :

Nous construisons une fonction $ϕ$ qui associe chaque classe à gauche du stabilisateur $G_{x}$ à un élément de l'orbite $O_{x}$ . Il est crucial de montrer que cette application est bien définie, signifiant que le choix du représentant d'une classe ne modifie pas l'élément résultant dans l'orbite.

Define a map ϕ : G / G_{x} \to O_{x} by ϕ (g G_{x}) = g \cdot x . This map is well-defined: if g G_{x} = h G_{x}, then h^{- 1} g \in G_{x}, so h^{- 1} g \cdot x = x ⟹ g \cdot x = h \cdot x .

3

Prouver la bijectivité de l'application :

Nous démontrons que l'application $ϕ$ est à la fois surjective (chaque élément dans l'orbite est l'image d'une classe) et injective (des classes distinctes sont associées à des éléments distincts dans l'orbite). Cela établit une correspondance biunivoque entre l'ensemble des classes à gauche et l'orbite.

The map ϕ is surjective: for any y \in O_{x}, there exists g \in G such that y = g \cdot x, so ϕ (g G_{x}) = y . The map ϕ is injective: if ϕ (g G_{x}) = ϕ (h G_{x}), then g \cdot x = h \cdot x ⟹ h^{- 1} g \cdot x = x ⟹ h^{- 1} g \in G_{x} ⟹ g G_{x} = h G_{x} .

4

Conclure le théorème :

Parce qu'une bijection existe entre l'ensemble des classes à gauche $G / G_{x}$ et l'orbite $O_{x}$ , leurs cardinalités doivent être égales. Par définition, la cardinalité de $G / G_{x}$ est l'indice $[G : G_{x}]$ , prouvant ainsi le théorème orbite-stabilisateur.

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Result

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Source: Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

Free formulas

Rearrangements

Solve for $G$

Isoler G

G

Partez du théorème du stabilisateur d'orbite. Le théorème exprime directement l'ordre du groupe G, faisant de G le sujet conceptuel sans nécessiter de réarrangement algébrique.

Difficulty: 2/5

Solve for $G \cdot x$

Isoler G x

G \cdot x

Partez du théorème du stabilisateur d'orbite, qui relie l'ordre d'un groupe à la taille d'une orbite et de son stabilisateur. Pour faire de l'orbite $G \cdot x$ le sujet, isolez le terme représentant sa taille, puis identifiez conceptuellement l'orbite elle-même.

Difficulty: 2/5

Solve for $G_{x}$

Isoler Gx

G_{x}

Partez du théorème du stabilisateur d'orbite. Pour faire de $G_{x}$ le sujet, divisez les deux côtés par $∣ G \cdot x ∣$ .

Difficulty: 2/5

The static page shows the finished rearrangements. The app keeps the full worked algebra walkthrough.

Why it behaves this way

Intuition

Considérez un ensemble d'éléments réarrangés par un groupe d'opérations. Le nombre total d'opérations dans le groupe est égal au nombre de positions uniques dans lesquelles un élément choisi peut finir, multiplié par le nombre de

Term

Le nombre total d'éléments (ou d'opérations) dans le groupe G.

Représente la 'taille' ou l''ordre' global du groupe, indiquant combien de transformations distinctes sont disponibles.

Term

Le nombre d'éléments distincts dans l'ensemble X vers lesquels l'élément x peut être projeté par l'action du groupe G.

C'est la 'portée' de x : combien de positions ou de formes uniques x peut prendre sous les transformations du groupe.

Term

Le nombre d'éléments dans le groupe G qui laissent l'élément x inchangé lorsqu'ils sont appliqués.

Cela mesure la 'symétrie interne' de x : combien de transformations 'fixent' x, le ramenant à son état d'origine.

Free study cues

Insight

Canonical usage

Cette équation relie les tailles des ensembles finis (groupes, orbites et stabilisateurs), qui sont tous des nombres entiers sans dimension.

Dimension note

Toutes les quantités du théorème orbite-stabilisateur (|G|, |G $\cdot$ x|, | $G_{x}$ |) sont des dénombrements d'éléments dans des ensembles finis (groupes, orbites et sous-groupes). En tant que tels, ce sont intrinsèquement des entiers positifs sans dimension.

One free problem

Practice Problem

Un groupe G d'ordre 24 agit sur un ensemble X. Si le stabilisateur d'un élément x contient exactement 4 éléments, quelle est la taille de l'orbite de x ?

Hint: Le produit de la taille de l'orbite et de la taille du stabilisateur est égal à l'ordre du groupe.

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

Dans le contexte de Théorème orbite-stabilisateur, Théorème orbite-stabilisateur sert à transformer les mesures en une valeur interprétable. Le résultat est important parce qu'il aide à relier le calcul à la forme, au taux de variation, à la probabilité ou à la contrainte du modèle.

Study smarter

Tips

Assurez-vous que l'action du groupe est correctement définie sur l'ensemble.
Le stabilisateur est toujours un sous-groupe de G, donc son ordre doit diviser l'ordre du groupe.
Choisir un élément représentatif avec un stabilisateur clair simplifie souvent le calcul.

Avoid these traps

Common Mistakes

Confondre la taille de l'ensemble X avec la taille de l'orbite d'un élément donné.
Supposer que tous les éléments de l'ensemble ont la même taille d'orbite.
Confondre le stabilisateur avec le centralisateur ou d'autres sous-groupes.

Keep going

Related Formulas

Common questions

Frequently Asked Questions

Cette dérivation établit le théorème orbite-stabilisateur, qui stipule que pour un groupe agissant sur un ensemble, la taille de l'orbite d'un élément est égale à l'indice de son sous-groupe stabilisateur dans le groupe.

Utilisez ce théorème lorsque vous devez calculer le nombre d'arrangements distincts sous symétrie ou déterminer la taille d'un groupe de symétrie. Il s'applique chaque fois qu'un groupe fini G agit sur un ensemble fini X.

Ce théorème est au cœur des applications de la théorie des groupes en combinatoire, en chimie (symétrie moléculaire) et en cristallographie. Il permet aux mathématiciens de simplifier des problèmes de dénombrement complexes en se concentrant sur les points fixes et les stabilisateurs.

Confondre la taille de l'ensemble X avec la taille de l'orbite d'un élément donné. Supposer que tous les éléments de l'ensemble ont la même taille d'orbite. Confondre le stabilisateur avec le centralisateur ou d'autres sous-groupes.

Dans le contexte de Théorème orbite-stabilisateur, Théorème orbite-stabilisateur sert à transformer les mesures en une valeur interprétable. Le résultat est important parce qu'il aide à relier le calcul à la forme, au taux de variation, à la probabilité ou à la contrainte du modèle.

Assurez-vous que l'action du groupe est correctement définie sur l'ensemble. Le stabilisateur est toujours un sous-groupe de G, donc son ordre doit diviser l'ordre du groupe. Choisir un élément représentatif avec un stabilisateur clair simplifie souvent le calcul.

References

Sources

Dummit and Foote, Abstract Algebra
Herstein, Topics in Algebra
Wikipedia: Orbit-stabilizer theorem
Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
Gallian, Joseph A. Contemporary Abstract Algebra. 9th ed. Cengage Learning, 2017.
Dummit and Foote Abstract Algebra
Gallian Contemporary Abstract Algebra
Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

Overview

Derivation

Définir l'orbite et le stabilisateur :

Construire une application de classe à gauche :

Prouver la bijectivité de l'application :

Conclure le théorème :

Rearrangements

Intuition

Insight

Practice Problem

Real-World Context

Tips

Common Mistakes

Related Formulas

Lagrange's Theorem

Fermat's Little Theorem

Euler's Totient Function

Frequently Asked Questions

Sources