今更だけど要は二項演算×が
∀g,h ∃x,y gx=h, yg=h
∀g,h,k (gh)k=g(hk)
を満たすなら群になるんだな
ベクトル空間がどうたら関係ない