已知P为质数,让我们想象一下 mod P的时钟运算。假设P为13,则mod P的时钟运算中所使用的时钟就是以下13个数字画成的圆形时钟。
0,1,2,3,4,5,6,7,8,9,10,11,12
然后我们来列一张0~12各元素的乘方表
在上表中,注意看G等于2的那一行。
可以发现2的1次方到2的12次方 mod 13的值全都不一样。也就是说,2的乘方结果中出现了1到12的全部整数。由于2具备上述性质,因此称为13的生成元。同样地,6、7和11也是生成元。
也就是说,P的生成元的乘方结果与1~P-1的数字是一一对应的。正是因为具有这样的一一对应的关系,Alice才能够从1~P-2范围中随机选择一个数字。