Gruppenschema/Gruppenoperation/en/Definition
Group scheme action
Let denote a group scheme over a scheme and let
denote a scheme over . A morphism
is called a group scheme action of on , if the diagram
commutes and if the composition
is the identity on .