I've been looking at combinatorial group theory, but all the results seem to be about infinite groups. Are there any important results about the representations presentations finite groups specifically (or are useful for finite groups?). About how the minimum number of relations implies something about the structure of the group?
I'd prefer results that are applicable to all finite groups or to all finite simple or all simple groups.

