Regular representation (source code)

= Regular representation
{wiki}

The left regular representation acts on the basis $(e_h)_{h\in G}$ by $\rho(g)e_h=e_{gh}$. It is faithful.