omomorfismo proiezione canonica di gruppi

Definizione

Sia $G$ un gruppo e sia $H$ un suo sottogruppo normale.

$$G\stackrel{\pi }{\to }G/H$$ $$g\mapsto [g{]}_H$$

è detta proiezione canonica.

Risorse