设[tex=2.5x1.143]m+NxZMxa5j0Y5ahS4zrePw==[/tex]是正整数, 域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]的特征为零或与[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]互素, [tex=0.5x1.214]qqpHxP43oSTaBTohjVBA4g==[/tex]是[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]次本原单位根且[tex=2.429x1.286]+jb9MvrcvUDYzY/nDSOnmQ==[/tex], [tex=0.786x1.0]XvHgf70VtK2FH5G93l0k3g==[/tex]是[tex=7.429x1.357]lqQ+/xYUEGugZb/JIOOm0AggH9i4I+wu6k8dZAPwULU=[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的分裂域. 则[tex=5.5x1.357]0pANN1SVkCE/Lw6FMZG+RKL31yqvaMljInBK3Peevr8=[/tex]是循环群; 且当[tex=1.857x1.357]BGkv0wKMIn2R4tUsMDFEFA==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上不可约时, [tex=5.5x1.357]0pANN1SVkCE/Lw6FMZG+RKL31yqvaMljInBK3Peevr8=[/tex]是[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]阶循环群.