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