Quotient Group

Given a Group and a Normal Subgroup , we define the quotient group as the set of all left-Coset of .

Its group operation is defined as

Equivalence relation defined by

A quotient group induces an equivalence relation upon its base group, since, by thinking about as the set of “identity elements”, then all elements “connected” by an element of will be equivalent.