The method of averaging over the group shows that there is an inner product on formula_23 that is invariant under the action of formula_128; that is, the action of formula_128 on formula_23 is "unitary".