canonical projection

Given a group $G$ and a normal subgroup $N\lhd G$ there is an epimorphism

 $\pi\colon\thinspace G\to G/N$

defined by sending an element $g\in G$ to its coset $gN$. The epimorphism $\pi$ is referred to as the canonical projection.

Title canonical projection CanonicalProjection 2013-03-22 13:24:26 2013-03-22 13:24:26 Dr_Absentius (537) Dr_Absentius (537) 8 Dr_Absentius (537) Definition msc 20-00 canonical projection