When was the group notion summed up and solidly settled?