Group action

Definition

A group action of a group $G$ on a set $A$ is a map from $G\times A \to A$ usually written as $g\cdot a$ for all $g\in G$ and $a\in A$, that satisfies the following two properties:

• for all $g_1,g_2\in G,a\in A$

---

TODO: Flesh out

---