Abstract
Lucas-Lehmer test is the current standard algorithm used for testing the primality of Mersenne numbers, but it may have limitations in terms of its efficiency and accuracy. Developing new algorithms or improving upon existing ones could potentially improve the search for Mersenne primes and the understanding of the distribution of Mersenne primes and composites. The development of new versions of the primality test for Mersenne numbers could help to speed up the search for new Mersenne primes by improving the efficiency of the algorithm. This could potentially lead to the discovery of new Mersenne primes that were previously beyond the reach of current computational resources. The current paper proves what the author called the Eight Levels Theorem and then highlights and proves three new different versions for Lucas-Lehmer primality test for Mersenne primes and also gives a new criterion for Mersenne compositeness.
1. Introduction
Primes of special form have been of perennial interest (Guy, Citation2004). Among these, the primes of the form which are called Mersenne prime. It is outstanding in their simplicity.
Clearly, if is prime then p is prime. The number is Mersenne composite if p is prime but is not prime. For example, the prime number is called Mersenne prime. However, the number is called Mersenne composite (see Cambraia, Knapp, Lemos, Moriya, & Rodrigues, Citation2022; Ferradi & Xagawa, Citation2020; Jo & Kim, Citation2022; Kharaghani & Suda, Citation2020; Skula, Citation2019; Zheng & Yang, Citation1985).
Mathematics is kept alive by the appearance of challenging unsolved problems. The current paper gives new expansions related to the following two major open questions in number theory: Are there infinitely many Mersenne primes? Are there infinitely many Mersenne composite? Many mathematicians believe that there are infinitely many Mersenne primes but a proof of this is still one of the major open problems in number theory (see Deza, Citation2021; Gallier, Citation2011; Guy, Citation2004; Effinger & Mullen, Citation2021; Kraft & Washington, Citation2018; Kundu & Mazumder, Citation2022).
Mersenne primes have a close connection to perfect numbers, which are numbers that are equal to the sum of their proper divisors. It is known that Euclid and Euler proved that a number N is even perfect number if and only if for some prime p, and is prime. Euclid proved only that this statement was sufficient. Euler, 2000 years later, proved that all even perfect numbers are of the form where is a Mersenne prime (see Gallier, Citation2011; Wells, Citation1987). Thus the theorems of Euclid and Euler characterize all even perfect numbers, reducing their existence to that of Mersenne primes.
The odd perfect numbers are quite a different story (see Dickson, Citation1919; Ochem & Rao, Citation2012; Wells, Citation1987). An odd perfect number is a hypothetical number that is both an odd integer and a perfect number, meaning that it is equal to the sum of its proper divisors. No odd perfect number has been discovered, and it is not known whether any exist. The search for odd perfect numbers has been ongoing for centuries and has involved many of the greatest mathematicians in history. It is still unknown whether there is any odd perfect number. Recently (Ochem & Rao, Citation2012), showed that odd perfect numbers, if exist, are greater than 101500
There are practical reasons for seeking out bigger and bigger primes. Very big primes are crucial to the most widely used systems for encrypting data such as those that underpin all online banking and shopping. Based on the properties of Mersenne primes, instead of polynomial rings, Aggarwal, Joux, Prakash, and Santha described an elegant public-key encryption (see Aggarwal, Joux, Prakash, & Santha, Citation2018).
The discovery of Mersenne primes has been an active area of research for centuries, and the search for larger and more complex prime numbers continues to this day. The discovery of new Mersenne primes is a significant achievement in the field of mathematics, as these numbers have interesting mathematical properties and are very useful in various applications, such as cryptography and computer science. Using the Lucas-Lehmer test, the computation was carried out at the UCLA Computing Facility, it was reported that and are primes (Hurwitz, Citation1962). Discovering Mersenne primes is a challenging and time-consuming task, and the discovery of new Mersenne primes often represents a significant achievement in the field of mathematics. The Great Internet Mersenne Prime Search (GIMPS), which is a collaborative project aimed at discovering new Mersenne primes, has discovered the largest known prime number
1.1. Lucas-Lehmer primality test
Mersenne primes have some special properties that make them useful in certain types of computations, particularly in the field of cryptography and computing. One of these properties is that they are easy to test for primality using the Lucas-Lehmer primality test. This makes it easier to find large prime numbers, which are important for secure cryptographic systems. The Lucas-Lehmer primality test is a primality test specifically designed for testing the primality of Mersenne numbers (i.e. numbers of the form ). It is a fast and efficient test that can quickly determine whether a given Mersenne number is prime or composite. It is well-known the following theorems (see Deza, Citation2021; Gallier, Citation2011; Kraft & Washington, Citation2018):
Theorem 1.
(Lucas-Lehmer primality test)
is Mersenne prime if and only if (1) (1) where
1.2. Euclid-Euler-Lucas-Lehmer association
Perfect numbers have fascinated mathematicians for centuries, and many properties and patterns have been discovered about them. One of the most famous results about perfect numbers is that every even perfect number can be written in the form where is a Mersenne prime. Moreover, every Mersenne prime of the form gives rise to an even perfect number through this formula. The following theorem tells us that there is a strong association between perfect numbers and Mersenne primes.
Theorem 2.
(Euclid-Euler-Lucas-Lehmer)
A number N is even perfect number if and only if for some prime p, and (2) (2) where
For example, the first few even perfect numbers are: (3) (3) and the corresponding Mersenne primes are: (4) (4)
1.3. Notations
For a natural number n, we define For an arbitrary real number x, is the highest integer less than or equal We also need the following notation
For simplicity, we sometimes write for .
2. The purpose of the current paper
The aim of this paper is to study some arithmetical properties of the coefficients of the expansion (5) (5) for Then we study the expansion (6) (6) for
2.1. Reasons for why the expansions of 5 and 6 are interesting
We show in the current paper that the numbers of the form (7) (7) arise up naturally in the coefficients of the expansions (5, 6), and enjoy some unexpected new interesting arithmetical properties which could be helpful in the study of Mersenne primes and Mersenne composites.
2.2. New results
We state and prove the following new results in order:
The Eight Levels theorem
The first new version for Lucas-Lehmer primality test
The second new version for Lucas-Lehmer primality test
The third new version for Lucas-Lehmer primality test
New version for Euclid-Euler-Lucas-Lehmer association
New criteria for compositeness of Mersenne numbers
New combinatorial identities
We end the paper with a discussion about further potential investigations of how this new versions for Lucas-Lehmer primality test may provide a better theoretical understanding of the two major questions about Mersenne numbers; whether there are infinitely many Mersenne primes or Mersenne composites.
3. Summary for the main new results of the paper
This paper proves the following new theorems.
3.1. The first new version for Lucas-Lehmer primality test
The following result proposes a new double-indexed recurrence relation for the Lucas-Lehmer test.
Theorem 3.
Given prime is prime if and only if (8) (8) where are defined by the double index recurrence relation and the initial boundary values satisfy (9) (9)
3.2. The second new version for Lucas-Lehmer primality test
The following result proposes a new explicit sum of products of difference of squares for the Lucas-Lehmer test.
Theorem 4.
Given prime . The number is prime if and only if (10) (10)
3.3. The third new version for Lucas-Lehmer primality test
The following result proposes a new nonlinear recurrence relation for the Lucas-Lehmer test.
Theorem 5.
Given prime . The number is prime if and only if (11) (11) where are generated by the double index recurrence relation and we can choose either of the following initial values to generate from the starting term or the last term (12) (12)
3.4. New version for Euclid-Euler-Lucas-Lehmer association
Theorem 6.
A number N is even perfect number if and only if for some prime p, and (13) (13) where
3.5. New criteria for compositeness of Mersenne numbers
Theorem 7.
(Criteria for compositeness of Mersenne numbers)
Given prime . The number is Mersenne composite number if (14) (14)
3.6. New combinatorial identities
Theorem 8.
(combinatorial identities)
For any natural number n, the following combinatorial identities are correct
4. Discussion for the proposed method’s theoretical analysis
4.1. Algebraically independent polynomials
Algebraically independent polynomials are important in several areas of mathematics and its applications, including algebraic geometry, commutative algebra, and number theory. Algebraic independent polynomials are important because they provide a way to study and understand the relationships between different algebraic objects, such as numbers, functions, and algebraic structures (Perron, Citation1932). Two polynomials in two variables, say h(x, y) and g(x, y), are said to be algebraically independent over the field of rational numbers if there exist a polynomial f with rational coefficients such that then this entails that f = 0. The polynomials xy and are algebraically independent over the field of rational numbers. Therefore, if we have the following identity, with integer coefficients (15) (15) then this entails that all the coefficients vanish; which means
4.2. Symmetric polynomials
Symmetric polynomials are polynomials that remain unchanged under the permutation of their variables. For example, the polynomial is symmetric because it remains the same if we swap the variables x, y, and z. For any natural number n, is symmetric polynomial. Then we have integer coefficients from the fundamental theorem of symmetric polynomials (Perron, Citation1932), that satisfy (16) (16)
Dividing by we get (17) (17)
Hence, we get the integer sequence that satisfy (18) (18)
5. The Eight Levels theorem
Now we prove what we call the Eight Levels Theorem for the expansion of the polynomial in terms of the symmetric polynomials xy and Then we investigate some properties for the coefficients of the expansion (19) (19)
Then we study some applications and prove the results of the summary one by one.
5.1. The statement of the Eight Levels theorem
Theorem 9.
(The Eight Levels Theorem)
For any complex numbers x, y, any non negative integers n, k, the coefficients of the expansion (20) (20) are integers and (21) (21) and, for each , the coefficients satisfy the following statements
For :
For :
Proof.
Put in Equation(20)(20) (20) , we immediately get Equation(21)(21) (21) . To prove the statements of Theorem Equation(9)(9) (9) , we need to prove the following lemmas.
Lemma 10.
For each natural number n, , the coefficients of the expansion of Equation(20)(20) (20) are integers, unique and satisfy (22) (22)
Proof.
From the fundamental theorem on symmetric polynomials (Ibrahim, Citation2004; Perron, Citation1932), we have a sequence of integers satisfy the expansion of Equation(20)(20) (20) . From the algebraic independence of the coefficients of the expansion of Equation(20)(20) (20) are unique. Now, multiply Equation(20)(20) (20) by and noting and and we get (23) (23)
Again from the algebraic independence of and from Equation(23)(23) (23) , we get the following identity for any natural number n: (24) (24)
Replace n by n − 2 in Equation(24)(24) (24) , we get Equation(22)(22) (22) . □
Lemma 11.
For every even natural number n, , the following statements are true for each case: (25) (25)
Proof.
Consider n even natural number, and replace in Equation(20)(20) (20) to get (26) (26)
Then replace x by—x in Equation(26)(26) (26) , we get (27) (27)
From the algebraic independence of and from (26, 27) we get the proof. □
From Equation(20)(20) (20) , we get the following initial values for
Lemma 12.
Lemma 13.
For any odd natural number n, the coefficients of the expansion of Equation(20)(20) (20) satisfy the following property (28) (28)
Proof.
For n odd, n + 1 is even. Then from the expansion of Equation(20)(20) (20) we get the following (29) (29)
Now acting the differential operator on Equation(29)(29) (29) and noting that and equating the coefficients, we get the proof. □
5.2. The proof of Theorem (9) for
Now in this section we prove Theorem Equation(9)(9) (9) for n even. The values of that comes from the formulas of Theorem Equation(9)(9) (9) for are identical with the correct values that come from Lemma Equation(12)(12) (12) . So, Theorem Equation(9)(9) (9) is correct for the initial vales Now we assume the validity of Theorem Equation(9)(9) (9) for each with and need to prove that Theorem Equation(9)(9) (9) for n. Lemma Equation(11)(11) (11) proves the validity of Theorem Equation(9)(9) (9) for if k odd, and for if k even. Therefore it remains to prove the validity of the following cases:
We prove these cases one by one as following.
Consider
Proof.
In this case, and and from Lemma Equation(10)(10) (10) , we get
□
Consider
Proof.
In this case, and and from Lemma Equation(10)(10) (10) , we get
As we get the following
□
Consider
Proof.
In this case, and and from Lemma Equation(10)(10) (10) , we get
Hence
□
Consider
Proof.
In this case, and and from Lemma Equation(10)(10) (10) , we get
Hence
□
5.3. The proof of Theorem (9) for
With the help of Lemma Equation(13)(13) (13) and Theorem Equation(9)(9) (9) for the even case that we already proved, together with Lemma Equation(11)(11) (11) , we prove Theorem Equation(9)(9) (9) for the odd cases one by one, for each parity for k.
Consider
Proof.
In this case, and from Lemma Equation(11)(11) (11) , we get Hence, from Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, and from Lemma Equation(11)(11) (11) , we get From Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, from Lemma Equation(11)(11) (11) , we get Hence, from Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, From Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, from Lemma Equation(11)(11) (11) , we get Hence, from Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, from Lemma Equation(11)(11) (11) , we get From Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, from Lemma Equation(11)(11) (11) , we get Hence, from Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
Consider
Proof.
In this case, From Lemma Equation(13)(13) (13) , and from Theorem Equation(9)(9) (9) , we get the following relation
□
This completes the proof of Theorem Equation(9)(9) (9) . □
6. General characteristics for sequence
6.1. Examples for sequence
From Theorem Equation(9)(9) (9) , we list some examples that show the splendour of the natural factorization of for : (30) (30) (31) (31) (32) (32) and (33) (33) and (34) (34) and the following example should give us a better vision about that sequence: (35) (35)
As we see, sometimes the numerator of the sequence has a centre factor that all the other factors in the numerators get around it. For it is symmetric in this sense; meaning if is a factor of the numerator then would be a factor of that numerator and vice versa. However, it gives a different story for and a natural phenomenon for these numbers arises up here and needs a closer attention.
6.2. The right tendency concept for
For from the data above, and from the formulas of we can observe that the factors of the numerators for always fill the right part first then go around the centre factor to fill the left part and so on. For example, for k = 1 the centre factor is Then for k = 2, the next factor is located on the right of We call this natural behaviour by the right tendency which is explained in table Equation(36)(36) (36) . (36) (36)
6.3. The left tendency concept for
However, for and from the data above, and the formulas of we can also observe that the factors of the numerators for always fill the left part first then go around the centre factor to fill the right part and so on. For example, for k = 1 the centre factor is Then for k = 2, the next factor is located on the left of We call this natural behaviour by the left tendency which is explained in table Equation(37)(37) (37) . (37) (37)
6.4. The signs phenomena of integers
For we get the following data (38) (38)
Therefore, the signs of the sequence get back periodically every 8 steps. Table Equation(39)(39) (39) shows that three plus are followed by zero then it followed by three minus then followed by zero and so on. For and for the following data is useful (39) (39)
6.5. General divisibility relationship for the integers
Whether it is rather surprising that the quantity always gives
Therefore, computing these ratios, at the eight levels immediately proves the following desirable theorem that gives a fraction with a difference of two squares divided by a multiplication of the factors 16, k, and k − 1.
Theorem 14.
(Generating The integers From The Previous Term)
If not identically zero, then and we can choose either of the following initial values to generate from the starting term or the last term :
7. The emergence of sequence
Another natural sequence that emerges naturally from is the integer sequence which is defined as follows
Definition 15.
7.1. Recurrence relation of order 4 to generate sequence
From Equation(10)(10) (10) , we get the following recurrence relation
Lemma 16.
For each natural number n, , the integers satisfy the following property (40) (40)
From Equation(30)(30) (30) , we easily get the following initial values
Lemma 17.
For each natural number n (41) (41)
7.2. Explicit formulas for sequence
Now, from Theorem Equation(9)(9) (9) , we get the following explicit formulas for the integer sequence
Lemma 18.
For any non negative integers n, k, the sequences satisfy the following statements
7.3. Nonlinear recurrence relation to generate sequence
To study the arithmetic properties of Sequence, we need to generate from the previous one, or generate from the next one, As and noting that for n even, we immediately get, from Theorem Equation(14)(14) (14) , the following desirable theorem.
Theorem 19.
(Generating The integers From The Previous Term)
If not identically zero, n even, then and depending on the parity of k we can choose either of the following initial values to generate from the starting terms or : (42) (42)
8. Three new versions for Lucas-Lehmer primality tests for Mersenne numbers
From Lemmas (16–18), we are ready now to prove the following new results.
8.1. The proof of the first new version
Theorem 20.
Given prime is prime if and only if (43) (43) where are defined by the double index recurrence relation and the initial boundary values satisfy (44) (44)
Proof.
Given prime let From Lucas-Lehmer-Test, see Gallier(Citation2011) and Deza (Citation2021), we have
Hence, as replace in Theorem Equation(9)(9) (9) , we get the following equivalent statements:
Lemmas (16, 17) already proved the rest of Theorem Equation(20)(20) (20) . □
8.2. The proof of the second new version
From Lemmas (16, 17), we should observe that the recurrence relation of is always even integer for Hence from Lemma Equation(18)(18) (18) , we get the following theorem.
Theorem 21.
Given prime . The number is prime if and only if (45) (45)
8.3. The proof of the third new version
When we generate the integers needed for Mersenne numbers, we should notice that for we have
From the proof of Theorem Equation(20)(20) (20) , we know that
It is plain that, from EquationEq. (20)(20) (20) , Consequently, Therefore, from Theorem Equation(19)(19) (19) , we get the following result.
Theorem 22.
Given prime . The number is prime if and only if (46) (46) where are defined and generated by the double index recurrence relation and we can choose either of the following initial values to generate from the starting term or the last term :
9. Criteria for compositeness of Mersenne numbers
The following theorem is an immediate consequence of Theorem Equation(21)(21) (21) .
Theorem 23.
(Criteria for compositeness of Mersenne numbers)
Given prime . The number is Mersenne composite number if (47) (47)
10. The proof of the combinatorial identities
Choosing in the Eight Levels Theorem Equation(9)(9) (9) , and noting we surprisingly get the following eight combinatorial identities which reflect some unexpected facts about the nature of numbers.
Writing only the different identities, which are 4, we get the following theorem which gives formulas to factor any factorial in terms of a product of difference of squares.
Theorem 24.
(combinatorial identities) For any natural number n, the following combinatorial identities are correct
11. Formulas
Now we compute the summation (48) (48) for the first few terms from the starting and from the end. From Theorem Equation(22)(22) (22) , we get the following explicit formulas:
Now, compute as following
Proceeding this way, we get
Similarly
Now, compute from the end, and from Theorem Equation(22)(22) (22) , we get
Initially
Hence and
Similarly
The author feels that we need a clever way to evaluate the sum Equation(48)(48) (48) . We may like to add the terms in a way reflect some elegant arithmetic. Remember that we do not need to compute the sum Equation(48)(48) (48) exactly; but we just need to find the sum modulo According to the following theorem, and working modulo the last term always gives the value of the first term.
Theorem 25.
For prime, and (49) (49)
Proof.
We should observe that if prime, then for some positive integer Then
□
Hence, this encourages one to compute the partial sums of (50) (50) in the following order
12. The 5 scenario
For example, take p = 5, then Hence (51) (51)
Hence, we get the partial sums (52) (52)
As we ended up with zero, this shows that is Mersenne prime.
13. Further research investigations
Now, consider p prime greater than 3, and The previous sections give various explicit formulas and techniques to compute and generate all of the terms needed for checking the primality of the Mersenne number
13.1. Searching for a hypothetical pattern
This previous particular example, for is illuminating and should motivate us for further theoretical investigations for other similar scenarios. We need to find a general pattern for n similar to this special case, for p = 5, such that, working modulo the partial sums give: (53) (53) where for each k. We need to investigate certain types of prime p. We should try to investigate the primes p of the form or to make the sum (54) (54) easily to understand and help us identify a general pattern for p for which this sum gives zero modulo infinitely many times (in this case we could prove that Mersenne primes are infinite), or gives nonzero modulo infinitely many times (in this case we could prove that Mersenne composites are infinite).
13.2. New identities to help understand the sums of (48) and (54)
To motivate the readers about this future vital research and investigations, and in the spirit of the previous results, I feel compelled to mention, even though succinctly, the following new identities that I found recently for
For any natural number p greater than 3, and we get the identities (55) (55) where L(n) is Lucas sequence defined by
13.3. The nature of the prime factors of the sum
We use SAGE (SAGE Mathematical Software, Version 2.6), with double-checking provided by Mathematica, to carry out all the numerical computations of the current paper. For the following sum (56) (56)
This shows that the number 31 is Mersenne prime because it is one of the factors of this sum. Surprisingly, although the prime number 607 is not a Mersenne prime, the number 607 is the exponent of the Mersenne prime Moreover, the prime 607 is an irregular prime since it divides the numerator of the Bernoulli number B592. So, for a given prime we should also investigate the arithmetical nature of all the other prime factors for the sum (57) (57)
14. Conclusions
The discovery of new Mersenne primes is significant in the field of mathematics because they are relatively rare and difficult to find. Moreover, they have important applications in areas such as cryptography, number theory, and computer science. As of April 2023, there are currently only 51 known Mersenne primes. The largest known Mersenne prime as of this date is which has 24,862,048 digits. The discovery of Mersenne primes is a very challenging, computationally intensive process, and time-consuming task, and the search for new Mersenne primes via GIMPS is an ongoing effort by many mathematicians and computer scientists around the world. While the Great Internet Mersenne Prime Search (GIMPS) has been successful in discovering 51 Mersenne primes to date, there are several limitations to the search. The search for Mersenne primes is a probabilistic process, and it is not guaranteed that a new Mersenne prime will be found. Even if a new Mersenne prime exists, there is a chance that it may not be discovered in a given search due to the limitations of the algorithm or computational resources. The search becomes increasingly difficult as the size of the potential primes increases, and it may become impractical or impossible to search for larger Mersenne primes without significant advances in theoretical understanding of the nature of Mersenne primes. Therefore, the current paper developed three new versions of primality tests for Mersenne numbers which could potentially help in the search for new Mersenne primes or provide insights into the open questions surrounding the infinitude of Mersenne primes or Mersenne composites.
Disclosure statement
The author declares that he has no conflict of interest.
References
- Aggarwal, D., Joux, A., Prakash, A., & Santha, M. (2018). A new public-key cryptosystem via Mersenne numbers. In CRYPTO (Vol. 10993, pp. 459–482). Cham: Springer.
- Cambraia, A., Knapp, P., Lemos, A., Moriya, B. K., & Rodrigues, P. H. A. (2022). On prime factors of Mersenne numbers. Palestine Journal of Mathematics, 11(2), 449–456.
- Deza, E. (2021). Mersenne numbers and Fermat numbers. Hackensack, NJ: World Scientific Publishing Co. Pte. Ltd.
- Dickson, L. E. (1919). History of the theory of numbers (Vol. I). Washington: Carnegie Institution of Washington.
- Effinger, G., & Mullen, G. L. (2021). Elementary number theory. New York: Chapman and Hall/CRC.
- Ferradi, H., & Xagawa, K. (2020). Post-quantum provably-secure authentication and MAC from Mersenne primes. In Topics in cryptology–CT-RSA 2020 (Lecture notes in computer science, Vol. 12006, pp. 469–495). Cham: Springer.
- Gallier, J. (2011). Discrete mathematics. New York: Universitext, Springer-Verlag.
- GIMPS. (2016). Great internet mersenne prime search, project [Online]. Retrieved September 16, from http://www.mersenne.org/default.php
- Guy, R. (2004). Unsolved problems in number theory. New York: Springer.
- Hurwitz, A. (1962). New Mersenne primes. Mathematics of Computation, 16(78), 249–251. doi:10.1090/S0025-5718-1962-0146162-X
- Ibrahim, M. (2004). A new approach to polynomial identities. The Ramanujan Journal, 8, 423–457.
- Jo, G., & Kim, D. (2022). Mersenne prime factor and sum of binomial coefficients. Journal of Applied Mathematics and Informatics, 40(1–2), 61–68.
- Kharaghani, H., & Suda, S. (2020). Commutative association schemes obtained from twin prime powers, Fermat primes, Mersenne primes. Finite Fields and Their Applications, 63, 101631. doi:10.1016/j.ffa.2019.101631
- Kraft, J. S., & Washington, L. C. (2018). An introduction to number theory with cryptography (2nd ed.). New York: Chapman and Hall/CRC.
- Kundu, S., & Mazumder, S. (2022). Number Theory and its Applications. London: CRC Press.
- Ochem, P., & Rao, M. (2012). Odd perfect numbers are greater than 101500. Mathematics of Computation, 81(279), 1869–1877. doi:10.1090/S0025-5718-2012-02563-4
- Perron, O. (1932). Algebra I, Die Grundlagen. Berlin: Walter de Gruyter.
- SAGE Mathematical Software, Version 2.6. http://www.sagemath.org.
- Skula, L. (2019). Prime power divisors of Mersenne numbers and Wieferich primes of higher order. Integers, 19, 4.
- Wells, D. (1987). The penguin dictionary of curious and interesting numbers. New York: Penguin Books.
- Witno, A. (2021). Hypothetical elite primes for Mersenne numbers and repunits. Journal of Integer Sequences, 24(1), 21.1.7.
- Youssri, Y. H., Abd-Elhameed, W. M., & Atta, A. G. (2022). Spectral Galerkin treatment of linear one-dimensional telegraph type problem via the generalized Lucas polynomials. Arabian Journal of Mathematics, 11(3), 601–615. doi:10.1007/s40065-022-00374-0
- Zheng, D. X., & Yang, Q. (1985). On the complex Mersenne transforms. Sichuan Daxue Xuebao, 1, 6–9.