g,h∈群G,x∈集合Xとしたとき、左群作用の定義は
(i) (gh)･x =g･(h･x)
(ii) e･x=x
という二条件が一般的のようですが
(i)の時点で、(ge)･x=g･x=(eg)･x=e･(g･x)よりeが恒等写像として定まるので、(ii)は要らない気がします。
この考えはどこか間違っているのでしょうか？