关于证明线性代数群中博雷尔子群内的Maximal torus在G中也为Maximal torus的方法问询

架构老林

2026-4-22

如何证明博雷尔子群中的极大环面也是整个线性代数群的极大环面？

嘿，这个问题问得特别好！好多教材都直接把这个结论当默认常识，但其实背后的逻辑很值得捋一捋，我给你分享两种常用的证明思路，你可以根据自己已经掌握的知识点来选：

方法一：利用维度与群秩的关系
先记几个关键的基础结论：
1. 线性代数群的秩定义就是它的极大环面的维数；
2. 博雷尔子群的秩和整个群$G$的秩是相等的——这是因为博雷尔子群必然包含$G$的某个极大环面，反过来任何环面都能嵌入到某个博雷尔子群中。
现在，既然$T$是$B$中的极大环面，那它的维数就等于$B$的秩，也就是$G$的秩。如果假设$G$中存在一个更大的环面$T' \supset T$且$T' \neq T$，那$\dim T' > \dim T$，这就意味着$G$的秩要大于$\dim T$，直接和上面的结论矛盾。所以$T$必然是$G$中的极大环面。
方法二：利用共轭性质推导
同样先明确两个核心结论：
1. 线性代数群中所有的博雷尔子群都是共轭的，所有极大环面也都是共轭的；
2. 任何环面都包含在至少一个博雷尔子群中。
假设$T$在$B$中是极大环面，但不是$G$中的极大环面，那必然存在一个更大的环面$T' \supset T$。根据结论2，$T'$会包含在某个博雷尔子群$B'$里。
由博雷尔子群的共轭性，存在$g \in G$使得$gBg^{-1} = B'$。此时$gTg^{{-1}$是$B'$中的环面，而且因为共轭操作会保持子群的极大性，$gTg}{-1}$必然是$B'$中的极大环面。
但$gTg^{-1} \subset gT'g^{-1} \subset B'$，而$gT'g^{{-1}$是$B'$中的环面，这就和$gTg}{-1}$是$B'$中的极大环面相矛盾——极大环面不可能被更大的环面包含。所以假设不成立，$T$一定是$G$中的极大环面。