设是一个群、对于a,b∈G,若a·b=b·a,a和b的阶分别是r和s,且循环子群(a)和(b)的交只包含G的么元e,则a·b的阶等于r和s的最小公倍数。
设为群,a,b,cG.若a*b=c*b*a,a*c=c*a,b*c=c*b,且a,b的阶分别为m,n,则c的阶整除m与n的最大公因子ged(m,n).
证明:设A,B都是n阶正交方阵,则
(1)|A|=1或-1(2)AT,A-1,AB也是正交方阵。
(2) A正交方阵,得ATA=E,由AAT=E得AT正交方阵。又A-1=AT, 故A-1正交方阵。A,B是n阶正交矩阵,故A-1=AT,B-1=BT。(AB)T(AB) =BTATAB=B-1A-1AB=E, 故AB也是正交方阵。