14.设 (G,*)是群,A是G的子集,若对于A中任意元素a和b,都有a*(b的逆元)属于A,证明 (A,*)是 (G,*)的子群.

问题描述:

14.设 (G,*)是群,A是G的子集,若对于A中任意元素a和b,都有a*(b的逆元)属于A,证明 (A,*)是 (G,*)的子群.

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点: 运算封闭, 有单位元, 有逆元