设（G,.）是阿贝尔群,H={a属于G|存在k属于N,使得a的k次方=e}.求证H是G的子群
问题描述：
设（G,.）是阿贝尔群,H={a属于G|存在k属于N,使得a的k次方=e}.求证H是G的子群
答
由题设G/N是m阶群，故x^m N=(xN)^m=eN，则x^m∈N. 已知N是G的不变子群，G的阶除以N的阶等于m，若x属于G，求证x的m次方属于N
答
对于s,t∈H有存在 m,n有
s^m=e
t^n=e
即有 s^(mn) =e,t逆^(mn)=e
所以有 (st逆)^(mn) = s^(mn)·t逆^(mn) =e
这说明st逆∈H
即H是子群.