For a pointed space (X,p), the n<sup>th</sup> homotopy group &pi;<sub>n</sub>(X,p) is usually defined as the group of maps of the n-sphere which take (1,0,...,0) to p, modulo homotopy-rel-basepoint.  What's potentially weird is that S<sup>0</sup> is disconnected, whereas S<sup>n</sup> is connected for n>0.  But then &pi;<sub>0</sub>(X) just counts the number of path components of X.  Of course, it doesn't have a group structure because S<sup>0</sup> isn't a cube with its boundary identified; this is anomalous.

On the other hand, this corresponds perfectly with the other characterization of homotopy groups I've seen, where &pi;<sub>0</sub>(X,p) is <i>defined</i> to be the set of path components of X, and then &pi;<sub>n</sub>(X,p) is inductively defined as the "loop space" of &pi;<sub>n-1</sub>(X,p), i.e. the group of homotopy classes of loops starting and ending at the basepoint (rel basepoint, of course), with composition defined simply as composition of loops.

So, while in neither setup is &pi;<sub>0</sub>(X,p) a group, I think this is as well-defined as it's going to get.  As far as I know, only in the setting of Lie groups is there a natural way to put a group structure on the path components (just take G/G<sub>0</sub>, where G is the Lie group and G<sub>0</sub> is the path component of the identity).