Mersenne prime

This article defines a property that can be evaluated for natural numbers

Definition

Definition with symbols

A natural number $N$ is said to be a Mersenne prime if it satisfies the following equivalent conditions:

• $N$ is prime and $N=M_n$ (a Mersenne number) for some $n$, viz $N=2^n-1$.