S. gjorde sin viktigaste insats inom gruppteorin, där en efter honom uppkallad sats säger att om p är ett primtal och p^k är den högsta potens av p som delar en grupps ordning, så har denna en delgrupp av just ordningen p^k.