added something zijian wrote on cyclic groups