关于交换代数群的问询：复交换代数群是否均形如ℂⁿ/Λ？

嘿，咱们来一步步梳理你的两个问题：

1. 什么是交换代数群？ #

简单来说，交换代数群是同时具备代数簇结构和交换群结构的数学对象，而且这两种结构必须是兼容的——意思是群里的加法（或者乘法，交换群用加法更直观）运算，还有求逆元的操作，都是代数簇之间的代数态射（可以理解成“多项式级别的映射”）。

举几个常见的例子：

• 复平面上的加法群$\mathbb{C}$：既是复代数簇（整个复平面），也是交换群（复数加法），加法运算$(z,w)\mapsto z+w$显然是多项式映射。
• 乘法群$\mathbb{C}^*$（去掉原点的复平面）：群运算为复数乘法，满足代数态射要求，同时是交换群。
• 椭圆曲线：作为1维紧复交换代数群，它的结构就是$\mathbb{C}/\Lambda$（$\Lambda$是$\mathbb{C}$里的满秩格），这也是咱们第二个问题要聊的典型结构。

2. 请问是否每个复交换代数群都可以表示为$\mathbb{C}^{n/\Lambda$的形式，其中$\Lambda\subseteq\mathbb{C}}n$是格（不一定是满秩的）？ #

答案是肯定的，咱们拆解一下原因：

首先明确这里的“格”指的是$\mathbb{C}^n$中离散的有限生成阿贝尔子群。复交换代数群有一个经典的结构定理：任何复交换代数群$G$都能分解为线性交换代数群和阿贝尔簇的直积，也就是$G \cong \mathbb{C}^k \times A$，其中$A$是$m$维阿贝尔簇（紧的复交换代数群）。

而这两部分都能写成$\mathbb{C}^n/\Lambda$的形式：

• 线性部分$\mathbb{C}^{k$：可以看作$\mathbb{C}}k / {0}$，这里${0}$就是秩为0的格，完全符合“不一定满秩”的条件。
• 阿贝尔簇$A$：根据定义，它本身就同构于$\mathbb{C}^{m/\Lambda'$，其中$\Lambda'$是$\mathbb{C}}m$里的满秩格（秩为$2m$，因为复格在实向量空间中是$2m$维的）。

把两部分合并起来，$G \cong \mathbb{C}^{k+m}/({0} \times \Lambda')$，这里${0} \times \Lambda'$是$\mathbb{C}^{k+m}$里秩为$2m$的格（除非$k=0$，否则不是满秩），完全匹配你问题里的形式。

再举个具体例子：乘法群$\mathbb{C}^*$，它同构于$\mathbb{C}/2\pi i\mathbb{Z}$，这里$\Lambda=2\pi i\mathbb{Z}$是$\mathbb{C}$里秩为1的格（不是满秩的，$\mathbb{C}$作为复空间的满秩格秩为2，比如$\mathbb{Z}+i\mathbb{Z}$），这也验证了结论。

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