电视剧女主是乡下护士:在解高次方程时是谁最先提出"群"这一概念的?