1 变换群的基本概念
1.1 变换、双射与复合
1.1.1 集合上的双射与可逆性
在代数中讨论“变换”，通常指从一个集合到自身的函数，并要求其在结构上是可逆的。可逆性最直接的刻画就是双射：既能把元素送到另一个位置，也能通过某个反向函数把它们一一取回。双射保证了变换不会把不同元素“粘在一起”，也不会留下空缺。
1.1.2 复合运算的结合律
若把变换看作函数，则自然可用复合来串联操作：先做一个变换，再做另一个。复合运算具有结合律，即对三个变换的串联方式无论如何分组，其效果一致。这一性质为把变换集合组织成代数对象提供了基础。
1.2 群结构在变换中的体现
1.2.1 单位变换与逆变换
单位变换是“什么也不做”的变换，作用后每个元素都保持原位。与之对应的是逆变换：若某个变换把对象从位置A“搬到”位置B，那么逆变换就把位置B再“搬回”A。单位与逆的存在体现了可逆变换系统的完整性。
1.2.2 变换群的定义与记号约定
一个变换群通常指一组集合上的双射，并在复合下构成群。记号上常用 \(G\) 表示群本身，\(g\in G\) 表示群的某个变换元素；群运算采用复合，常写作 \(g\circ h\) 或 \(gh\)。在后续讨论中，一个关键点是把“变换”与“代数运算”统一起来：不仅关心每个变换如何作用，也关心变换之间如何相互组合形成稳定的代数结构。
1.3 群的例子与直观图像
1.3.1 对称群与置换的视角
对称群刻画的是有限集合上所有双射的集合。在有限情形下，任何双射都可以看作对元素的一种“重新编号”，即置换。因而对称群既是变换群的典型例子，也提供了理解群运算的直观图像：把元素换位的不同方式彼此可复合、可撤销，且满足群公理。
1.3.2 线性变换群（概念层面的引入）
当集合具有向量空间结构时，可以把“变换”限制为保持线性结构的映射，也就是线性变换，并进一步要求其可逆。这样的变换在几何与代数中尤为常见，因为它们与坐标变换、方程结构和线性空间内部的度量选择都密切相关。尽管这里先作概念引入，后续章节会通过群作用的语言把这种限制自然地纳入统一框架。
1.3.3 非平凡变换群的常见构造
除了把所有双射都取上以外，实际问题常从某种结构出发选择“只允许某类变换”的集合。例如：要求变换保持某种几何距离或某种代数关系，从而得到相应的子群；或者从已知的若干基本变换出发，取它们生成的闭包。此类构造的共同特征是：既体现对称，又保持群运算下的稳定性。
2 群作用（Group Action）
2.1 群作用的定义
2.1.1 作用的公理：单位与相容性
群作用把“群元素如何作用于集合”系统化。设群 \(G\) 作用在集合 \(X\) 上，形式上给出 \(G\times X\to X\) 的映射，记作 \((g,x)\mapsto g\cdot x\)。公理要求：单位元素对任意 \(x\in X\) 的作用不改变它；同时，两个群元素连续作用应与它们的群运算一致，即 \((gh)\cdot x=g\cdot(h\cdot x)\)。这保证了群的代数结构与集合上的操作相容。
1.1.2 作用可视为“从群到变换的同态”
给定作用，就能把每个群元素对应到 \(X\) 上某个自同构（可逆变换）。于是可把作用看作一种同态：把群 \(G\) 映到 \(X\) 的双射群中。该观点有助于理解群作用并不是“额外的设定”，而是把原本抽象的群元素落到具体的变换上。
2.2 作用的等价刻画
2.2.1 对称性与轨道的关系
轨道刻画了一个元素在群作用下能被“移动到哪里”。从对称性角度看，如果两个元素处在同一轨道内，那么它们在该作用下被视为相互等价，因为可以通过某个变换互相到达。
2.2.2 行为与同构：作用保结构的意义
若更换刻画方式仍能得到等价的作用（例如通过同构把集合与作用一同“换坐标”），那么相关的对称信息不会丢失。群作用因此不仅是“函数集合”，还可以被视作研究对象结构的一种方式：它保留了“哪些性质在对称下不变”的信息。
2.3 轨道与稳定子
2.3.1 轨道（orbit）的定义与性质
给定 \(x\in X\)，其轨道定义为 \(\{g\cdot x\mid g\in G\}\)。轨道是 \(G\) 在 \(X\) 上作用的等价类：集合可以按轨道被划分，使得轨道之间不重叠且覆盖全部元素。许多计数与分类问题都可转化为比较轨道结构。
2.3.2 稳定子（stabilizer）的定义与性质
稳定子描述的是“把元素固定住的群元素”。对 \(x\in X\)，稳定子记作 \(\mathrm{Stab}_G(x)=\{g\in G\mid g\cdot x=x\}\)。稳定子是群 \(G\) 的一个子结构：它反映了该点（或该对象）在对称下有多“对称自由”。
2.3.3 轨道-稳定子定理的表述（概念）
轨道-稳定子定理给出轨道大小与稳定子大小之间的关系：在有限情形下，轨道的元素数与稳定子索引相关。该结果常被视为“轨道大小由稳定性决定”，为后续计数与分类提供桥梁。
2.4 守恒与不变量的作用
2.4.1 由作用产生的等价关系
由于轨道的存在，群作用把原集合的元素分为若干“等价类”。在应用中，往往不是直接比较元素本身，而是比较它们在群作用下是否能够互相转化。等价关系因此成为理解对称的一种关键抽象工具。
2.4.2 不变量与“像是被群偷走了”的对称量
若某个性质在群作用下保持不变，则它可作为不变量，用于区分不同轨道或刻画分类结果。不变量可以理解为“被对称反复作用后仍然不变的量”，它们往往比原始对象更稳定，也更适合用于推导结论。对许多问题而言，找到合适的不变量相当于找到了通往解法的捷径。
3 子群、正规性与商结构
3.1 子群与像/核的群论观点
3.1.1 子群与闭性条件
子群是群结构在较小集合上的“继承”。从形式上看，一个子集若在群运算与求逆下封闭，就能成为原群的子群。子群反映了某类变换的集合：这些变换彼此相容，并且仍保留群运算下的可逆性与单位元素。
3.1.2 群同态下的像与核
当研究群之间的结构关系时，常用同态。给定同态 \(f:G\to H\)，像 \(\mathrm{Im}(f)\) 描述了在 \(H\) 中实际出现的变换结果；核 \(\ker(f)\) 描述了在 \(H\) 中“看不见”的部分——那些作用后归为单位的元素。像与核提供了理解“哪些结构被保留、哪些被消去”的通道。
3.2 正规子群与商群（与作用的联系）
3.2.1 正规性的直观含义
正规子群刻画的是一种“与共轭无关”的稳定性。直观上，它允许你把群元素围绕它做“换位但不改变其集合层面”。这种性质确保商结构能够良定义：把正规子群视为“等价的来源”，则不同代表元的选择不会导致歧义。
3.2.2 商群与“把等价性折叠”
商群通过把群的元素按正规子群的陪集进行折叠来构造。陪集可理解为某种等价关系的类。这样做的效果是把“细节”压缩掉：只保留正规子群之外的“变化模式”。在对称分析中，这常对应于“先忽略某一层不重要的自由度，再研究剩余的组织方式”。
3.3 作用在商集上的诱导
3.3.1 诱导作用的基本思路
当群在集合上作用且存在合适的正规性或等价兼容条件时，作用可以自然下沉到商集合上。核心思想是：如果原作用尊重所选的等价类，那么对等价类做作用会得到与代表元无关的结果，从而得到商层面的群作用。
3.3.2 轨道在商结构中的表现
在商集合上，轨道通常对应于原集合中某些轨道的“合并或投影”。因此，研究商结构有助于理解哪些差异在折叠后仍能区分，哪些差异被对称或约束消去。
4 群作用的进一步结构
4.1 自由作用与传递作用
4.1.1 自由作用：稳定子最小化
自由作用意味着稳定子对每个元素都非常“纤细”，具体表现为只有单位元素能够固定该点。直观上，这表示群元素的不同不会在某一点产生“重合效果”。因此，自由作用在分类和计数时往往带来简化。
4.1.2 传递作用：轨道只有一个
传递作用是指集合只分成一个轨道，即任意两点都可由群元素联系起来。它强调整体同质性：不存在“局部区域”的区分，所有点在该作用下看起来同一种对称类型。
4.1.3 正则作用的直观图像
正则作用结合了自由与传递两种性质。此时，群既能把集合整体“拉通”，又能避免稳定导致的多余重合。正则作用因此提供了一个非常紧密的匹配：集合的结构可被群自身直接理解。
4.2 置换表示（Permutation Representation）
4.2.1 将作用转化为置换的方式
任何在有限集合上的群作用都可看成把群元素对应到该集合的置换。于是，抽象的群作用可以通过置换矩阵或置换的乘法规则来描述，从而把问题转化为更易计算的组合结构。
4.2.2 置换表示与同态的对应
从同态视角出发，置换表示就是把群同态到对称群的过程。这样做的好处是：群的性质（如子群结构、不可约性等在后续章节语境下的概念）会映射为置换层面的相应现象。
4.3 分配结构：轨道分解
4.3.1 轨道分解对计数的帮助
轨道分解把集合拆成若干块，每块对应一类对称等价。若集合有限，则每个轨道的大小往往由稳定子信息决定。通过这种分解，许多原本复杂的计数问题会被转化为对轨道大小的求解。
4.3.2 Burnside相关内容的引出（概念层）
在更深的层面，存在利用群作用与不动点计数来获得轨道数的思想。其核心直觉是：与其直接统计轨道，不如统计“哪些元素在某个变换下不动”，然后再汇总得到等价类数量。相关结论在组合与表示论中都极具影响力，这里仅作概念性引出。
4.4 商映射与轨道空间
4.4.1 轨道空间作为“模掉对称”
轨道空间可理解为把集合中“只相差对称变换的点”视为同一点后的结果。它体现了“模掉对称”的思想：研究对象的本质由轨道决定，而不由代表元的具体选取决定。
4.4.2 轨道与商映射的基本关系
把轨道集合与原集合之间建立映射，通常是把每个点送到其轨道。该映射把原有结构投影到“对称折叠后的层面”，因此在几何、代数与计算中都扮演着基础角色。
5 特殊类型的变换群（代数/几何常见视角）
5.1 线性变换群（入门性框架）
5.1.1 在向量空间上的作用
线性变换群关注的是向量空间上的可逆线性映射。此时群作用不仅移动“点”，更移动“方向与线性关系”。在很多几何与代数任务中，这类作用能够把保持线性结构的对称现象系统化。
5.1.2 保持结构的变换（如度量/双线性形式的概念性提法）
当进一步要求变换保持额外结构（例如内积或双线性形式的类型）时，可得到更受限的对称群。它们刻画“在更强约束下仍能保持一致”的变化模式，因此适合描述几何中的刚性或度量兼容的对称。
5.2 仿射变换与一般仿射群（概念）
5.2.1 仿射结构的稳定性
仿射变换在几何层面保留直线和平行性等性质。与纯线性变换相比，它允许平移成分存在，因此更贴近一般几何变换的实际形态。仿射群可视为“线性对称再加上一层平移自由度”的结构集合。
5.2.2 由仿射结构引出的对称分类思路
仿射群常用于把分类问题从“绝对位置”转为“相对结构”。当只关心直线关系或平行性等仿射不变量时，使用仿射对称往往能减少不必要的细节，形成更通用的分类框架。
5.3 微分同胚/光滑变换群的思想（仅限概念）
5.3.1 连续对称的动机
当对象具有连续参数或光滑结构时，人们自然会考虑“连续可微”的可逆变换集合。连续对称强调可微性带来的稳定性质，并与几何分析中的局部结构相关。
5.3.2 与离散置换群的对比
离散置换群通常对应“有限或可数的重排”，而光滑变换群对应“连续的形变”。两者在形式语言上都可通过群作用统一处理，但在计算与直觉上，一个更偏组合，一个更偏微分几何。
6 变换群与代数中的典型应用（概念导向）
6.1 对称性与方程的求解动机
6.1.1 变换群如何“编码可解性”
许多代数方程的可解性问题可通过其根之间的对称关系来反映。变换群把“允许怎样的根重排仍保持结构一致”的信息编码进群的组织方式，从而把计算问题转化为群结构问题。
6.1.2 与Galois理论的关联性概述
Galois理论正是利用对方程根的对称群来研究代数方程的解的性质。其基本思路是：研究由根之间关系诱导出的群对象，并用子群与正规结构对应到解的可构造性与分解步骤。这里仅作整体概述，强调其“群论—方程”之间的桥梁作用。
6.2 几何对象的对称分类
6.2.1 图形/集合的对称群
对图形或几何集合而言，可以收集所有把它映回自身的变换，得到其对称群。对称群越大，说明对象越“规整”，分类与识别也越依赖群的结构特征。
6.2.2 结构不变量与分类原则
分类时往往不直接逐个枚举对象，而是通过不变量区分不同对称类型。群作用提供了系统生成不变量的方法：不变量由轨道或商结构反映出来，因此能形成相对稳定的分类原则。
6.3 表示论的桥梁（概念性）
6.3.1 群作用如何催生线性表示
当群作用在向量空间上时，就能把抽象群元素转化为线性算子，从而形成线性表示。这一步把“几何或集合上的对称”落实到可计算的线性代数框架中。
6.3.2 从轨道到表示的基本直觉
从轨道出发研究表示，通常意味着：轨道结构反映了群在对象上的“活动方式”，而表示则把这种活动方式线性化。直觉上，不同的对称等价类会对应到表示中的不同成分或不同约束，从而影响表示的分解结构。