groups: exposition on quotient sets. also prove that cosets of the kernel are the fibers of the homomorphism