全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Mathematics · 术语表

什么是 group action?

又称: orbit · stabilizer

Definition 1.8 University Mathematics — Year 3 · 第 1 章 — Group Theory

An action of GG on a set XX is a morphism φ ⁣:G→S(X)\varphi \colon G \to \mathfrak{S}(X) into the group of bijections of XX; one writes g⋅xg \cdot x for φ(g)(x)\varphi(g)(x). Equivalently: a map G×X→XG \times X \to X with e⋅x=xe \cdot x = x and g⋅(h⋅x)=(gh)⋅xg \cdot (h \cdot x) = (gh) \cdot x. The orbit of xx is Ox={g⋅x:g∈G}\mathcal O_x = \{g \cdot x : g \in G\}, its stabilizer is the subgroup Gx={g:g⋅x=x}G_x = \{g : g\cdot x = x\}, and XG={x:∀g, g⋅x=x}X^G = \{x : \forall g,\ g \cdot x = x\} is the set of fixed points. The action is transitive if there is exactly one orbit, faithful if φ\varphi is injective, free if all stabilizers are trivial.

示例

Example 1.9

Five actions run all of finite group theory:

  1. GG on itself by left translation g⋅x=gxg \cdot x = gx: free and transitive.
  2. GG on itself by conjugation g⋅x=gxg−1g \cdot x = gxg^{-1}: orbits are the conjugacy classes, stabilizers the centralizers ZG(x)={g:gx=xg}Z_G(x) = \{g : gx = xg\}, fixed points the center Z(G)Z(G).
  3. GG on the coset space G/HG/H by g⋅xH=gxHg \cdot xH = gxH: transitive, with stabilizer of the coset HH equal to HH. Every transitive action is of this form (Exercise 1.8).
  4. GG on its set of subgroups by conjugation: the stabilizer of HH is the normalizer NG(H)={g:gHg−1=H}N_G(H) = \{g : gHg^{-1} = H\}, the largest subgroup of GG in which HH is normal.
  5. SnS_n on [ ⁣[1, n] ⁣]\intint{1}{n}: the mother of all examples.
在原文中阅读 →