そのときのねじれ群は、適当な素数pに対する素冪位数巡回群Z/pkZの形の群の有限個の直和であり、自由アーベル群は無限巡回群Zの有限個のコピーの直和になっている。
前者可以被写为形如Z/pkZ对于素数p的有限多个群的直和，而后者是有限多个Z的复本的直和。