1 定义与基本概念
交换子是用来度量两个元素在某种运算下偏离交换规律程度的代数对象。若两个元素能够自由交换，则相应的交换子通常退化为单位元、零元或零算子；若不能交换，则交换子会记录这种“失配”所带来的额外信息。它在抽象代数中具有统一的思想：通过一个由两元素共同决定的构造，提取非交换性的核心特征。
1.1 交换子的直观含义
从直观上看，交换子描述的是“先做A再做B”和“先做B再做A”之间的差别。对于交换运算，这两种顺序没有区别；而在非交换情形下，顺序会影响结果，交换子便用来把这种影响显式表示出来。因此，它不仅是一个计算工具，也是一种刻画结构偏离对称性的语言。
1.2 群中的交换子定义
在群论中，交换子是最常见、也最具代表性的定义形式。设群中元素为 \(a,b\)，其交换子通常写作 \([a,b]\) 或 \(a^{-1}b^{-1}ab\)，用于衡量这两个元素是否可交换。若 \(ab=ba\)，则该交换子等于单位元；反之，它会反映二者交换失败的具体偏差。
1.2.1 乘法记号下的标准形式
在乘法记号下，群元素 \(a\) 与 \(b\) 的交换子常定义为 \[ [a,b]=a^{-1}b^{-1}ab. \] 这一写法广泛使用，原因在于它能在同一表达式中同时包含元素及其逆元，并自然适应群运算的结合律。也有文献采用相近但顺序略有不同的记号，核心思想不变，都是从“交换前后”的比较中抽取信息。
1.2.2 与换位子、对易子的关系
“换位子”“对易子”等术语在不同文献中有时会被用来指代同一概念，尤其是在群论与算子理论中更为常见。不过，在某些分支里，“对易子”也可能专门指线性或双线性结构中的括号运算，因此需要结合上下文理解。总体而言，这些术语都围绕“交换失败”这一共同主题展开。
1.3 环与李代数中的对应概念
交换子的思想并不局限于群论，也广泛出现在环、李代数及算子代数中。虽然具体写法不同，但它们都以“两个对象相减后的非对称部分”为核心，服务于对非交换结构的研究。
1.3.1 李括号中的交换子
在李代数中，括号运算 \([x,y]\) 本身就承担了交换子的角色。它满足双线性、反对称性以及雅可比恒等式，是李代数结构的基本组成部分。这里的“交换子”不再是由群元素经乘积拼接得到的表达式，而是直接作为代数运算出现，用来编码无穷小对称变换之间的关系。
1.3.2 算子代数中的对易子
在算子代数中，交换子通常写作 \[ [A,B]=AB-BA, \] 其中 \(A\) 和 \(B\) 是算子或矩阵。这个定义非常直观：若 \(AB=BA\)，则对易子为零；若不相等，则其差值体现了二者的非交换性。此形式在矩阵理论、泛函分析以及量子理论中都极为重要。
2 基本性质
交换子具有一系列稳定而实用的性质，这些性质使它成为研究非交换结构的核心工具。不同代数系统中的具体公式略有差异，但许多规律在形式上彼此呼应。
2.1 交换子的对称性与反对称性
在群论中，交换子通常不具有对称性，\([a,b]\) 与 \([b,a]\) 一般不相同。不过它们之间存在明确关系，常可互为逆元或通过共轭联系起来。在线性代数和李代数中，对易子则常表现出反对称性，例如 \([x,y]=-[y,x]\)，这反映了括号运算对顺序的敏感性。
2.2 逆元与共轭下的行为
交换子在取逆和做共轭变换时通常具有较好的相容性，这也是它在群结构研究中格外有用的原因。通过这些性质，可以把局部计算转化为全局信息，并追踪元素在同构或共轭作用下的变化。
2.2.1 交换子的逆元公式
群中的交换子满足若干常见逆元公式。例如， \[ [a,b]^{-1}=[b,a], \] 这一关系在多种记号约定下都可相应调整。它说明交换子的逆元仍可由同一对元素的反向顺序给出，因而交换子的结构具有很强的闭合性和可追踪性。
2.2.2 共轭不变性
若 \(g\) 是群元，则交换子在共轭下通常满足 \[ [a,b]^g=[a^g,b^g], \] 其中 \(x^g=g^{-1}xg\)。这表明共轭变换会把交换子映射为相应共轭元素的交换子。此性质使交换子自然适合研究群的内在对称结构，也便于在分类和表示问题中使用。
2.3 与单位元、幺元相关的特殊情形
当其中一个元素是单位元时，交换子通常退化为平凡元。对于群而言，若 \(a=e\) 或 \(b=e\)，则 \([a,b]=e\)。在环或算子情形下，若某个对象与单位元相乘不改变另一个对象，则对应对易子也会变为零。这类特殊情形常被用作检验公式正确性的基本基准。
2.4 交换子子群与生成关系
交换子不仅可以单独计算，还能生成一个重要的子结构，即交换子子群。该子群由所有交换子的乘积及其有限组合构成，集中反映群的非阿贝尔部分。它是研究群的阿贝尔化、导出列以及可解性的重要起点。
3 交换子的计算
交换子的计算通常依赖于一些标准恒等式和展开公式。掌握这些公式后，可以较系统地处理复杂乘积中的非交换项，并在具体群或代数对象中进行归约。
3.1 常见计算公式
交换子的基本计算往往从定义出发，再借助结合律、逆元性质和共轭规则进行化简。对于由多个元素组成的乘积，常可把整体交换问题拆分为若干局部交换问题，从而降低难度。
3.1.1 两元素交换子的展开
群中两元素交换子的标准展开为 \[ [a,b]=a^{-1}b^{-1}ab. \] 若进一步改写，可得到若干等价形式，例如 \[ ab=ba\,[a,b]. \] 这类表达式说明：两个元素的乘积与交换顺序有关，其差异可完全由交换子补偿。
3.1.2 交换子与乘积的分解
对乘积的交换子，常可通过分解公式表示，例如 \([ab,c]\) 与 \([a,bc]\) 可展开为若干更简单交换子的乘积。这样的公式在处理长串元素时尤其有效，因为它把复杂问题拆解为多个基本交换关系。不同文献中的具体排列顺序可能略有区别，但总体思路一致。
3.2 交换子恒等式
交换子满足一系列著名恒等式，这些公式在群论中具有基础地位，并常用于证明更高层次的结构结论。它们反映了交换子运算与结合律、共轭以及嵌套括号之间的深层联系。
3.2.1 三子交换子恒等式
三子交换子恒等式涉及三个元素之间的嵌套交换关系。它通常用于描述二重交换子与单重交换子之间的转换，帮助分析较高层次的非交换效应。此类恒等式在导出列、下中心列以及幂零群研究中尤为常见。
3.2.2 Hall-Witt 恒等式
Hall-Witt 恒等式是群论中非常重要的交换子恒等式之一，常用于处理三个元素之间更精细的交换关系。它揭示了若干三重交换结构之间的平衡约束，在证明群的深层性质时十分有力。由于其形式较为复杂，通常在系统研究交换子结构时才会完整展开。
3.3 具体群中的计算示例
在具体群中，交换子的计算有助于将抽象理论落到可操作的层面。通过实例可以看出，不同群的交换子结构差别很大，有的群交换子丰富，有的则几乎全部退化。
3.3.1 对称群中的交换子
在对称群中，交换子可以由置换的复合顺序直接算出。由于置换本身一般不交换，因此交换子往往不是单位元。通过计算若干典型置换的交换子，可以观察到交换子子群如何捕捉群的非阿贝尔性，并进一步揭示其生成结构。
3.3.2 幂零群中的交换子
在幂零群中，交换子呈现出逐层衰减的特征。越高阶的嵌套交换子往往越容易落入较深的中心层，最终趋于平凡。这种“交换子逐渐消失”的性质正是幂零群结构的重要体现，也是其理论与可计算性之间联系紧密的原因。
4 相关结构与理论
交换子不是孤立概念，而是与若干基础结构紧密相连。交换子子群、中心、中心化子以及群的层次分解，都是围绕它展开的重要主题。
4.1 交换子群
交换子群是群论中的核心对象之一，它把所有交换子收集起来，形成一个反映非交换性的整体结构。通过它可以把群与其最接近的交换化版本联系起来。
4.1.1 定义与生成元
交换子群通常记为 \(G'\) 或 \([G,G]\)，由群中全部交换子生成。这里的“生成”指的是通过有限乘积、取逆与群运算形成最小子群。它集中记录了群中所有偏离交换的部分，因此常被视为群的“非阿贝尔核心”。
4.1.2 阿贝尔化与商群
将群除以其交换子群，可得到阿贝尔化商群。这个商群是与原群最接近的阿贝尔群，等价地说，它把所有交换子视为平凡元，从而强制群变为交换结构。阿贝尔化在分类、同态研究和普遍性质描述中非常常见。
4.2 中心与中心化子
中心和中心化子分别从“与所有元素都交换”以及“与指定元素交换”的角度刻画群的对称性。交换子则提供了检验这些性质的直接工具。
4.2.1 与交换子的联系
若某元素位于中心，则它与任意元素的交换子都为单位元。反过来，若一个元素与所有元素的交换子都平凡，那么它通常属于中心。中心化子则可理解为针对某个对象的局部中心版本，交换子在其中起到判别作用。
4.2.2 非交换性的测度
交换子常被视为非交换性的“测量值”。交换子越多、越复杂，结构通常越偏离阿贝尔情形；交换子越趋于平凡，结构则越接近交换。虽然这种“测度”不是数值型指标，但在结构层面非常有效。
4.3 下中心列与导出列
下中心列与导出列是研究群层次结构的两条重要链条，交换子在其中扮演枢纽角色。它们把群的复杂性分解为逐层递进的交换信息，便于分析可解性与幂零性。
4.3.1 交换子在列中的作用
在导出列中，每一层通常由上一层的交换子生成，反复取交换子会不断提取更深的非交换部分。在下中心列中，交换子与逐层中心化密切相关，嵌套交换子会受到越来越强的约束。两种列虽然定义不同，但都离不开交换子运算。
4.3.2 可解性与幂零性
若导出列最终降为平凡子群，则群可解；若下中心列最终降为平凡子群，则群幂零。交换子在这两类性质的判断中都具有决定意义，因为它们本质上都在衡量“反复消除非交换性”是否会在有限步内完成。
5 不同代数分支中的交换子
交换子思想跨越多个代数分支，但在每个领域中都有适合自身结构的具体表达方式。理解这些差异，有助于把握“交换失败”这一统一概念的广泛适用性。
5.1 群论中的交换子
群论中的交换子是最标准的形式，通常以 \(a^{-1}b^{-1}ab\) 表示。它与交换子子群、导出列、幂零性和可解性等概念密切相关，是研究离散代数结构的重要基础。
5.2 环论中的对易子
在环论中，对易子可用于研究乘法是否交换。由于环同时具有加法和乘法结构，因此相关概念也常与双线性展开、理想以及中心元素联系在一起。
5.2.1 加法对易子
加法通常是交换的，因此严格说来它的对易子并不承担与乘法同样的角色。但在某些广义框架中，也会通过差值或括号形式来描述加法结构中的相容关系。此时，“对易子”更多是类比性的术语，而非标准的非交换测度。
5.2.2 乘法对易子的应用
乘法对易子 \(ab-ba\) 在非交换环中非常常见，可用于判别元素是否处于中心、研究理想结构以及分析环的交换化过程。它还会出现在矩阵环、算子环和若干代数几何相关问题中，作为局部非交换信息的基本载体。
5.3 李代数中的括号
李代数把括号直接作为基本运算，因此“交换子”在这里不仅是工具，更是结构本身。它体现了无穷小变换之间的相互作用，是李理论的核心语言。
5.3.1 李括号的代数意义
李括号满足反对称性和雅可比恒等式，因此能自然描述元素之间的线性化交换关系。它反映了代数对象在无穷小层面的非交换结构，并在几何、微分方程和对称群研究中扮演基础角色。
5.3.2 结构常数与表示
在选定基后，李括号可用结构常数表示，这些常数刻画了基元素之间的交换关系。表示理论中，括号运算还会通过矩阵或线性算子呈现，从而把抽象代数结构转化为可计算的线性模型。
5.4 作用于算子代数中的交换子
在算子代数中，交换子是连接代数与分析的重要桥梁。它不仅用于描述算子之间的非交换性，也与谱理论、量子力学以及自伴性等问题密切相关。
5.4.1 量子力学中的形式
量子力学里常使用算子对易子来表达可观测量之间的关系。若两个算子对易，则它们通常可以在某种意义上同时刻画系统状态；若不对易，则体现了测量顺序的影响。交换子因此成为量子理论中极为常见的符号工具。
5.4.2 自伴算子的相关性质
自伴算子在物理和谱理论中具有重要地位，而它们之间的交换子往往决定某些对称性和演化行为。若两个自伴算子对易，则结构更易分析；若不对易，则通常意味着更复杂的谱性质或动力学特征。交换子在这里起到揭示结构耦合的作用。
6 应用
交换子的应用范围很广，既可用于纯代数结构分析，也可进入几何、表示论与物理建模等领域。凡是涉及非交换关系的场合，交换子往往都能提供直接而有效的描述。
6.1 研究非交换结构
交换子是判断一个结构是否接近交换的基本工具。通过观察交换子是否平凡、交换子子群是否较小、嵌套交换子是否迅速衰减，可以迅速把握对象的非交换程度，并据此开展分类与比较。
6.2 判定可解与幂零性质
在群论中，交换子与导出列、下中心列密不可分，因此可解性与幂零性常可借由交换子行为来判断。若交换子反复生成的层级最终消失，则群往往具有良好的分解性质，便于进一步分析。
6.3 描述对称性破缺
在许多数学和物理情境中，对称性破缺可以借助不对易关系来表达。交换子不为零，往往意味着某些操作无法同时兼容，或者某种理想化对称被现实结构所打破。由此，交换子成为描述“偏离理想对称”现象的自然语言。
6.4 在表示论中的作用
表示论中，交换子可以帮助分析群、李代数或算子在表示空间中的作用方式。通过考察哪些元素在表示下对易、哪些元素只在某种弱意义下对易，可以得到关于不可约性、分解方式及结构层次的重要信息。
6.5 在物理中的常见出现
交换子在物理理论中经常出现，尤其是在经典与量子框架的对比中更为突出。它不仅是形式语言，也常对应可观测量之间的真实相互约束。
6.5.1 经典力学中的泊松括号类比
在经典力学中，泊松括号与交换子有明显类比关系。二者都用于描述两个量在动力学上的相互作用与演化耦合。虽然它们所处的数学框架不同，但“通过括号运算反映非交换性或非平凡耦合”这一思想是相通的。
6.5.2 量子力学中的对易关系
量子力学中的基本对易关系直接反映可观测量之间的结构约束。位置、动量等算符若不对易，就会带来测量顺序效应以及不确定性特征。交换子因此成为量子形式体系中最常见、也最具解释力的符号之一。
7 历史与术语
交换子的形成与发展与现代代数学的成熟密切相关。随着群论、李理论和算子理论的建立，交换子逐渐从单一技巧发展为跨领域的统一概念。
7.1 术语来源
“交换子”这一名称直接来自“交换”与“子结构”或“子量”的语义联想，强调其用来刻画交换失败的作用。英文中的 commutator 也具有同样含义，指向元素之间的对易关系。该术语在不同学科中保留了统一核心，但应用语境有所变化。
7.2 记号演变
交换子的记号经历了从文字描述到符号化表达的过程。群论中常见 \([a,b]\) 或 \(a^{-1}b^{-1}ab\)，环和算子理论中则常写为 \([A,B]=AB-BA\)。李代数进一步把括号直接作为结构运算，使记号与概念紧密合一。
7.3 相关概念的比较
交换子与对易子、李括号之间既有关联，也有分工。它们共享“比较两个对象交换性”的思想，但在具体定义、适用对象和代数公理上并不完全相同。
7.3.1 交换子与对易子
在很多场合，“交换子”和“对易子”几乎可以互换使用，尤其是在群论与算子理论中。然而在更细致的语境里，对易子有时专指算子差 \(AB-BA\)，而交换子则更常指群中的 \(a^{-1}b^{-1}ab\)。二者在精神上相近，但形式上需区分。
7.3.2 交换子与李括号
李括号可以看作李代数中的交换子运算，但它不是从乘积差直接定义，而是作为基本二元运算公理化地给出。与群交换子相比，李括号更强调线性结构和无穷小变换的代数性质。两者都用于刻画非交换性，只是所处层面不同。