History of Factor group

	Revision 3 . . November 20, 2001 1:57 am by Goochelaar [added "canonical projection"]
	Revision 2 . . November 19, 2001 10:47 pm by Goochelaar [added the order of G/N]
	Revision 1 . . November 19, 2001 10:36 pm by Goochelaar [new]

---

Difference (from prior major revision) (no other diffs)

Added: 3a4,5

There is a "natural" surjective group homomorphism π : G -> G/N, sending each element g of G in the coset of N to which it belongs, that is: π(g) = gN. The application π is sometimes called canonical projection.