アーベル群
と表し、 はアーベル群 の部分群である。