|
蔡家雄猜想(公式化的广义原根)
设 d, k 为非负整数,
设 g1=2^(2d+1)=2, 8, 32, 128, 512, ...
设 g2=3^(2d+1)=3, 27, 243, 2187, .....
设 g3=5*g1=10, 40, 160,, 640, 2560, ...
设 g4=5*g2=15, 135, 1215, 10935, ......
若 30k+7 和 120k+29 同为素数,
且 g^4 mod (120k+29) ≠ 1 ,
则 g1, g2, g3, g4 都是 120k+29 的广义原根。
它,达到满足条件的最小幂指数是 120k+28.
|
|