 Averaging over a finite group

Averaging any object over a finite group, $|G{|}^{-1}{\sum }_{g\in G}g\cdot x$, produces a group-invariant object whenever the relevant operations are linear.