Question: Who developed a theory giving the first abstract definition of a finite group?
Answer: Arthur Cayley's
Is the question answered in a satisfactory fashion?
yes