I want to know the answer to the following question:
When was the group notion summed up and solidly settled?
All the background I'm provided with is that "After contributions from other fields such as number theory and geometry, the group notion was generalized and firmly established around 1870.". Is that enough to answer the question?
Answer: yes