Reynolds operator

Definition

The Reynolds operator is a projection operator onto the algebra of invariants (or the corresponding invariant representations if working in representation theory). Thus,

Finite groups

For finite groups, we have the Reynolds operator is