アーベル群
ベクトル空間とアーベル群に対する構成.