text: In invariant theory a Reynolds operator R is usually a linear operator satisfying
  and
  Together these conditions imply that R is idempotent: R = R. The Reynolds operator will also usually commute with some group action, and project onto the invariant elements of this group action.