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 .