全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Matemática · 术语表

什么是 ação de grupo?

又称: órbita · estabilizador

Definição 1.8 Matemática universitária — Graduação 3 · 第 1 章 — Teoria dos grupos

Uma ação de GG sobre um conjunto XX é um morfismo φ ⁣:G→S(X)\varphi \colon G \to \mathfrak{S}(X) no grupo das bijeções de XX; escreve-se g⋅xg \cdot x em lugar de φ(g)(x)\varphi(g)(x). De maneira equivalente: uma aplicação G×X→XG \times X \to X com e⋅x=xe \cdot x = x e g⋅(h⋅x)=(gh)⋅xg \cdot (h \cdot x) = (gh) \cdot x. A órbita de xx é Ox={g⋅x:g∈G}\mathcal O_x = \{g \cdot x : g \in G\}, seu estabilizador é o subgrupo Gx={g:g⋅x=x}G_x = \{g : g\cdot x = x\}, e XG={x:∀g, g⋅x=x}X^G = \{x : \forall g,\ g \cdot x = x\} é o conjunto dos pontos fixos. A ação é transitiva se há exatamente uma órbita, fiel se φ\varphi é injetor, livre se todos os estabilizadores são triviais.

示例

Exemplo 1.9

Cinco ações governam toda a teoria dos grupos finitos:

  1. GG sobre si mesmo por translação à esquerda g⋅x=gxg \cdot x = gx: livre e transitiva.
  2. GG sobre si mesmo por conjugação g⋅x=gxg−1g \cdot x = gxg^{-1}: as órbitas são as classes de conjugação, os estabilizadores são os centralizadores ZG(x)={g:gx=xg}Z_G(x) = \{g : gx = xg\}, e os pontos fixos formam o centro Z(G)Z(G).
  3. GG sobre o espaço de classes laterais G/HG/H por g⋅xH=gxHg \cdot xH = gxH: transitiva, com estabilizador da classe HH igual a HH. Toda ação transitiva é dessa forma (Exercício 1.8).
  4. GG sobre o conjunto de seus subgrupos por conjugação: o estabilizador de HH é o normalizador NG(H)={g:gHg−1=H}N_G(H) = \{g : gHg^{-1} = H\}, o maior subgrupo de GG no qual HH é normal.
  5. SnS_n sobre [ ⁣[1, n] ⁣]\intint{1}{n}: a mãe de todos os exemplos.
在原文中阅读 →