国家重点实验室 群 群G的单位元是唯一的 0 群中每个元素的逆元是唯一的 。若4，b∈G,则(a*b)1=b-1*1 。给定G中任意两个元素a和b,方程a*x=b和y*a=b 在G中有唯一解 。令G为二元运算*下的一个群，H为G的一个非空 子集，若)H在二元运算*下封闭，)H中任意 元素a,a的逆元仍在H中，则H是G的一个子群。 群 群G的单位元是唯一的 群中每个元素的逆元是唯一的 若a,b∈G，则(a*b) -1=b -1*a -1 给定G中任意两个元素a和b，方程a*x=b和y*a=b 在G中有唯一解 令G为二元运算*下的一个群，H为G的一个非空 子集，若 i) H在二元运算*下封闭，ii）H中任意 元素a，a的逆元仍在H中，则H是G的一个子群