I'm trying to understand the proof of the following theorem: "Every nonempty set is a group for some operation iff the Axiom of Choice holds."
I've read the post on Stack Exchange, the post on Overflow and the Wikipedia entry, but I'd like some other references on the subject, perhaps a book or article.