login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A173062 Primes of the form 2^r * 13^s - 1. 2
3, 7, 31, 103, 127, 337, 1663, 5407, 8191, 131071, 346111, 524287, 2970343, 3655807, 22151167, 109051903, 617831551, 1631461441, 2007952543, 2147483647, 32127240703, 194664464383, 275716983697, 958348132351, 1357375919743 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

s=0 is "trivial" case of Mersenne primes: 3, 7, 31, 127, 8191, 131071, 524287, 2147483647, ...

Mersenne prime exponents r: 2, 3, 5, 7, 13, 17, 19, 31, ...

Necessarily r odd as for r = 2*k and p a prime of form 6*n+1: 2^(2*k) * p^j - 1 a multiple of 3.

Proof by induction with 2^2 * p^1 - 1 = 4*(6*n+1) - 1 = 3*(8*n+1), 2^2(k+1) * p^j - 1 = 4* (2^k * p^j - 1) + 3.

No prime in case i = j = k (k>1) as a^k-1 has divisor a-1.

REFERENCES

Peter Bundschuh: Einfuehrung in die Zahlentheorie, Springer-Verlag GmbH Berlin, 2002)

Leonard E. Dickson: History of the Theory of numbers, vol. I, Dover Publications, 2005

Paulo Ribenboim, Wilfrid Keller, Joerg Richstein: Die Welt der Primzahlen, Springer-Verlag GmbH Berlin, 2006

LINKS

Table of n, a(n) for n=1..25.

EXAMPLE

2^2*13^0 - 1 = 3 = prime(2) => a(1).

2^3*13^1 - 1 = 103 = prime(27) => a(4).

2^7*13^9 - 1 = 1357375919743 = prime(50467169414) => a(25).

list of (r,s) pairs: (2,0), (3,0), (5,0), (3,1), (7,0), (1,2), (7,1), (5,2), (13,0), (17,0), (11,2), (19,0), (3,5), (7,4), (17,2), (23,1), (7,6), (1,8), (5,7), (31,0), (9,7), (19,5), (1,10), (25,4), (7,9), (11,8), (27,5), (5,11), (25,6), (19,8), (13,10), (3,13), (29,7), (5,14), (39,5), (15,13), (5,16), ...

CROSSREFS

Cf. A000668, A005105, A077313, A077314, A077315.

Sequence in context: A257924 A132153 A002357 * A105765 A061095 A103901

Adjacent sequences:  A173059 A173060 A173061 * A173063 A173064 A173065

KEYWORD

nonn

AUTHOR

Eva-Maria Zschorn (e-m.zschorn(AT)zaschendorf.km3.de), Feb 09 2010

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 26 22:42 EDT 2019. Contains 321565 sequences. (Running on oeis4.)