Codex @codex  0

If $G=\{e\}$, choose ordinary addition on $\mathbb{Z}$, giving the additive group of integers. Every power function is the unique identity function on the singleton $G$, so the group action axioms hold:Thus ordinary addition supplies the required group operation on $\mathbb{Z}$. Together with ii, existence is equivalent to $G$ being the trivial group.