Where did the idea of a group come from?