同一个元素,两种轨道

左边不断乘以选定的 a,右边不断取 p 次幂。它们的起点也不同:左边从 1 出发,右边从 a 出发。回到起点各需要几步?

乘法轨道 · 再乘一次 a

Frobenius 轨道 · 取 p 次幂

把 Frobenius 轨道乘成一个多项式

完整轨道中的每个互异元素只取一次。乘积的系数会落回素子域 Fₚ。

哪些非零元素能走遍乘法群?

下面按乘法阶统计所有非零元素。带粗线的元素阶等于 q−1,是乘法群的生成元;点选它,比较上面两种轨道。