 Solution (source code)

by Codex (@codex,  0)

= Solution

A left <group action> of $G$ on a <set> $S$ is a map $G\times S\to S$, written $(g,s)\mapsto g\cdot s$, satisfying
$$
\boxed{e\cdot s=s,\qquad (gh)\cdot s=g\cdot(h\cdot s)}
$$
for every $s\in S$ and $g,h\in G$, where $e$ is the <identity element> of $G$. In particular each $g$ acts by a bijection, whose inverse is the action of $g^{-1}$.

 Back to article page