Quotient Group Construction
A group obtained by aggregating similar elements of a larger group using an equivalence relation defined by a normal subgroup.
📜
The statement of the theorem
If , the quotient group is the set of all cosets of in with the operation .
Source: Wikipedia