请求证明：除环R上的酉模A中每个子模B都存在补子模C使A=B⊕C

嘿，这个问题我刚啃模论的时候也卡过好一阵！其实核心是要先把除环上的酉模这个前提的本质搞透——它其实就是除环上的左/右向量空间！这一下子就能把你熟悉的向量空间知识迁移过来，打通前提和结论的关联。

下面一步步拆解证明思路：

1. 先明确核心等价性：
   除环（Division Ring）满足域的所有公理，唯独乘法不要求交换，但向量空间的定义本来就不强制标量乘法交换，所以除环上的酉模和我们学过的向量空间是完全同构的结构——所有向量空间的性质（比如基的存在性、子空间的补空间存在）都能直接平移过来。

2. 用基的构造来证直和分解：

   • 先取子模B的一组基S：除环上的任意子模都是自由模（这是除环模的关键性质），所以一定能找到这样的线性无关生成集。
   • 把S扩充成整个模A的一组基S' = S ∪ T：用Zorn引理就能证明这个扩充的存在性——考虑所有包含S的线性无关子集，按包含关系排序，极大元就是A的基。
   • 令C是由T生成的子模，接下来验证A = B ⊕ C：
     • 和覆盖整个A：A中任意元素都能写成S'中元素的线性组合，拆成S的组合（属于B）和T的组合（属于C），所以A = B + C。
     • 交为零子模：如果有元素x ∈ B ∩ C，那么x既能用S的线性组合表示，又能用T的线性组合表示。而S ∪ T是基，线性无关，所以所有系数必须全为0，即x = 0。

3. 从半单模的角度再理解：
   除环上的模都是半单模，半单模的一个核心等价定义就是“每个子模都是直和项”——这其实就是你要证的结论。所以也可以从半单模的性质出发，直接调用这个等价性，但初学阶段还是用基的构造更直观。

总结一下：前提“除环上的酉模”给了你“模具有向量空间的所有核心性质”这个武器，而结论就是向量空间补空间存在性的直接推广，把域换成除环而已～

内容的提问来源于stack exchange，提问作者FlickerBeat