为的生成元,且是使之成立的最小值是奇素数,根据欧拉准则若是模的二次剩余,则,与是最小值矛盾,是模的二次非剩余 ![image-20240119220103814](https://raw.githubusercontent.com/Jerry2500/BlogImage/main/202401192201884.png) 定义从到的映射满足群同态很明显,中的单位元是为使得的集合定义从在到的映射明显满足同态,且是满同态很明显,中的单位元是为使得明显的单位元为,使得且根据满射,使得根据费马小定理,即有根据费马小定理是成立的使得即根据第一同构定理与同构与同构与同构