cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A054723 Prime exponents of composite Mersenne numbers.

This page as a plain text file.
%I A054723 #50 Sep 08 2022 08:45:01
%S A054723 11,23,29,37,41,43,47,53,59,67,71,73,79,83,97,101,103,109,113,131,137,
%T A054723 139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,
%U A054723 233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331
%N A054723 Prime exponents of composite Mersenne numbers.
%C A054723 Primes p such that 2^p-1 is composite.
%C A054723 No proof is known that this sequence is infinite!
%C A054723 Assuming a conjecture of Dickson, we can prove that this sequence is infinite. See Ribenboim. - _T. D. Noe_, Jul 30 2012
%C A054723 A002515 \ {3} is a subsequence. Any proof that A002515 is infinite would imply that this sequence is infinite. - _Jeppe Stig Nielsen_, Aug 03 2020
%D A054723 Paulo Ribenboim, The New Book of Prime Number Records, Springer, 1996, p. 378.
%H A054723 Vincenzo Librandi, <a href="/A054723/b054723.txt">Table of n, a(n) for n = 1..2974</a>
%H A054723 Charles B. Barker, <a href="http://dx.doi.org/10.1090/S0002-9904-1945-08362-1">Proof that the Mersenne number M167 is composite</a>, Bull. Amer. Math. Soc. 51 (1945), 389.
%H A054723 H. S. Uhler, <a href="http://dx.doi.org/10.1090/S0002-9904-1946-08537-7">Note on the Mersenne numbers M157 and M167</a>, Bull. Amer. Math. Soc. 52 (1946), 178.
%e A054723 p=29 is included because 29 is prime, but 2^29-1 is *not* prime.
%t A054723 Select[Prime[Range[70]], ! PrimeQ[2^# - 1] &] (* _Harvey P. Dale_, Feb 03 2011 *)
%t A054723 Module[{nn=15,mp},mp=MersennePrimeExponent[Range[nn]];Complement[ Prime[ Range[ PrimePi[Last[mp]]]],mp]] (* Requires Mathematica version 10 or later *) (* _Harvey P. Dale_, Apr 10 2019 *)
%o A054723 (Magma) [p: p in PrimesUpTo(350) | not IsPrime(2^p-1)];  // _Bruno Berselli_, Oct 11 2012
%o A054723 (PARI) forprime(p=2, 1e3, if(!isprime(2^p-1), print1(p, ", "))) \\ _Felix Fröhlich_, Aug 10 2014
%Y A054723 Complement of A000043 inside A000040.
%Y A054723 Cf. A016027.
%K A054723 easy,nonn
%O A054723 1,1
%A A054723 _Jeppe Stig Nielsen_, Apr 20 2000
%E A054723 Offset corrected by _Arkadiusz Wesolowski_, Jul 29 2012