Overview
An action of a group {% G %} on a set {% M %} is defined to be a function
{% f:G \times M \rightarrow M %}
That is, it takes an element of the group and and element of the set {% M %} and returns an element of the
set {% M %}.