Gruppenoperation auf Schema/Torsor/Definition

Geometric torsor

Let denote a group scheme over a scheme . A scheme together with a group scheme action

is called a geometric (Zariski)-torsor for (or a -principal fiber bundle or a principal homogeneous space) if there exists an open covering and isomorphisms

such that the diagrams (we set and )

commute.