共轭类

1 定义与基本概念

共轭类是群论中描述元素在群内“彼此相似”关系的核心概念。它以共轭运算为基础，把一个群中的元素按某种内部对称性进行分类，从而揭示群结构中的重要信息。在许多问题中，共轭类比单个元素本身更能反映群的整体性质。

1.1 共轭关系

共轭关系是共轭类的基础。两个元素若能通过群中的某个元素相互“变换”得到，就认为它们具有同一种群论意义上的位置。

1.1.1 群中的共轭定义

设 \(G\) 是一个群，\(a,b\in G\)。如果存在 \(g\in G\)，使得 \[ b=gag^{-1}, \] 则称 \(a\) 与 \(b\) 在 \(G\) 中共轭。这里的运算把元素 \(a\) 通过群元素 \(g\) 的“搬运”作用变成 \(b\)。由于逆元的存在，这一定义在群中总是可行。

共轭关系通常记作 \(a\sim b\)。它是群上的一个等价关系，因此满足自反性、对称性和传递性。正因如此，群元素可以被分成若干个互不重叠的共轭类。

1.1.2 共轭元素的判定

判断两个元素是否共轭，通常要找出是否存在某个群元素 \(g\) 使共轭方程成立。对于抽象群，这往往需要借助群的结构信息；对于矩阵群，则可通过相似变换、特征值或标准形等工具辅助判断。

在一些具体群中，共轭元素常常具有相同的若干不变量，例如阶、循环结构或特征多项式。这些性质并不总能完全刻画共轭，但能显著缩小判定范围。

1.2 共轭类

共轭类是由共轭关系生成的等价类，表示群中所有彼此共轭的元素构成的集合。它是研究群的分类、表示与作用时最常用的基本对象之一。

1.2.1 共轭类的集合表示

对群 \(G\) 中任意元素 \(a\)，其共轭类记作 \[ \mathrm{Cl}(a)=\{gag^{-1}\mid g\in G\}. \] 这个集合包含了 \(a\) 在群内部所有可能的共轭变形结果。若 \(a\) 与 \(b\) 共轭，则二者的共轭类相同；反之，若二者共轭类相同，则它们共轭。

1.2.2 共轭类的等价类性质

共轭关系是等价关系，因此每个元素恰好属于一个共轭类。整个群可以被分解为若干共轭类的并集，这种分解是互不重叠的。由此，共轭类为群提供了一种自然的分类方式。

这种分类方式的重要性在于，它不是按元素的表面写法来分组，而是按照群内部运算所保留的结构特征来分组，因此更能反映群的本质。

1.3 基本例子

为了理解共轭类的含义，常先从最简单和最典型的群入手。

1.3.1 阿贝尔群中的共轭类

在阿贝尔群中，任意两个元素都交换，因此对任意 \(g,a\in G\)，有 \[ gag^{-1}=a. \] 所以每个元素的共轭类都只包含它自身。换言之，阿贝尔群中的共轭类全部都是单元素集合。

这一现象说明：当群的内部交换性很强时，共轭作用不会把元素“混合”到别处去。

1.3.2 对称群中的共轭类

在对称群中，共轭类具有非常直观的组合意义。两个置换共轭，当且仅当它们具有相同的循环类型。也就是说，它们的循环分解中各类循环的长度及数量一致。

例如，在 \(S_3\) 中，恒等置换单独成类；三个换位彼此共轭；两个 3-循环彼此共轭。这样的分类方式与置换的结构直接对应，因此在有限群的研究中尤为常见。

2 共轭类的性质

共轭类不仅是分类工具，也携带大量结构信息。通过研究它们与中心、中心化子以及群作用之间的关系，可以进一步理解群的内部对称性。

2.1 共轭类与中心

中心刻画了群中那些与所有元素都可交换的元素，它们在共轭作用下表现出最稳定的行为。

2.1.1 中心元素的共轭类

群 \(G\) 的中心记作 \(Z(G)\)。若 \(z\in Z(G)\)，则对任意 \(g\in G\)，都有 \[ gzg^{-1}=z. \] 因此中心元素的共轭类都是单元素集合。也就是说，中心中的元素在群的共轭作用下不会发生变化。

2.1.2 非中心元素的共轭行为

若元素不在中心中，它通常会拥有多个不同的共轭结果，因此其共轭类大小一般大于 1。非中心元素反映出群内部真正的“旋转”或“置换”效应，是群结构中更具动态性的部分。

这类元素的共轭轨迹往往能揭示群是否具有丰富的非交换结构。

