Consider the group G of the sequences of real numbers (the group operation is addition). It contains a subgroup H of bounded sequences.
Is there any nice description of the factor group G/H ?
It is rather uncomfortable to think about this factor group: there is nothing like canonical representative in each coset. Basically, I see no means of thinking about this group except the straightforward definition of the factor group.