循环群就两类,一类与（Z,+）同构,一类与（Zm,+）同构.这个性质一般书上都有介绍吧,用反证法很容易导出矛盾的.这个性质成立的情况下,lz的命题自然成立了. (Zm,+)就是整数关于m的余数的等价类构成的集合,可以证明这是...