多重循环群的一个有限定理

• A limited definition of polycyclic group