ScholarQuill logoScholarQuillUniversity Notes
  • Notes
  • Past Papers
  • Blogs
  • Todo
Login
ScholarQuill logoScholarQuillUniversity Notes
Login
NotesPast PapersBlogsTodo
More
SubjectsDiscussionCGPA CalculatorGPA CalculatorStudent PortalCourse Outline
About
About usPrivacy PolicyReportContact
Notes
Past Papers
Blogs
Todo
Analytics
    Current Subject
    🧩
    Discrete Structures
    GE-167
    Progress0 / 67 topics
    Topics
    1. Mathematical Reasoning: Propositional and Predicate Logic2. Propositional Logic: Logical Operators3. Translations Between Symbolic Expressions and Formal English Expression4. Logical Equivalences5. Predicate Logic: Quantifiers6. Nested Quantification7. Equivalences in Predicate Logic8. Translations Between Symbolic Forms and Formal English9. Rules of Inference: Proof Methods and Strategies10. Direct Proof11. Proof by Contraposition12. Proof by Induction13. Proof by Implication14. Existence Proof15. Uniqueness Proofs16. Trivial Proofs17. Vacuous Proofs18. Sets: Notations and Set Operations19. Venn Diagrams20. Countable and Uncountable Sets21. Relations: Equivalence Relations and Partitions22. Partial Orderings23. Recurrence Relations24. Functions: Injective, Surjective, Bijective25. Special Types of Functions26. Function Composition27. Inverse Functions28. Recursive Functions29. Compositions30. Number Theory: Sequences and Series31. Counting: Inclusion and Exclusion Principle32. Pigeonhole Principle33. Permutations and Combinations34. Integers and Divisibility: Division Theorem35. Modular Arithmetic36. LCM and GCD37. Euclidean and Extended Euclidean Method38. Finding Solutions to Congruence39. Primes: Fundamental Theorem of Arithmetic40. Characterizations of Primes41. Mersenne Primes42. Induction: Weak Induction43. Strong Induction44. Recursion and Recurrences: Formulation of Recurrences45. Closed Formulas46. Counting: Product Rule and Sum Rule47. Principle of Inclusion-Exclusion48. Binomial Coefficients49. Pascal's Identity and Pascal’s Triangle50. Binomial Theorem51. Relations: Reflexive, Symmetric, Transitive, and Antisymmetric52. Equivalence Relations and Equivalence Classes53. Partial Orders54. Graph Theory: Terminologies55. Elements of Graph Theory56. Planar Graphs57. Graph Coloring58. Euler Graph59. Hamiltonian Path60. Rooted Trees61. Graph Traversals62. Handshaking Lemma and Corollary63. Special Families of Graphs64. Graph Isomorphism65. Planarity in Graphs66. Eulerian and Hamiltonian Graphs67. Trees in Graph Theory
    GE-167›Mersenne Primes
    Discrete StructuresTopic 41 of 67

    Mersenne Primes

    9 minread
    1,579words
    Intermediatelevel

    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 load past papers

    Click on Show Past Papers to see past papers.
    On This Page
      Reading Stats
      Est. reading time9 min
      Word count1,579
      Code examples0
      DifficultyIntermediate