they provided the first modern definition of the notion of group