http://nlab.mathforge.org/nlab/show/group
http://terrytao.wordpress.com/2009/10/19/grothendiecks-definition-of-a-group/
nLab page on Group