1 基本概念
直和项是描述代数对象可分解性的一类基本概念。若一个对象能够写成若干子对象的直和，则这些子对象分别称为该对象的直和项。该术语在不同分支中用法相近，但具体表述会依赖所讨论的结构类型，例如向量空间、群、模或更一般的范畴对象。
1.1 直和的定义
直和通常指若干子对象组合后形成的整体，并且各部分之间满足“相互独立、共同生成”的条件。对有限个子对象而言，直和要求每个元素都能唯一表示为各部分元素之和。在线性代数和模论中，这种表示方式对应于分解出的各分量互不重叠，且合起来恰好覆盖整个对象。
在外直和与内直和的语境中，直和既可被看作一种构造方法，也可被看作对象内部的一种分解关系。前者强调从给定对象出发建立新的整体，后者强调对象本身已经包含若干可分离部分。
1.2 直和项的定义
当一个对象写成直和时，其中参与分解的每一部分都称为直和项。若对象 \(X\) 可以表示为 \(X=A\oplus B\)，则 \(A\) 和 \(B\) 都是 \(X\) 的直和项。更一般地，若 \(X=A_1\oplus A_2\oplus \cdots \oplus A_n\)，则每个 \(A_i\) 都是直和项。
直和项并不只是“子对象”的同义说法。一个子对象只有在存在合适的补子，使整体形成直和时，才可称为直和项。因此，直和项体现的是一种可补性和可分裂性。
1.2.1 内直和与外直和
外直和是从若干对象出发构造新对象的方式，通常把各分量放在一起，并通过逐分量运算定义整体结构。内直和则发生在同一个对象内部，强调对象可分解为若干子对象，且这些子对象满足交集为零、生成整体等条件。
两者在本质上是对应的：外直和提供构造模型，内直和给出内部结构。许多定理正是通过建立这两种形式之间的同构来说明分解的合理性。
1.2.2 直和项与子结构
直和项首先是子结构，但并非任意子结构。它必须与某个补子配对，使整体恢复为原对象。换言之，直和项的关键特征是“可补”。
在实践中，判断一个子对象是否为直和项，常常要考察是否能找到另一个子对象，使两者交集平凡、和为整个对象。这一性质在向量空间中较为直观，在模和群中则更依赖结构条件。
1.3 直和项的基本性质
直和项具有若干基础性质。首先，直和分解中的各项通常彼此独立，交叠部分最小；其次，若整体分解给定，分量之间常可通过投影映射区分；再次，直和项在一定意义上保留了原对象的部分结构信息，因此常用于分类和分析。
此外，直和项的存在并不总是唯一的。即便某对象能分解为直和，不同分解方式下的项也可能不同。不过在某些类别中，如某些有限长度对象，分解会满足较强的唯一性结论。
2 代数结构中的直和项
直和项概念在多种代数结构中都能出现，但不同结构下的表现形式和判定方式并不完全相同。向量空间中最为直观，群与阿贝尔群中需要考虑运算结构，模论中则与子模、商模及分裂性质密切相关。
2.1 向量空间中的直和项
在线性代数中，直和项通常指子空间分解中的组成部分。若向量空间 \(V\) 能写成若干子空间的直和，则这些子空间就是 \(V\) 的直和项。由于向量空间具有良好的线性结构，这类分解通常最容易理解和应用。
2.1.1 基与子空间分解
一个向量空间的基往往可以诱导出多种直和分解。若基被拆分为若干组，则每组张成的子空间之间可形成直和。此时，整个空间可看作这些子空间的直和，而每个子空间便是一个直和项。
这种关系也解释了为什么直和分解与坐标表示密切相关。每个向量在不同直和项上的分量，类似于在不同基向量组上的投影。
2.1.2 维数与直和分解
有限维向量空间中，维数具有可加性。若 \(V=A\oplus B\)，则 \(\dim V=\dim A+\dim B\)。这一性质使直和分解常被用来计算维数、比较子空间大小以及验证分解是否合理。
在有限维情形下，若已知两个子空间的维数和交集情况，往往可以直接判断它们是否构成直和。这使得向量空间中的直和项具有很强的可操作性。
2.2 群与阿贝尔群中的直和项
在群论中，直和一般首先见于阿贝尔群。对于可加记号的交换群，直和与直积在有限个分量下通常一致，因此直和项的研究较为自然。若一个阿贝尔群可分解为若干子群的直和，这些子群即为直和项。
2.2.1 子群直和分解
阿贝尔群中的直和分解要求各子群之间交集平凡，并且它们的和覆盖整个群。由于群运算的加法性质，元素可唯一写成各子群元素之和，这与向量空间的情形相似，但整体结构通常更为复杂。
在非交换群中，类似概念也可出现，但需要更谨慎地处理子群之间的相互作用。通常只有在特定条件下，直和思想才能直接迁移。
2.2.2 循环群的直和表示
有限阿贝尔群常可分解为若干循环群的直和，这是经典结构定理的重要内容。每个循环分量都可看作整体的一个直和项，而整个群则由这些分量拼合而成。
这种表示不仅有助于分类，也便于研究群的阶、元素阶以及同构类型。循环分量的选择在一定意义上反映了群的内部结构层次。
2.3 模论中的直和项
模论是直和项概念最核心的应用领域之一。模作为环上的加法群，同时带有标量作用，因此其直和分解兼具群论和线性代数的特点。子模是否为直和项，通常取决于是否存在补模。
2.3.1 子模与补模
给定模 \(M\) 的子模 \(N\)，若存在子模 \(L\) 使得 \(M=N\oplus L\)，则称 \(L\) 为 \(N\) 的补模，而 \(N\) 便是 \(M\) 的直和项。补模的存在意味着 \(N\) 不仅嵌入于 \(M\)，还能够在结构上独立分离出来。
在模论中，补模不一定唯一，甚至有时可能不存在。这也使得“是否为直和项”成为判断子模结构的重要问题。
2.3.2 直和分解与模同构
模的直和分解与同构分类紧密相关。若两个模同构，它们的直和分解类型在很多情形下会受到严格限制；反过来，某些分解形式又能帮助识别模的同构类。
通过直和项，复杂模可被拆解为较简单的部分，再分别研究其性质。这种方法在有限生成模、半单模以及某些分解定理中尤为有效。
3 直和项的判定与构造
判定一个子对象是否为直和项，通常需要结合交集、生成、映射和代数条件等多方面信息。构造直和分解则往往依赖显式方法或借助幂等算子完成。
3.1 判定直和的方法
最常见的判定思路是验证“和是否覆盖整体”以及“交集是否足够小”。在不同结构中，这一思想会转化为不同的具体条件，但核心仍是确认分解是否真正互补。
3.1.1 交集条件
若两个子对象的交集只有零元，那么它们具备直和的必要条件之一。对于子空间、子模和某些子群，这一条件常与“相互独立”相对应。
不过，仅有交集平凡并不足以保证直和，还必须进一步确认它们的和是否等于整体。交集条件因此通常只是判定的第一步。
3.1.2 生成条件
生成条件要求若干子对象的和能够覆盖整个原对象。若一个对象中每个元素都可写成来自各子对象的元素之和，则这些子对象共同生成整体。
当生成条件与交集条件同时成立时，便可得到直和分解。这种双重检验在具体计算中十分常用。
3.2 构造直和分解
构造直和分解通常有两条路径：一是直接给出分量并验证其满足直和条件，二是借助线性或模同态构造投影，从而提取分量。
3.2.1 显式分解
显式分解指直接把对象表示为若干可识别的部分，并逐项检查其和与交集性质。在向量空间中，常通过选取合适基并分组实现；在阿贝尔群和模中，则可通过生成元及关系式来寻找合适的分量。
这种方法直观，但往往依赖对对象结构的较深入了解。
3.2.2 利用投影算子构造
投影算子是构造直和分解的重要工具。若存在一个自映射，将对象映到某个子对象上，并在该子对象上保持不变，那么该映射常可用来定义直和分解。
投影将整体分成“像”和“核”两部分。若映射满足合适条件，则对象可写成像与核的直和，而像与核分别成为直和项。
3.3 幂等元与直和项
幂等元与直和分解之间存在深刻联系。在线性代数、环论和范畴论中，幂等性常意味着某种分裂现象，而这种分裂正对应于直和项的出现。
3.3.1 幂等端同态
幂等端同态指满足 \(e^2=e\) 的自同态或端同态。这样的映射重复作用后结果不变，因此可以视为一种“稳定投影”。
幂等端同态的像与核往往构成互补部分。它们为寻找直和项提供了代数化手段，也使分解不必依赖逐个元素的分析。
3.3.2 由幂等元得到分解
在某些代数结构中，幂等元本身就能诱导分解。例如在环模理论里，幂等元可将对象拆成两个相互补充的部分。对应的直和项往往由幂等元作用下的像来给出。
这类构造的重要性在于，它把抽象的“可分解性”转化为可计算的对象，从而便于分类和证明。
4 相关理论与推广
直和项不是孤立概念，而是与短正合列、不可分解对象、唯一分解理论以及范畴论中的余积等主题密切相连。通过这些联系，直和项被放入更广泛的结构框架中理解。
4.1 分裂短正合列
短正合列描述对象之间的嵌入与商结构，而分裂情形则对应于某种直和表示。直和项在这里扮演了连接子对象与整体对象的重要角色。
4.1.1 分裂条件
若一个短正合列满足某些补分裂条件，例如存在截面或重traction，则该列可分裂。分裂后，中间对象往往同构于两端对象的直和。
这表明分裂条件实质上是在寻找直和项及其补项。
4.1.2 与直和项的对应关系
在分裂短正合列中，子对象常成为整个对象的直和项，而商对象则通过补模或截面嵌入整体。因而，直和项可以看作分裂现象的结构化表达。
这种对应关系在模论和阿贝尔范畴中尤为重要，是研究对象可拆性的一条主线。
4.2 不可分解对象
并非所有对象都能继续分成非平凡直和。那些不能再写成非平凡直和的对象，称为不可分解对象。它们在分解理论中扮演“原子”式角色。
4.2.1 Krull–Schmidt 类结果
Krull–Schmidt 类结果研究对象能否分解为不可分解直和项，以及这种分解是否唯一。若满足相应有限性和分解条件，则对象的分解结构可被较严格地控制。
这类结果使直和项不只是分解单位，也成为研究唯一性与稳定性的基础工具。
4.2.2 直和分解的唯一性
直和分解的唯一性并非普遍成立，但在某些有限长度或满足特定交换性质的范畴中，可以得到较强的唯一性结论。此时，虽然分解的书写方式可能不同，但对应的不可分解项在本质上是一致的。
唯一性理论帮助人们判断分解是否“本质相同”，从而提升了直和项在分类问题中的价值。
4.3 范畴论中的直和
在范畴论中，直和一般对应余积的特殊情形。该观点把传统代数中的分解思想推广到更抽象的对象与态射框架中。
4.3.1 对象的余积
余积是范畴论中描述对象“并置组合”的基本构造。对于加性范畴中的对象，余积常与直和一致，因此可视为直和的范畴化表述。
从这个角度看，直和项就是余积分解中的组成对象。它们通过泛性质而不是具体元素来刻画。
4.3.2 可分解对象与直和项
可分解对象指能够写成非平凡直和的对象。若对象可分解，则其分量即为直和项；若对象不可再分，则它在某种意义上是直和理论中的基本单元。
范畴论提供了一种统一语言，使向量空间、模和阿贝尔群中的直和项能够在同一框架下讨论，并进一步推广到更一般的数学对象中。