Question: Who developed a theory giving the first abstract definition of a finite group?
Sentence: Arthur Cayley's
Answer in sentence: yes