Schemamorphismus/Automorphismengruppe/Definition

Automorphismengruppe (Schema)

Zu einem Schemamorphismus

$\varphi \colon Y\longrightarrow X$

nennt man

${\left\{\psi :Y\rightarrow Y\mid \varphi {\text{ ist ein }}X{\text{-Automorphismus}}\right\}}$

die Automorphismengruppe. Sie wird mit ${}\operatorname {Aut} _{X}\,Y$ bezeichnet.