费马小定理是数论中的一个定理。假如
a
{\displaystyle a}
是一个整数，
p
{\displaystyle p}
是一个质数，那么
a
p
−
a
{\displaystyle a^{p}-a}
是
p
{\displaystyle p}
的倍数，可以表示为
2
强伪质数是指一种能通过米勒-拉宾检验的合数。所有质数都能通过这个检验，但有一小部分合数也能通过这个检验。根据费马小定理的推论，强伪质数也是伪质数。
初等数论意指使用不超过高中程度的初等代数处理的数论问题，最主要的工具包括整数的整除性与同余。重要的结论包括中国余数定理、费马小定理、二次互反律等等。
伪素数是指满足素数的某种性质，但并不一定是素数的数。根据所满足的性质的不同可以划分不同种类的伪素数。其中最有名的伪素数是满足费马小定理的合数，即费马伪素数。
费马伪素数是指满足费马小定理的伪素数，也是最重要的一类伪素数。
费马伪素数是指满足费马小定理的伪素数，也是最重要的一类伪素数。
强伪质数是指一种能通过米勒-拉宾检验的合数。所有质数都能通过这个检验，但有一小部分合数也能通过这个检验。根据费马小定理的推论，强伪质数也是伪质数。
Mini wiki
