Who generalized group notion in 1870?