Stupid question perhaps but: doesn't it already require the axiom of choice to pick a representative from an infinite quotient set? I would suppose you don't always have to (see for example the standard construction of the rational numbers from Z^2, since you can just pick the element with the smallest nonnegative denominator) but I wouldn't be able to give a general answer.

⬆ upvote 0