>>750
アーベル群に関しては2つ間違ってる
まず分配法則は演算2つに対して考えるので、演算が1つしかない群では出てこない
正解は結合法則
その上、結合法則、零元、逆元ではただの「群」
これに交換法則がくわわると「アーベル群」

これを踏まえてベクトル空間(線型空間)については、ベクトル空間の要素の全体がその和に関してアーベル群となる、つまり上の4つの条件を満たす+残りの4つとなる