Remark

The cosets of N in G are the equivalence classes of the equivalence relation `congruent modulo N' on the set G given by

a ~ b mod N   if and only if   b^-1a N.

Observe that a ~ b if and only if aN = bN. Compare this definition with the one for ideals.