アーベル群
を持つアーベル群として定義される。