What is the coset? In my view, coset is just another equivalence family. This is unusual
approach to divide in a group. People can pick out a sub-group from a group and use it to
cause all or part elements in the group by that sub-group. The caused result is a family,
a set family. Those elements that got the same coset can put into the same equivalence set.
In this way, we can pick out several represents from those equivalence sets, and can educe
the computing rules of the whole group from that sub-group and those several represented
elements. So, I think that it is also a simplification.
By the way, what we can learn from the coset mind is to reduce a scope and find out represent
things when facting up to a large or complicated question.