up:: Quotient Group

Given a Group and a Normal Subgroup , we can create an Equivalence Relation in as

That is, elements of act as identity elements in the Quotient Space.

We can identify each Equivalence Class in this quotient space as a left coset of