任取a∈ Hi,以及g∈ G,根据题目可知,g可以写成
b1b2……bn
那么
g^{-1}ag=bn^{-1}……b2^{-1}b1^{-1}ab1b2……bn
=bn^{-1}……b2^{-1}b1^{-1}b1b2……bna
=a∈ Hi
这便说明Hi是正规子群.
第二个等号用到了题目中的交换性