if we are set out to see whether <R,*> is a group or not then a*0 remains undefined since '*' was defines only on R\{0} . so one can't be sure that <R,*> is a binary structure to begin with. So i would say that one can't conclude that <R,*> is a group if have * as defined in the question.