Gruppe/Inverses Element/Diagramm

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