Abelian group
以下、 は有限アーベル群とする。