Group action
From Maths
Definition
A group action of a group [ilmath]G[/ilmath] on a set [ilmath]A[/ilmath] is a map from [ilmath]G\times A \to A[/ilmath] usually written as [ilmath]g\cdot a[/ilmath] for all [ilmath]g\in G[/ilmath] and [ilmath]a\in A[/ilmath], that satisfies the following two properties:
- for all [ilmath]g_1,g_2\in G,a\in A[/ilmath]
TODO: Flesh out
