全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Matemáticas · 术语表

什么是 acción de grupo?

又称: órbita · estabilizador

Definición 1.8 Matemáticas universitarias — Grado 3 · 第 1 章 — Teoría de grupos

Una acción de GG sobre un conjunto XX es un morfismo φ ⁣:G→S(X)\varphi \colon G \to \mathfrak{S}(X) en el grupo de las biyecciones de XX; se escribe g⋅xg \cdot x en lugar de φ(g)(x)\varphi(g)(x). Equivalentemente: una aplicación G×X→XG \times X \to X con e⋅x=xe \cdot x = x y g⋅(h⋅x)=(gh)⋅xg \cdot (h \cdot x) = (gh) \cdot x. La órbita de xx es Ox={g⋅x:g∈G}\mathcal O_x = \{g \cdot x : g \in G\}, su estabilizador es el subgrupo Gx={g:g⋅x=x}G_x = \{g : g\cdot x = x\}, y XG={x:∀g, g⋅x=x}X^G = \{x : \forall g,\ g \cdot x = x\} es el conjunto de los puntos fijos. La acción es transitiva si hay exactamente una órbita, fiel si φ\varphi es inyectivo y libre si todos los estabilizadores son triviales.

示例

Ejemplo 1.9

Cinco acciones gobiernan toda la teoría de grupos finitos:

  1. GG sobre sí mismo por traslación por la izquierda g⋅x=gxg \cdot x = gx: libre y transitiva.
  2. GG sobre sí mismo por conjugación g⋅x=gxg−1g \cdot x = gxg^{-1}: las órbitas son las clases de conjugación, los estabilizadores los centralizadores ZG(x)={g:gx=xg}Z_G(x) = \{g : gx = xg\} y los puntos fijos el centro Z(G)Z(G).
  3. GG sobre el espacio de clases G/HG/H por g⋅xH=gxHg \cdot xH = gxH: transitiva, con estabilizador de la clase HH igual a HH. Toda acción transitiva es de esta forma (Ejercicio 1.8).
  4. GG sobre el conjunto de sus subgrupos por conjugación: el estabilizador de HH es el normalizador NG(H)={g:gHg−1=H}N_G(H) = \{g : gHg^{-1} = H\}, el mayor subgrupo de GG en el que HH es normal.
  5. SnS_n sobre [ ⁣[1, n] ⁣]\intint{1}{n}: la madre de todos los ejemplos.
在原文中阅读 →