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