-
1 $\开始组$ 注意，最小的基元根模$p=40487$是$5$，但$5$不是基元根模块$p^2$。 另请参见 primes.utm.edu/curios/page.php/40487.html $\端组$ – 杰里·迈尔森 2020年8月7日13:03 -
5 $\开始组$ 有$（p-1）\varphi（p-1。 假设您的说法是错误的：所有在$1$和$p$之间的基元根mod$p$都不是mod$p^2$基元根，但所有在$p$和$p2$之间的都是。 现在，假设$g$低于$p$，那么它的逆$h$mod$p^2$具有相同的属性，因此$1<h<p$。 但是，$gh\equiv 1$mod$p^2$是不可能的。 $\端组$ – 克里斯·伍特里奇 2020年8月7日14:10 -
1 $\开始组$ 哦，第二个$（p-1）\varphi。 $\端组$ – 克里斯·伍特里奇 2020年8月7日14:55 -
$\开始组$ 通过@GerryMyerson添加信息-最小的（？）示例 一些 本原根模$p$不是本原根模块$p^2$似乎是：$14$是本原根模型$29$，但不是模块$29^2$。 $\端组$ – მამუკა ჯიბლაძე 2020年8月15日13:14
