>>104
これは駄目だ。(1)に「逆元の存在」が仮定されていない。
これだけでは「逆元を持たない元の存在」を否定できない。すなわち通常の加法を表すことが出来ない。(1)はVが加法群であることの要請。