You cannot in general put a group structure on a set. There is a model of ZF with a set A that is "amorphous", ie it has no proper infinite, coinfinite subset and cannot be partitioned into finite sets; such a set has no group structure.
See e.g at http://groups.google.com/group/sci.math/msg/06eba700dfacb6ed