子群的判定 Proposition 3.9 A subset H of G is a subgroup if and only if it satisfies the following conditions. 1.The identity e of G is in H. 2.If hi,h2 E H,then hih2 EH. 3.IfhEH,then h-1EH.子群的判定