$N\subseteq\ker\Phi$: the relators $i_{\alpha\beta}(\omega)\,i_{\beta\alpha}(\omega)^{-1}$ lie in the kernel

Initializing...

$N\subseteq\ker\Phi$: the relators $i_{\alpha\beta}(\omega)\,i_{\beta\alpha}(\omega)^{-1}$ lie in the kernel · Prove2Me