无限环/域上GLₙ(R)非有限生成的证明方法问询

嘿，咱们一步步来拆解这个问题，核心思路是用反证法，结合有限生成群的关键性质推导矛盾。

先从无限域的情况说起 #

1. 利用行列式同态的满射性：
   行列式映射 det: GLₙ(R) → R^× 是一个群同态，而且是满射的——随便取一个非零元 a∈R^×，对角矩阵 diag(a, 1, 1, ..., 1) 显然属于 GLₙ(R)，它的行列式就是 a，所以乘法群 R^× 里的每个元素都能被行列式映射打到。
2. 分析R^×的生成性：
   无限域的乘法群 R^× 绝对不可能是有限生成的：
   • 如果是不可数域（比如ℝ、ℂ），R^× 是不可数集合，但有限生成群的元素个数最多是可数的（生成元的有限组合只能产生可数个元素），这直接矛盾；
   • 如果是可数无限域（比如ℚ），R^× 同构于 ℤ/2ℤ 和无限多个ℤ的直积（比如ℚ的乘法群由-1和所有素数生成），需要无限多个生成元才能覆盖，自然不是有限生成的。
3. 反证得出结论：
   假设 GLₙ(R) 是有限生成的，那它的满同态像 R^× 也必须是有限生成的（有限生成群的同态像由生成元的像生成），但这和上面的结论矛盾。所以 GLₙ(R) 不可能是有限生成群。

再扩展到更一般的无限环（非有限生成的无限环） #

这里要注意：像ℤ这样的有限生成无限环，GLₙ(ℤ) 其实是有限生成的，所以题目里的“更一般的无限环”特指不能由有限个元素生成的无限环（比如ℚ、ℤ[x]、ℝ等）。证明思路如下：

1. 假设GLₙ(R)有限生成：
   设它的生成元是 M₁, M₂, ..., M_k，每个生成元的矩阵元素都是R里的元素，把这些元素全部收集起来，得到一个有限集合 T。
2. 构造有限生成子环R₀：
   用 T 生成R的一个子环 R₀，显然 R₀ 是有限生成的，而且所有生成元 M_i 都属于 GLₙ(R₀)——因为它们的元素都在 R₀ 里，且可逆性在子环中保持。
3. 导出矛盾：
   因为R是非有限生成的无限环，所以 R₀ 肯定不等于R，随便找一个 r ∈ R \ R₀，考虑矩阵 I + rE₁₂（单位矩阵的(1,2)位置加r），这个矩阵属于 GLₙ(R)（逆矩阵就是 I - rE₁₂），但它的元素 r 不在 R₀ 里，所以这个矩阵不属于 GLₙ(R₀)。
   但问题来了：GLₙ(R) 是由 M₁,...,M_k 生成的，这些生成元都在 GLₙ(R₀) 里，它们的乘积、逆元也必然都在 GLₙ(R₀) 里，根本不可能生成 I + rE₁₂ 这种元素，这就矛盾了。
4. 结论：
   所以假设不成立，GLₙ(R) 不是有限生成群。

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