1 概述与基本定义

1.1 群作用的基本概念（集合、态射与相容条件）

给定群 \(G\) 与集合 \(X\)，若存在映射 \[ G\times X\to X,\quad (g,x)\mapsto g\cdot x, \] 并满足两条相容条件： 1）恒等元作用不改变元素：\(e\cdot x=x\)； 2）乘法与作用相容：\((gh)\cdot x=g\cdot(h\cdot x)\)。 则称 \(G\) 对 \(X\) 作用。直观上，群的每个元素都可以看作是对 \(X\) 的一种“对称变换”，多步变换等价于先后执行相应的作用。

1.2 轨道与轨道分解

对任意 \(x\in X\)，其轨道定义为 \[ G\cdot x=\{g\cdot x\mid g\in G\}. \] 轨道刻画了在作用下元素之间的“可互达关系”。由于轨道满足等价关系的分解性质：对任意 \(x,y\in X\)，要么 \(G\cdot x=G\cdot y\)，要么两者互不相交。于是 \(X\) 被按轨道分成若干块，称为轨道分解。

1.3 传递作用的定义（轨道只有一个）

若 \(X\) 中任意两点都落在同一条轨道上，即轨道只有一个（也称“单轨道”），则称该作用为传递（transitive）作用。形式化地说，对任意 \(x,y\in X\)，存在 \(g\in G\) 使得 \[ g\cdot x=y. \] 这表明在作用允许的变换范围内，\(X\) 的不同点在“结构意义”上完全同等：从任一点出发都能通过群作用到达任意其他点。

1.4 与“单轨道/同质/可达”的等价表述

“轨道只有一个”与“同质结构”“可达性”常被视为同一现象的不同语言：

  • 单轨道/传递：所有元素处于同一轨道；
  • 可达性：任意 \(x\) 可通过某个 \(g\) 送到任意 \(y\)；
  • 同质性：从局部稳定信息出发，整体结构不偏向任何点。

这些表述在数学上可互相推出，只是侧重的角度不同。

2 传递作用的刻画

2.1 轨道-稳定子对应

2.1.1 稳定子子群的定义

固定 \(x\in X\)，稳定子（stabilizer）定义为 \[ G_x=\{g\in G\mid g\cdot x=x\}. \] 稳定子由所有“保持该点不动”的群元素组成。它刻画了该点在作用下保留的对称性。

2.1.2 从轨道到商集的同构

轨道与稳定子之间存在标准对应：映射 \[ \phi:G\to G\cdot x,\quad g\mapsto g\cdot x \] 是满射；两个元素 \(g_1,g_2\) 给出同一轨道点当且仅当 \(g_2^{-1}g_1\in G_x\)。因此轨道可与稳定子陪集的商集等价： \[ G/G_x \cong G\cdot x. \] 这说明轨道的规模与稳定子的“大小”密切相关。

2.1.3 传递性如何转化为“可达性”

因为 \(G\cdot x\cong G/G_x\)，当作用传递时对任意 \(y\in X\) 有 \(y\in G\cdot x\)。等价地，传递意味着从任何点出发，轨道都覆盖整个 \(X\)，从而 \(X\) 可视为某个稳定子商集在给定集合上的实现。换言之，传递性是“轨道覆盖全体”的直接后果。

2.2 等价刻画：同构类型的分类思路

2.2.1 用稳定子决定作用同构

若两个传递 \(G\)-作用在某些自然条件下可通过 \(G\)-等变双射对应，则它们的轨道结构对应起来；而由于传递作用只有一条轨道，作用的核心差异归结为稳定子子群在 \(G\) 中的位置。更精确地说，在传递情形下，选定一个点后的稳定子 \(G_x\) 充当“模型”的参数：不同作用可通过稳定子相关的陪集结构加以对比与分类。

2.2.2 自由作用与传递作用的关系（直观对比）

