Right translation of a group function
= Right translation of a group function
{title2=$(R_af)(x)=f(xa)$}
For a scalar function on a <group>, use $(R_af)(x)=f(xa)$ as the right-translation convention. For <Fourier analysis on a finite group> this gives $\widehat{R_af}(\rho)=\widehat f(\rho)\rho(a)^*$. Specifying whether $a$ or $a^{-1}$ appears in the definition avoids sign and multiplication-order ambiguity.