Averaging over a finite group
= 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.
= 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.