＞(ge)･x=g･x=(eg)･x=e･(g･x)よりeが恒等写像として定まるので

ちょっと何言ってるのかわからない