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]