The action is simply transitive (or sharply transitive, or regular) if it is both transitive and free. This means that given x, y ∈ X the element g in the definition of transitivity is unique. If X is acted upon simply transitively by a group G then it is called a principal homogeneous space for G or a G -torsor.