关于整环内有限乘法子群的一个定理

<正> 我们知道整数环内{-1,-1}形成乘群,而且是一循环群;有限域F的非零元全体形成一乘群,且也是循环群。这不是偶然的,实际上有:定理:整环R内有限乘法封闭子集G必是循环群。在证明此定理之前,我们先看下面几个引理。引理1:若a,b是群G中元,ab=ba o(a)=m o(b)=n(m,n)=1,则