Cayley theorem (source code)

= Cayley theorem
{c}
{wiki=Cayley's_theorem}

Every group $G$ embeds in the symmetric group on its underlying set through the left-regular action $g:x\mapsto gx$.