Question: Who developed a theory giving the first abstract definition of a finite group?
Sentence: On the theory of groups, as depending on the symbolic equation θn = 1 (1854) gives the first abstract definition of a finite group.
Answer in sentence: no