准素阿贝尔群G的、由阶为素数的元素的全体与零元所组成的集合构成G的一个子群，则其为群G的底层；并用G1表示中。