Quotient group
 | This page or section needs to be cleaned up. The specific problem is: No introduction or information, confusing for people new to the subject and errors in templates. (October 2021) |
Let G be a group and let N be a normal subgroup of G. Then is the set of all cosets of N in G and is called the quotient group of N in G.
This group is used in the proof of Lagrange's Theorem, for instance. In fact, the proof of Lagrange's theorem establishes that if
G is finite, then .
