Transitive group action (source code)

= Transitive group action
{wiki}

A <group action> on a set $X$ is transitive when every two points lie in the same <orbit of a group action>, equivalently when for all $x,y\in X$ there is a group element $g$ with $gx=y$.