In order to prove that L, R and C are permutation representations of G on X = G, we proceed in two steps.
The maps Lg,
Rg, Cg are bijections, so
they belong to Sym(G).
The maps
L, R, C are morphisms G -> Sym(G),
so they are permutation representations.
If x
G, then
also g-1 x
G, and
Lg(g-1x) =
x. Thus, Lg is also
surjective.
We conclude that Lg is a bijection (and so belongs to Sym(G)).
The proofs for R and C are similar.
G,
This is indeed the case
as, for each x
G,
The proofs for R and C are similar.