Regular Group Actions and Functions

724 Views Asked by At

An action of a group $G$ on a set $X$ is regular if for any $x,x'\in X$, there exists a unique $g\in G$ with $gx=x'$.

(a) Give an example.

(b) Let $X$ be a set and let $G$ be a group which acts regularly on $X$. Find all maps $f:X\to X$ such that for every $x\in X$ and $g\in G$, $f(gx)=gf(x)$.

3

There are 3 best solutions below

4
On BEST ANSWER

Fix $x_0 \in X$ and define a map $G \rightarrow X$ by $g \rightarrow gx_0$, the regular condition implies that this is a bijection, moreover it is $G$ equivariant for the action of $G$ on itself by left multiplication. So from now on I will just assume $X = G$

One obvious source of maps $G \rightarrow G$ that commute with left multiplication are those coming from right multiplication as associativity $g(xh)= (gx)h$ is exactly the $G$ equivariance condition. I think these should be all such maps but at the moment I can't prove it.

Edit: after reading rogerl's answer, I see these must be all such maps as there is a unique right multiplication map sending the identity to any given element.

1
On

I think these functions are bijective with $X$. Choose some base point $x_0\in X$, and let $f(x_0) = x_0'$. Then if $x\in X$, we have $x = gx_0$ for a unique $g$; the equivariance condition then gives $f(x) = f(gx_0) = gf(x_0) = gx_0'$. So the function $f$ is determined by its value at any element of $X$.

0
On

As for (a), every group $G$ acts regularly on itself by left multiplication. In fact, for every $h,k\in G$, there is a unique $g:=kh^{-1}\in G$ such that: $$gh=k$$ Yet another example: for $p$ a prime, $\operatorname{Aut}(C_p)$ acts regularly on the set of the generators of $C_p$.