Abelian group
2つのアーベル群に対する構成.