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