Affines Gruppenschema/Operation/K/Assoziativität/Diagramm

${\begin{matrix}G\times _{K}G\times _{K}X&{\stackrel {\mu \times \operatorname {Id} _{X}}{\longrightarrow }}&G\times _{K}X&\\\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\operatorname {Id} _{G}\times \nu \downarrow &&\downarrow \nu \!\!\!\!\!\!\!\!\!\!&\\G\times _{K}X&{\stackrel {\nu }{\longrightarrow }}&X&\!\!\!\!\!\\\end{matrix}}$