Gruppe/Neutrales Element/Diagramm

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