%0 Journal Article
%T 换位子群是不可分Abel群的有限秩可除幂零群<br>Radicable Nilpotent Groups of Finite Rank with Indecomposable Abelian Commutator Subgroups
%A 刘合国
%A 张继平
%A 廖　军
%J 数学年刊（A辑）
%D 2018
%R 10.16205/j.cnki.cama.2018.0025
%X 完整地确定了换位子群是不可分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$的充分必要条件是它们有相同的不变量.<br>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$,
%K 幂零群
%K 局部循环群
%K 中心
%K 换位子群
%K 可除群&lt
%K br&gt
%K Nilpotent group
%K Locally cyclic group
%K center
%K Commutator subgroup
%K Radicable group
%U http://www.camath.fudan.edu.cn/camacn/ch/reader/view_abstract.aspx?file_no=39A304&flag=1