自由性（free）指稳定子只含单位元：\(G_x=\{e\}\)。传递性指只有一个轨道。两者结合给出特别强的结构：

  • 仅传递：所有点同质，但仍可能存在非平凡元素固定某些点；
  • 仅自由：任意元素不把某点固定住（除非是单位），但不同点可能落在不同轨道；
  • 传递且自由：既同质又“无冗余”，对应到商表示 \(X\) 与 \(G\) 在集合层面的接近程度（常被称为正则型的典型情形之一）。

这种对比帮助理解稳定子在传递性中的角色。

2.3 轨道只有一个时的推论

2.3.1 元素的选择不影响稳定子同构类型

在传递作用中任取 \(x,y\in X\)，总有 \(g\in G\) 使 \(g\cdot x=y\)。进一步可验证 \[ G_y = gG_x g^{-1}. \] 因此不同点的稳定子在群的共轭意义下互相对应。也就是说，“稳定子同构类型”在传递作用下具有一致性：虽然具体子群可能不同，但它们通过共轭获得。

2.3.2 作用规模与指数关系（有限情形下）

当 \(X\) 有限时，传递性与商结构给出规模关系。由 \(X\cong G/G_x\) 可得 \[

X= [G:G_x],

\] 其中 \([G:G_x]\) 表示稳定子在 \(G\) 中的指标。于是传递作用的轨道大小直接由稳定子指标决定，这在有限群或有限集合的讨论中尤为常用。

3 例子与典型模型

3.1 群对自身的传递作用（共轭/平移的不同情形）

对自身而言，有多种自然作用方式。以左平移为例：令 \(X=G\)，定义 \(g\cdot x=gx\)。此时对任意 \(x,y\in G\) 取 \(g=yx^{-1}\) 即有 \(g\cdot x=y\)，因此该作用是传递的。 而共轭作用可将稳定子解释为中心化子：若定义 \(g\cdot x=gxg^{-1}\)，则点 \(x\) 的稳定子是 \(x\) 的中心化子。此时轨道一般对应“共轭类”，是否只有一个轨道取决于该作用下共轭类是否覆盖全部群元素；通常这反映了群是否具有较强的“单一对称性类别”。

3.2 由子群诱导的商空间作用

设 \(H\le G\)，考虑商集 \(G/H\)（陪集集合）。群通过左乘定义作用： \[ g\cdot (aH)=(ga)H. \] 该作用在一般情形下是传递的，因为任意陪集都可由某个群元素从基陪集 \(H\) 送到。其稳定子与 \(H\) 的关系也可直接读出：基点 \(H\) 的稳定子正是 \(H\) 本身。

3.3 列举有限传递作用的常见形式

有限传递作用常通过“稳定子商模型”获得。给定有限群 \(G\) 与某个子群 \(H\)，商集 \(G/H\) 上的左作用提供一类标准模型；任何只含一个轨道的 \(G\)-集合都可以在集合层面与某个这样的商结构相对应（取决于等变同构意义下的参数选取）。 因此在具体计算时，问题常转化为：给定候选稳定子，计算指标、陪集规模与轨道结构。

3.4 与对称性相关的直观例子（图形/点集对称）

在几何图形或点集的对称讨论中，群元素表示可执行的对称变换。若某些变换能把任意一个特征点变成任意另一个特征点，则这些特征点构成一个传递 \(G\)-集。此时“每个点都同样有资格成为参照系”，稳定子对应的是“固定该点不变的对称变换集合”，从而把抽象群论概念落实到可观察的对称子。

4 常见性质与相关概念

4.1 自由性、有效性与核（kernel）的关系

设作用为 \(G\curvearrowright X\)。

  • 有效性（faithful）：若不同群元素导致不同的整体变换。等价地，作用的“核”是平凡的。
  • 核（kernel）：定义

