A quotient group, conceptually, is when you "factor out" the denominator group from the numerator group: what it leaves behind is, by necessity, not of the denominator group. Thus, we're able to break up complex structures into their component parts.