A应该是非空子集
此时,若a属于A, 则 由已知 aa^-1 = 1 属于 A
且 1a^-1 = a^-1 属于 A
若 a,b 属于 A
则由上知 b^-1属于 A
所以 a(b^-1)^-1 = ab 属于 A
故 A 是G的子群证明是子群掌握3点: 运算封闭, 有单位元, 有逆元