设(G,.)是阿贝尔群,H={a属于G|存在k属于N,使得a的k次方=e}.求证H是G的子群