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