2.2 共轭类的大小

共轭类的元素个数是研究群的一个重要数量指标，它与群中的稳定性和对称性紧密相关。

2.2.1 稳定子与轨道

从群作用角度看，共轭类可视为轨道。给定元素 \(a\)，在共轭作用下其轨道就是所有 \(gag^{-1}\) 的集合。对应地，稳定子是那些把 \(a\) 保持不变的群元素所组成的子群。

这种轨道—稳定子关系提供了计算共轭类大小的基本思路：轨道越大，说明该元素在群内“可移动”的方式越多。

2.2.2 中心化子与类大小公式

元素 \(a\) 的中心化子定义为 \[ C_G(a)=\{g\in G\mid ga=ag\}. \] 它由所有与 \(a\) 交换的元素构成。共轭类大小满足公式 \[

\mathrm{Cl}(a)	=[G:C_G(a)],

\] 即共轭类的大小等于中心化子的指数。

这个公式非常实用，因为中心化子往往比直接枚举共轭类更容易求得。

2.3 共轭类分解

共轭类分解是把整个群按共轭关系划分成若干块，是研究有限群时的基础步骤。

2.3.1 群元素的共轭类划分

群中每个元素都属于某一个共轭类，所有共轭类合起来正好覆盖整个群。这个划分为后续讨论类方程、角色表等主题奠定了基础。

在实际计算中，先找出若干代表元，再求其共轭类，通常就能得到整个群的分解。

2.3.2 共轭类的互不相交性

不同共轭类之间不会有公共元素。如果两个共轭类有交集，那么交集中的元素会把这两个类联系起来，最终说明它们其实是同一个共轭类。

因此，共轭类分解是一种真正的分割，而不是重叠分类。

3 有限群中的共轭类

在有限群中，共轭类具有特别清晰的计数意义，并与群的阶、中心结构及幂次性质密切相关。

3.1 类方程

类方程是有限群论中的基本公式，它把群的阶分解为各共轭类大小之和。

3.1.1 类方程的表达式

设有限群 \(G\) 的中心为 \(Z(G)\)，取若干个非中心共轭类代表元 \(x_1,\dots,x_k\)，则有 \[

G	=	Z(G)	+\sum_{i=1}^k	\mathrm{Cl}(x_i)	.

\] 常见写法还会把每个共轭类大小表示成中心化子指数，从而得到更精细的分解形式。

3.1.2 类方程的应用

类方程可用于证明许多群论结论，尤其是在研究有限 \(p\)-群时非常有力。它能帮助判断中心是否非平凡、估计共轭类大小，并推导某些子群存在性结果。

在实际分析中，类方程常作为连接局部信息与整体结构的桥梁。

3.2 p-群中的共轭类

\(p\)-群是阶为素数幂的有限群，具有鲜明的共轭类特征。

3.2.1 中心非平凡性

有限 \(p\)-群的中心总是非平凡的。这一事实可以借助类方程得到证明：由于共轭类大小都是 \(p\) 的幂，除中心外的各类大小之和也具有特定的整除性质，从而迫使中心至少包含一个非单位元素。

这一性质说明，\(p\)-群不可能像“完全无固定点”的对象那样运作，它总会保留一定的中央对称部分。

3.2.2 类大小与幂次分析

在 \(p\)-群中，非中心元素的共轭类大小通常是 \(p\) 的幂次。这与中心化子的指数有关，因为子群阶本身也受 \(p\)-幂结构约束。

因此，类大小的幂次特征成为分析 \(p\)-群结构的重要线索。

3.3 典型有限群的共轭类

不同类型的有限群，其共轭类结构差异明显，常用于示范共轭类计算方法。

3.3.1 循环群

循环群是阿贝尔群，因此每个元素都单独成类。它的共轭类结构极其简单，常作为入门例子。

3.3.2 二面体群

二面体群描述正多边形的对称性。其共轭类通常可分为旋转部分和反射部分，不同元素的共轭行为与多边形的几何对称结构紧密对应。

例如，在某些二面体群中，旋转元素按角度成类，而反射元素则可能按轴的类型或位置分组。

3.3.3 对称群与交错群

对称群的共轭类由循环类型决定，而交错群的情形更细致，某些在对称群中同类的元素在交错群中可能被拆分成多个共轭类。这种现象与可用的共轭变换元素范围变小有关。

因此，交错群的共轭类结构比对称群更复杂，也更能体现子群限制带来的分类变化。

4 共轭类与群作用

共轭类本质上是群作用下的轨道，因此群作用理论为其提供了统一的解释框架。

