Group-scheme action (original) (raw)

In algebraic geometry, an action of a group scheme is a generalization of a group action to a group scheme. Precisely, given a group S-scheme G, a left action of G on an S-scheme X is an S-morphism such that * (associativity) , where is the group law, * (unitality) , where is the identity section of G. A right action of G on X is defined analogously. A scheme equipped with a left or right action of a group scheme G is called a G-scheme. An equivariant morphism between G-schemes is a morphism of schemes that intertwines the respective G-actions.