Let be a variety over a field and let be an algebraic group over . A left -torsor under is a -scheme with a -morphism such that for some étale covering there is a -equivariant isomorphism of -schemes from to , for all . If Spec these are also called principal homogenous spaces.