\[ \ker(G\curvearrowright X)=\{g\in G\mid g\cdot x=x\ \forall x\in X\}. \] 若核非平凡，则这些元素在 \(X\) 上表现为恒等变换。 在传递作用下，稳定子随点共轭变化；而核更严格，要求对所有点都不动。自由性则更强：对每个点，稳定子都只有单位元。三者关系可理解为：核刻画“全体不动”的元素，稳定子刻画“部分点不动”的元素，自由性对应“所有点都只允许单位元稳定”。

4.2 正则作用（regular action）与“传递+自由”

若作用既传递又自由，则称为正则（regular）或与之等价的概念。此时对任意 \(x\in X\)，映射 \(G\to X\)，\(g\mapsto g\cdot x\) 成为双射：每个元素对应唯一的群变换。因而这种作用在集合意义上接近“群本身的标记”，具有高度可计算性，且常用于把抽象群结构与具体点集建立一一对应。

4.3 同构与等价作用（作用同构、转移同构）

若存在双射 \(f:X\to Y\) 满足对任意 \(g\in G\) 与 \(x\in X\)，有 \[ f(g\cdot x)=g\cdot f(x), \] 则称两作用在 \(G\)-等变意义下同构。传递作用中，由于只有一条轨道，两个作用的同构通常归结为其稳定子（在点选取后）的相关性：稳定子在合适意义下等价（例如共轭）往往对应同构作用。 “转移同构”这类说法常用于强调在同一群作用框架下，轨道结构与稳定性配置一致。

4.4 复合/限制对传递性的影响

考虑把作用限制到子群 \(K\le G\) 或将作用通过同态“拉回”。一般而言，传递性可能被破坏：

  • 若缩小群（限制到子群），通常可达性减少，轨道可能分裂成多个；
  • 若通过同态改变作用方式，稳定子和轨道划分也会随之变化。

因此判断传递性需要重新检查在新作用下能否实现把任一点送到任一点。

4.5 轨道只有一个在更一般“分轨道”情形中的位置（对比）

在更一般情形中，轨道可能有多个。传递作用对应的是最极端的“分轨道最少”情况：轨道数为 1。对比之下，具有多轨道的作用可以看成同质性被逐层打破：每个轨道对应一种“局部同质类别”。稳定子共轭类与轨道一一对应，从而可将“分轨道”问题转化为稳定子族的结构研究。

5 进一步阅读的数学背景（不涉及敏感议题）

5.1 齐次空间与同质性（概念衔接）

传递 \(G\)-作用常与齐次空间联系紧密：当 \(X\) 具有足够结构（例如拓扑或光滑结构）并且作用与该结构兼容时，\(X\) 常被视为由“群与稳定子”构造出来的同质对象。此处“同质性”强调的是点之间没有本质差别，正是传递性的几何或结构化版本。

5.2 群论中的标准工具：稳定子、陪集与商

从纯群论角度，稳定子、陪集与商集构成处理传递作用的“三件套”：

  • 稳定子给出局部不变量；
  • 陪集给出轨道的集合模型；
  • 商集同构把轨道问题转成代数问题。

熟练运用这些工具通常可以快速判断传递性并进行规模计算。

5.3 从表示论视角看“同质结构”（概念性引入）

在表示论或谐分析中，传递性与“从稳定子诱导的结构”存在概念关联。虽然细节取决于作用是否满足额外条件（如连续性、紧性等），但总体思想是：当 \(X\) 同质时，许多对象可以用稳定子相关的数据来构造或分解，从而把全局复杂性归约为局部对称信息。

5.4 常见习题类型与计算套路（如稳定子求法）

常见练习包括：

  • 给定具体集合与作用，判断是否传递；
  • 选取基点 \(x\)，计算稳定子 \(G_x\)，并用 \(X\cong G/G_x\) 推出规模；
  • 在传递作用中验证不同点稳定子的共轭关系；
  • 对限制到子群后的新作用，分析轨道是否分裂并计算轨道数。

这些套路强调“先选点再算稳定子，再用商结构理解轨道”的路径。