设 为次数为
的 首一多项式,其判别式为
。则一个 奇 整数
且满足
的数被称为相对于
的弗罗贝尼乌斯伪素数,如果它通过了 Grantham (1996) 给出的特定算法。相对于 多项式
的弗罗贝尼乌斯伪素数,是相对于 多项式
的合成的弗罗贝尼乌斯可能素数。
虽然 323 是相对于斐波那契多项式 的第一个 卢卡斯伪素数,但第一个弗罗贝尼乌斯伪素数是 5777。 如果
,则任何相对于
的弗罗贝尼乌斯伪素数
也是一个 佩兰伪素数。Grantham (1997) 给出了一个基于弗罗贝尼乌斯伪素数的测试,合数 通过该测试的概率最多为 1/7710。