费马素性检验是一种质数判定法则，利用随机化算法判断一个数是合数还是"可能是"素数。
概念.根据费马小定理：如果"p"是素数，formula_1，那么如果我们想知道"n"是否是素数，我们在中间选取"a"，看看上面等式是否成立。如果对于数值"a"等式不成立，那么"n"是合数。如果有很多的"a"能够使等式成立，那么我们可以说"n"可能是素数，或者伪素数。在我们检验过程中，有可能我们选取的"a"都能让等式成立，然而n却是合数。这时等式被称为"Fermat liar"。如果我们选