A -invariant inner product is constructed by averaging an arbitrary initial inner product over the group orbit. The new inner product is defined as .
Conditions: is a finite group.; is a representation.; is an arbitrary initial inner product on .; is the order (cardinality) of the finite group .
A -invariant inner product is constructed by averaging an arbitrary initial inner product over the group orbit. The new inner product is defined as .
Conditions: is a finite group.; is a representation.; is an arbitrary initial inner product on .; is the order (cardinality) of the finite group .