命題
有限アーベル群は 0 でない限り可除(過去スレ019の764)ではない。

証明
G を 0 でない有限アーベル群とする。
n を G の位数とする。
nG = 0 であるから G は可除ではない。
証明終