Left regular action ($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.