もうすこし一般にがを割り切るならば、位数の部分群が存在することもわかる。