全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 Français 版。

Mathématiques · 术语表

什么是 action de groupe?

又称: orbite · stabilisateur

Définition 1.8 Mathématiques universitaires — Licence 3 · 第 1 章 — Théorie des groupes

Une action de GG sur un ensemble XX est un morphisme φ ⁣:G→S(X)\varphi \colon G \to \mathfrak{S}(X) vers le groupe des bijections de XX ; on note g⋅xg \cdot x pour φ(g)(x)\varphi(g)(x). De façon équivalente : une application G×X→XG \times X \to X avec e⋅x=xe \cdot x = x et g⋅(h⋅x)=(gh)⋅xg \cdot (h \cdot x) = (gh) \cdot x. L’orbite de xx est Ox={g⋅x:g∈G}\mathcal O_x = \{g \cdot x : g \in G\}, son stabilisateur est le sous-groupe Gx={g:g⋅x=x}G_x = \{g : g\cdot x = x\}, et XG={x:∀g, g⋅x=x}X^G = \{x : \forall g,\ g \cdot x = x\} est l’ensemble des points fixes. L’action est transitive s’il y a exactement une orbite, fidèle si φ\varphi est injectif, libre si tous les stabilisateurs sont triviaux.

示例

Exemple 1.9

Cinq actions animent toute la théorie des groupes finis :

  1. GG sur lui-même par translation à gauche g⋅x=gxg \cdot x = gx : libre et transitive.
  2. GG sur lui-même par conjugaison g⋅x=gxg−1g \cdot x = gxg^{-1} : les orbites sont les classes de conjugaison, les stabilisateurs les centralisateurs ZG(x)={g:gx=xg}Z_G(x) = \{g : gx = xg\}, les points fixes le centre Z(G)Z(G).
  3. GG sur l’espace des classes G/HG/H par g⋅xH=gxHg \cdot xH = gxH : transitive, avec stabilisateur de la classe HH égal à HH. Toute action transitive est de cette forme (Exercice 1.8).
  4. GG sur son ensemble de sous-groupes par conjugaison : le stabilisateur de HH est le normalisateur NG(H)={g:gHg−1=H}N_G(H) = \{g : gHg^{-1} = H\}, le plus grand sous-groupe de GG dans lequel HH est normal.
  5. SnS_n sur [ ⁣[1, n] ⁣]\intint{1}{n} : la mère de tous les exemples.
在原文中阅读 →