Left regular action (source code)

= Left regular action
{title2=$g\cdot h=gh$}

The left regular action of a <group> on its own underlying set is left multiplication. It is faithful, because an element fixing the identity is itself the identity. For a finite group it gives the <permutation representation> used in <Cayley theorem>.