换位子群是不可分Abel群的有限秩可除幂零群
Radicable Nilpotent Groups of Finite Rank with Indecomposable Abelian Commutator Subgroups

完整地确定了换位子群是不可分Abel群的有限秩可除幂零群的结构, 证明了下面的定理. 设$G$是有限秩的可除幂零群, 则$G$的换位子群是不可分Abel群当且仅当$G'=\mathbb{Q}$或$\mathbb{Q}_p/\mathbb{Z}$且$G$可以分解为$G=S\times D$, 其中当$G'=\mathbb{Q}$时, $$ S=\left\{\left[ \begin{array}{ccccccc} 1&a_{12}&a_{13}&a_{14}&\cdots&a_{1~r+1}&a_{1~r+2}\0&1&0&0&\cdots&0&a_{2~r+2}\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\0&0&0&\cdots&1&0&a_{r~r+2}\0&0&0&\cdots&0&1&a_{r+1~r+2}\0&0&0&\cdots&0&0&1 \end{array} \right]\left| \begin{array}{c} ~~\~~\~~\a_{ij}\in \mathbb{Q} \~~\~~\~\ \end{array} \right. \right\}, $$ 当$G'=\mathbb{Q}_p/\mathbb{Z}$时, $S$有中心积分解$S=S_1\ast S_2\ast\cdots \ast S_r$, 并且可以将$S$形式化地写成 $$ S=\left\{\left[ \begin{array}{ccccccc} 1&a_{12}&a_{13}&a_{14}&\cdots&a_{1~r+1}&b_{1~r+2}\0&1&0&0&\cdots&0&a_{2~r+2}\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\0&0&0&\cdots&1&0&a_{r~r+2}\0&0&0&\cdots&0&1&a_{r+1~r+2}\0&0&0&\cdots&0&0&1 \end{array} \right]\left| \begin{array}{c} ~~\~~\~~\a_{ij}\in \mathbb{Q} \b_{1~r+2}\in \mathbb{Q}_p/\mathbb{Z}\~~\~~\ \end{array} \right. \right\}, $$ 其中$D\cong \underbrace{\mathbb{Q}\oplus\mathbb{Q}\oplus\cdots\oplus\mathbb{Q}}_s \bigoplus\bigoplus\limits_{k=1}^t(\mathbb{Q}_{\pi_k}/\mathbb{Z})$, 式中$s$, $t$都是非负整数, $\mathbb{Q}$是有理数加群, $\pi_k$ $(k=1, 2,\cdots,t)$是某些素数的集合, 满足$\pi_1\subseteq\pi_2\subseteq \cdots \subseteq \pi_t$, $\mathbb{Q}_{\pi_k}=\{\frac mn\mid(m,n)=1, m\in \mathbb{Z}, n\mbox{ 为正的$\pi_k${-}数 }\}$. 进一步地, 当$G'=\mathbb{Q}$时, $(r; s; \pi_1, \pi_2, \cdots, \pi_t)$是群$G$的同构不变量; 当$G'=\mathbb{Q}_p/\mathbb{Z}$时, $(p, r; s; \pi_1, \pi_2, \cdots, \pi_t)$是群$G$的同构不变量. 即若群$H$也是有限秩的可除幂零群, 它的换位子群是不可分Abel群, 那么$G$同构于$H$的充分必要条件是它们有相同的不变量.
The structure of the radicable nilpotent groups of finite rank with indecomposable abelian commutator subgroups is completely determined. More exactly, the following theorem is proved. Let $G$ be a radicable nilpotent group of finite rank. Then the commutator subgroup of $G$ is indecomposable and abelian if and only if $G'=\mathbb{Q}$ or $\mathbb{Q}_p/\mathbb{Z}$ and $G$ has a decomposition $G=S\times D$, where $$ S=\left\{~~\left[ \begin{array}{ccccccc} 1&a_{12}&a_{13}&a_{14}&\cdots&a_{1~r+1}&a_{1~r+2}\0&1&0&0&\cdots&0&a_{2~r+2}\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\\vdots&\vdots&\ddots&\ddots&\vdots&\vdots&\vdots\0&0&0&\cdots&1&0&a_{r~r+2}\0&0&0&\cdots&0&1&a_{r+1~r+2}\0&0&0&\cdots&0&0&1 \end{array} \right]~~\left| \begin{array}{c} ~~\~~\~~\a_{ij}\in \mathbb{Q} \~~\~~\~\ \end{array} \right. \right\}, $$ if $G'=\mathbb{Q}$ and $S=S_1\ast S_2\ast\cdots\ast S_r$,