Cartesian Product of Group Actions

Theorem
Let $\left({G, \circ}\right)$ be a group.

Let $S$ and $T$ be sets.

Let $*_S: G \times S \to S$ and $*_T: G \times T \to T$ be group actions.

Then the operation $*: G \times \left({S \times T}\right) \to S \times T$ defined as:
 * $\forall \left({g, \left({s, t}\right)}\right) \in G \times \left({S \times T}\right): g * \left({s, t}\right) = \left({g *_S s, g *_T t}\right)$

is a group action.

Proof
The group action axioms are investigated in turn.

Let $g, h \in G$ and $s, t \in S$.

Thus:

demonstrating that group action axiom $GA\,1$ holds.

Then:

demonstrating that group action axiom $GA\,2$ holds.

The group action axioms are thus seen to be fulfilled, and so $*$ is a group action.