4.1 轨道-稳定子对应

轨道和稳定子是群作用中的基本概念，与共轭类和中心化子形成直接对应。

4.1.1 共轭作用

群 \(G\) 可通过 \[ g\cdot x=gxg^{-1} \] 作用在自身上，这称为共轭作用。它把群内元素看作一个受内部对称性影响的对象集合。

这种作用方式不仅定义简洁，而且自然地揭示了群元素之间的结构联系。

4.1.2 轨道即共轭类

在共轭作用下，某个元素的轨道正是它的共轭类。轨道理论因此可以直接用于研究共轭类的大小、分布和分解情况。

借助这一对应关系，许多关于共轭类的问题都能转化为群作用问题来处理。

4.2 共轭作用下的不变量

在共轭作用下，某些对象保持不变，这些不变量往往蕴含重要结构信息。

4.2.1 中心化子

中心化子是元素在共轭作用下的稳定子。它反映了有多少群元素与该元素“相容”，也决定了其共轭类大小。

中心化子越大，共轭类通常越小；反之，共轭类越大，说明该元素越不容易被固定。

4.2.2 固定点集合

共轭作用的固定点集合就是中心。因为只有与所有元素都交换的元素，才会在任意共轭下保持不变。

从这个角度看，中心可被理解为共轭作用的全局不动部分。

4.3 在矩阵群中的共轭

矩阵群中的共轭与线性代数中的相似变换紧密对应，因此具有很强的可计算性。

4.3.1 相似变换

若 \(A,B\) 为同阶可逆矩阵，且存在可逆矩阵 \(P\) 使 \[ B=PAP^{-1}, \] 则称 \(A\) 与 \(B\) 相似。在线性群中，这正是共轭关系的矩阵版本。

相似矩阵具有相同的特征多项式、迹、行列式等不变量，这使得矩阵群中的共轭分类更容易借助线性代数工具展开。

4.3.2 Jordan 标准形与分类

在代数闭域上，矩阵可通过 Jordan 标准形进行分类。共轭类与 Jordan 块结构密切相关：同一共轭类中的矩阵往往具有相同的 Jordan 类型。

因此，Jordan 分解为研究矩阵群共轭类提供了标准化方法，也让分类问题具有明确的代数形式。

5 共轭类与表示论

在表示论中，共轭类与角色函数之间存在深刻联系。许多表示论对象本质上只依赖于共轭类，而不依赖于具体代表元。

5.1 类函数

类函数是在共轭下保持不变的函数，是连接群论与表示论的基础工具。

5.1.1 共轭不变函数

若函数 \(f:G\to \mathbb{C}\) 满足 \[ f(gxg^{-1})=f(x) \] 对任意 \(g,x\in G\) 成立，则称 \(f\) 为类函数或共轭不变函数。它在每个共轭类上取常值，因此可视作“按类赋值”的函数。

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 中心化子辅助计算

利用中心化子公式 \[

\mathrm{Cl}(a)	=[G:C_G(a)]

\] 可以避免直接枚举全部共轭元素。先求出与 \(a\) 交换的元素，再由指数计算类大小，通常更高效。

若再配合类方程，就能较快检验所得结果是否完整。

6.2 计算工具

现代计算代数系统可以显著提高共轭类分析的效率。

6.2.1 代数软件中的实现

在诸如 GAP、Magma 等代数软件中，通常都内置了共轭类计算功能。用户可以输入群的生成元或结构描述，软件便能自动输出共轭类、中心化子及相关信息。

这类工具尤其适合处理较大群或结构复杂的群。

6.2.2 计算示例与验证

软件计算得到的共轭类结果，通常需要结合理论进行验证，例如检查类大小之和是否等于群阶、是否与类方程一致、代表元是否覆盖全部元素等。

理论与计算相互配合，可以有效减少遗漏或误判。

6.3 常见技巧

在实际分类中，一些通用技巧可显著简化工作量。

6.3.1 利用群的生成元

若群由少数生成元给出，可以先研究生成元及其组合在共轭下的行为，再逐步推导整个群的共轭类。生成元往往决定了群的大部分结构，因此是最值得优先分析的对象。

6.3.2 利用结构定理简化分类

若已知群具有循环结构、直积结构、半直积结构或标准分解形式，就可以借助相应结构定理缩小共轭类的范围。很多时候，先分清整体结构，再做局部分析，远比直接枚举更有效。

结构定理提供了“先看骨架，再看细节”的思路，是计算共轭类时的重要捷径。