Número pseudoprimo de Catalan

En matemáticas, un pseudoprimo de Catalan es un número compuesto n impar que satisface la relación de congruencia:^[1]

${\displaystyle (-1)^{\frac {n-1}{2}}\cdot C_{\frac {n-1}{2}}\equiv 2{\pmod {n}},}$

donde C_m denota el m-ésimo número de Catalan. La congruencia también es válida para cada número primo n impar que justifica el nombre de números pseudoprimos para los números compuestos n que lo satisfacen. Su nombre hace referencia al matemático belga Eugène Charles Catalan (1814–1894).