 One-sided group axioms criterion

An associative binary operation $\ast$ on a nonempty set $X$ makes $X$ a group if there is $e\in X$ with $x\ast e=x$ for every $x$, and every $x$ has some $z$ with $x\ast z=e$. No left identity element or left inverse element assumption is needed. First, an idempotent element of a semigroup $y$ satisfies $y=e$: choose $z$ with $y\ast z=e$ and compute $y=y\ast e=y\ast (y\ast z)=(y\ast y)\ast z=y\ast z=e$. If $x\ast z=e$, then $(z\ast x)\ast (z\ast x)=(z\ast (x\ast z))\ast x=(z\ast e)\ast x=z\ast x$, so $z\ast x=e$ by the previous observation. Finally, $e\ast x=(x\ast z)\ast x=x\ast (z\ast x)=x\ast e=x$. Thus all group axioms follow.