阿贝尔群层

准素阿贝尔群G的、由阶为素数的元素的全体与零元所组成的集合构成G的一个子群，则其为群G的底层；并用G1表示中。[1]准素阿贝尔群G称为具有限底层的，如果群G的底层G1是一个有限群。具有限底层的准素阿贝尔群，如果它不包含无限高度元素，则它可分解成有限多个循环群的直和，这即为阿贝尔群层的简单定义。[1]