ScholarQuill logoScholarQuillUniversity Notes
My Semester
Explore Notes
Past Papers12 New
Video CoursesNew
Search
Settings
Study Tools
GPA/CGPA Calculator
Schedule & To-Do
Student Portal
Contact
Contact
ScholarQuill logo
My Semester
Explore Notes
Past Papers12 New
Video CoursesNew
Search
Settings
GPA/CGPA Calculator
Schedule & To-Do
Student Portal
Contact
ScholarQuill logoScholarQuillUniversity Notes
Study PortalGE-167Mersenne Primes
Ctrl + K
Login
Explore
Search
Semester
Papers
CGPA
    GE-167

    Discrete Structures

    Progress0 / 67 done
    Topics67
    1Propositional and Predicate Logic
    2Logical Operators3Translations Between Symbolic Expressions and Formal English Expression4Logical Equivalences
    5Quantifiers6Nested Quantification7Equivalences in Predicate Logic8Translations Between Symbolic Forms and Formal English
    9Proof Methods and Strategies10Direct Proof11Proof by Contraposition12Proof by Induction13Proof by Implication14Existence Proof15Uniqueness Proofs16Trivial Proofs17Vacuous Proofs
    18Notations and Set Operations19Venn Diagrams20Countable and Uncountable Sets
    21Equivalence Relations and Partitions22Partial Orderings23Recurrence Relations51Reflexive, Symmetric, Transitive, and Antisymmetric52Equivalence Relations and Equivalence Classes53Partial Orders
    24Injective, Surjective, Bijective25Special Types of Functions26Function Composition27Inverse Functions28Recursive Functions29Compositions
    30Sequences and Series
    31Inclusion and Exclusion Principle32Pigeonhole Principle33Permutations and Combinations46Product Rule and Sum Rule47Principle of Inclusion-Exclusion48Binomial Coefficients49Pascal's Identity and Pascal’s Triangle50Binomial Theorem
    34Division Theorem35Modular Arithmetic36LCM and GCD37Euclidean and Extended Euclidean Method38Finding Solutions to Congruence
    39Fundamental Theorem of Arithmetic40Characterizations of Primes41Mersenne Primes
    42Weak Induction43Strong Induction
    44Formulation of Recurrences45Closed Formulas
    54Terminologies55Elements of Graph Theory56Planar Graphs57Graph Coloring58Euler Graph59Hamiltonian Path60Rooted Trees61Graph Traversals62Handshaking Lemma and Corollary63Special Families of Graphs64Graph Isomorphism65Planarity in Graphs66Eulerian and Hamiltonian Graphs67Trees in Graph Theory
    9 min read
    Topic 41 of 67
    Topic Study Note Illustration
    41

    Mersenne Primes

    A Mersenne prime is a special type of prime number that is expressed in the form:

    Mersenne Primes

    A Mersenne prime is a special type of prime number that is expressed in the form:

    Mn=2n−1M_n = 2^n - 1Mn​=2n−1

    where nnn is a positive integer and MnM_nMn​ is a prime number. In other words, Mersenne primes are primes that are one less than a power of 2.

    1. General Form of Mersenne Primes

    Mersenne primes take the form 2n−12^n - 12n−1, where nnn itself must be a prime number for MnM_nMn​ to be prime. That is, not every number of the form 2n−12^n - 12n−1 is prime; nnn must be a prime number. For example:

    • For n=2n = 2n=2, M2=22−1=3M_2 = 2^2 - 1 = 3M2​=22−1=3, which is a prime.
    • For n=3n = 3n=3, M3=23−1=7M_3 = 2^3 - 1 = 7M3​=23−1=7, which is a prime.
    • For n=5n = 5n=5, M5=25−1=31M_5 = 2^5 - 1 = 31M5​=25−1=31, which is a prime.
    • For n=7n = 7n=7, M7=27−1=127M_7 = 2^7 - 1 = 127M7​=27−1=127, which is a prime.

    However, not all numbers of the form 2n−12^n - 12n−1 for prime nnn are prime. For instance:

    • For n=11n = 11n=11, M11=211−1=2047M_{11} = 2^{11} - 1 = 2047M11​=211−1=2047, which is not a prime number because 2047=23×892047 = 23 \times 892047=23×89.

    2. Conditions for Mersenne Primes

    The key condition for Mn=2n−1M_n = 2^n - 1Mn​=2n−1 to be a prime number is that nnn must itself be a prime number. This means that for 2n−12^n - 12n−1 to be prime, nnn must satisfy the following:

    • nnn must be a prime number.
    • 2n−12^n - 12n−1 may or may not be prime, depending on the specific value of nnn.

    3. Mersenne Numbers vs. Mersenne Primes

    It is important to distinguish between Mersenne numbers and Mersenne primes:

    • A Mersenne number is any number of the form 2n−12^n - 12n−1, where nnn is a positive integer, whether or not it is prime.
    • A Mersenne prime is a specific type of Mersenne number that is prime.

    Thus, not every Mersenne number is prime. For example, 24−1=152^4 - 1 = 1524−1=15 is a Mersenne number but not a prime, because 15 can be factored as 3×53 \times 53×5.

    4. Known Mersenne Primes

    The first few Mersenne primes, where nnn is a prime number, are:

    • M2=3M_2 = 3M2​=3
    • M3=7M_3 = 7M3​=7
    • M5=31M_5 = 31M5​=31
    • M7=127M_7 = 127M7​=127
    • M13=8191M_{13} = 8191M13​=8191
    • M17=131071M_{17} = 131071M17​=131071
    • M19=524287M_{19} = 524287M19​=524287
    • M31=2147483647M_{31} = 2147483647M31​=2147483647

    These are just a few examples. As nnn increases, finding Mersenne primes becomes more challenging, and very large Mersenne primes have been discovered in modern times with the help of computers.

    5. Mersenne Primes and Their Relationship with Perfect Numbers

    A fascinating property of Mersenne primes is their connection to perfect numbers. A perfect number is a positive integer that is equal to the sum of its proper divisors (excluding itself). For example, 6 is a perfect number because its divisors (1, 2, and 3) sum to 6.

    It is known that if Mn=2n−1M_n = 2^n - 1Mn​=2n−1 is a Mersenne prime, then the corresponding even perfect number is given by:

    P=2n−1×(2n−1)P = 2^{n-1} \times (2^n - 1)P=2n−1×(2n−1)

    Thus, for each Mersenne prime, there is a corresponding perfect number. For example:

    • For M2=3M_2 = 3M2​=3, the corresponding perfect number is P=22−1×(22−1)=2×3=6P = 2^{2-1} \times (2^2 - 1) = 2 \times 3 = 6P=22−1×(22−1)=2×3=6.
    • For M3=7M_3 = 7M3​=7, the corresponding perfect number is P=23−1×(23−1)=4×7=28P = 2^{3-1} \times (2^3 - 1) = 4 \times 7 = 28P=23−1×(23−1)=4×7=28.
    • For M5=31M_5 = 31M5​=31, the corresponding perfect number is P=25−1×(25−1)=16×31=496P = 2^{5-1} \times (2^5 - 1) = 16 \times 31 = 496P=25−1×(25−1)=16×31=496.

    This relationship between Mersenne primes and perfect numbers is a result of Euclid's theorem, which establishes that every even perfect number is of the form 2n−1×(2n−1)2^{n-1} \times (2^n - 1)2n−1×(2n−1), where 2n−12^n - 12n−1 is a Mersenne prime.

    6. How Are Mersenne Primes Discovered?

    Mersenne primes are typically discovered using computational methods and distributed computing projects, such as GIMPS (Great Internet Mersenne Prime Search). The process of checking whether a number of the form 2n−12^n - 12n−1 is prime involves using sophisticated algorithms like the Lucas-Lehmer test, which is specifically designed for checking the primality of Mersenne numbers.

    Lucas-Lehmer Test:

    The Lucas-Lehmer test is an efficient way to determine whether a number of the form 2n−12^n - 12n−1 is prime. It involves iterating a sequence of numbers modulo 2n−12^n - 12n−1 and checking if the sequence satisfies certain conditions.

    7. Largest Known Mersenne Primes

    The search for large Mersenne primes has led to the discovery of some extremely large prime numbers. For example, the largest known Mersenne prime (as of 2024) is:

    M82,589,933=282,589,933−1M_{82,589,933} = 2^{82,589,933} - 1M82,589,933​=282,589,933−1

    This prime number has 24,862,048 digits! It was discovered in December 2018 by a computer running as part of the GIMPS project.

    8. Applications of Mersenne Primes

    Mersenne primes have applications in various areas of mathematics and cryptography:

    • Cryptography: Large Mersenne primes can be used in public-key cryptographic algorithms like RSA, which rely on the difficulty of factoring large numbers.
    • Random Number Generation: Some algorithms for generating pseudo-random numbers use properties of Mersenne primes.
    • Mathematical Research: The study of Mersenne primes helps researchers understand the distribution of primes and the structure of number theory.

    9. Conclusion

    Mersenne primes are a special class of prime numbers of the form 2n−12^n - 12n−1, where nnn is a prime number. These primes are interesting not only because of their rarity but also due to their connection with perfect numbers. The search for large Mersenne primes continues to be an active area of research, aided by computational tools like the GIMPS project. Mersenne primes have profound implications in cryptography, number theory, and other fields of mathematics.

    ← Previous topic 40
    Characterizations of Primes
    Next topic 42 →
    Induction: Weak Induction

    Past Papers

    Open this section to view and download past papers

    Click on Show Past Papers to load available exam papers.

    Reading Progress
    0%
    9mremaining
    1.6kwords
    Intermediatelevel
    On This Page

    No headings found

    Study Toolkit

    Subject Portal

    Discrete Structures