Gruppenoperation/Neutrales Element/Diagramm

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