16.H是群G的一个正规子群指对任意a属于G,aHa^(-1)含于H.则以下正规子群的判定条件等价:
(1) 对任何a∈G, aHa^{-1}总是含在H中;
(2) 对任何a∈G, aHa^{-1}=H;
(3) 对任何a∈G, aH=Ha;
(4) 对任何a∈G,b∈G,如果ab∈H,那么总有ba∈H;
(5) 商集G/H上有群运算: (aH)(bH)=(ab)H
(1) 对任何a∈G, aHa^{-1}总是含在H中;
(2) 对任何a∈G, aHa^{-1}=H;
(3) 对任何a∈G, aH=Ha;
(4) 对任何a∈G,b∈G,如果ab∈H,那么总有ba∈H;
(5) 商集G/H上有群运算: (aH)(bH)=(ab)H