I want to know the answer to the following question:
Who developed a theory giving the first abstract definition of a finite group?
All the background I'm provided with is that "On the theory of groups, as depending on the symbolic equation θn = 1 (1854) gives the first abstract definition of a finite group.". Is that enough to answer the question?