Mersennovo prvočíslo

Mersennovo prvočíslo alebo Mersennovo číslo je prvočíslo ktoré sa dá zapísať v tvare $M_{p}=2^{p}-1$ , kde $p$ je prvočíslo. Príkladom Mersenovho prvočísla je číslo 3 pretože je to prvočíslo a navyše $3=2^{2}-1$ . Prvých 10 Mersennovych prvočísel tvorí postupnosť:

3, 7, 31, 127, 8191, 131071, 524287, 2147483647, 2305843009213693951, 618970019642690137449562111...

V súčasnosti je známych 51 Mersennových prvočísel. Zatiaľ najväčšie známe Mersennovo prvočíslo má viac ako 24 miliónov cifier a bolo objavené v decembri roku 2018.^[1]

Prípustné hodnoty $p$ upraviť

Nutnou podmienkou k tomu, aby bolo $M_{p}$ prvočíslom je prvočíselnosť samotného $p$ . Totiž, ak je $p$ zložené číslo, dá sa vyjadriť v tvare $p=a.b$ kde $a,b$ sú prirodzené čísla rôzne od 1. Navyše platí vzťah

M_{p}=M_{ab}=2^{ab}-1=(2^{a}-1)\cdot \left(1+2^{a}+2^{2a}+2^{3a}+\dots +2^{(b-1)a}\right)

z ktorého vyplýva, že $M_{p}$ je tiež zložené číslo. Preto môže byť $M_{p}$ prvočíslom len v tom prípade, ak je prvočíslom aj $p$ .

To ale neznamená, že ak je $p$ prvočíslom, je ním aj $M_{p}$ . Najmenším príkladom je $M_{11}=2047=23.89$ .

Zoznam Mersennových prvočísel upraviť

#	p	M_p	Cifry v M_p	Dátum objavu	Objaviteľ
1	2	3	1	500 pred Kr.^[2]	starí Gréci
2	3	7	1	500 pred Kr.^[2]	starí Gréci
3	5	31	2	275 pred Kr.^[2]	starí Gréci
4	7	127	3	275 pred Kr.^[2]	starí Gréci
5	13	8191	4	1456	anonym ^[3]
6	17	131071	6	1588	Cataldi
7	19	524287	6	1588	Cataldi
8	31	2147483647	10	1772	Euler
9	61	2305843009213693951	19	1883	Ivan Pervušin
10	89	618970019…449562111	27	1911	Powers
11	107	162259276…010288127	33	1914	Powers^[4]
12	127	170141183…884105727	39	1876	Lucas
13	521	686479766…115057151	157	30. január 1952	Robinson pomocou SWAC
14	607	531137992…031728127	183	30. január 1952	Robinson
15	1 279	104079321…168729087	386	25. jún 1952	Robinson
16	2 203	147597991…697771007	664	7. október 1952	Robinson
17	2 281	446087557…132836351	687	9. október 1952	Robinson
18	3 217	259117086…909315071	969	8. september 1957	Riesel pomocou BESK
19	4 253	190797007…350484991	1 281	3. november 1961	Hurwitz pomocou IBM 7090
20	4 423	285542542…608580607	1 332	3. november 1961	Hurwitz
21	9 689	478220278…225754111	2 917	11. máj 1963	Gillies pomocou ILLIAC II
22	9 941	346088282…789463551	2 993	16. máj 1963	Gillies
23	11 213	281411201…696392191	3 376	2. jún 1963	Gillies
24	19 937	431542479…968041471	6 002	4. marec 1971	Tuckerman pomocou IBM 360/91
25	21 701	448679166…511882751	6 533	30. október 1978	Noll & Nickel pomocou CDC Cyber 174
26	23 209	402874115…779264511	6 987	9. február 1979	Noll
27	44 497	854509824…011228671	13 395	8. apríl 1979	Nelson & Slowinski
28	86 243	536927995…433438207	25 962	25. september 1982	Slowinski
29	110 503	521928313…465515007	33 265	28. január 1988	Colquitt & Welsh
30	132 049	512740276…730061311	39 751	19. september 1983^[2]	Slowinski
31	216 091	746093103…815528447	65 050	1. september 1985^[2]	Slowinski
32	756 839	174135906…544677887	227 832	19. február 1992	Slowinski & Gage na Harwell Lab Cray-2^[5]
33	859 433	129498125…500142591	258 716	4. január 1994^[6]	Slowinski & Gage
34	1 257 787	412245773…089366527	378 632	3. september 1996	Slowinski & Gage^[7]
35	1 398 269	814717564…451315711	420 921	13. november 1996	GIMPS / Joel Armengaud^[8]
36	2 976 221	623340076…729201151	895 932	24. august 1997	GIMPS / Gordon Spence^[9]
37	3 021 377	127411683…024694271	909 526	27. január 1998	GIMPS / Roland Clarkson^[10]
38	6 972 593	437075744…924193791	2 098 960	1. jún 1999	GIMPS / Nayan Hajratwala^[11]
39	13 466 917	924947738…256259071	4 053 946	14. november 2001	GIMPS / Michael Cameron^[12]
40	20 996 011	125976895…855682047	6 320 430	17. november 2003	GIMPS / Michael Shafer^[13]
41	24 036 583	299410429…733969407	7 235 733	15. máj 2004	GIMPS / Josh Findley^[14]
42	25 964 951	122164630…577077247	7 816 230	18. február 2005	GIMPS / Martin Nowak^[15]
43	30 402 457	315416475…652943871	9 152 052	15. december 2005	GIMPS / Curtis Cooper & Steven Boone^[16]
44	32 582 657	124575026…053967871	9 808 358	4. september 2006	GIMPS / Curtis Cooper & Steven Boone^[17]
45	37 156 667	202254406…308220927	11 185 272	6. september 2008	GIMPS / Hans-Michael Elvenich^[18]
46	42 643 801	169873516…562314751	12 837 064	12. apríl 2009	GIMPS / Odd M. Strindmo
47	43 112 609	316470269…697152511	12 978 189	23. august 2008	GIMPS / Edson Smith^[18]
48	57 885 161	581887266…724285951	17 425 170	25. január 2013	GIMPS / Curtis Cooper
49^{[pozn. 1]}	74 207 281	300376418…086436351	22 338 618	7. január 2016	GIMPS / Curtis Cooper
50^{[pozn. 1]}	77 232 917	467333183...762179071	23 249 425	26. december 2017	GIMPS / Jonathan Pace
51^{[pozn. 1]}	82 589 933	148894445...217902591	24 862 048	7. december 2018	GIMPS / Patrick Laroche ^[1]

Poznámky upraviť

↑ ^a ^b ^c Zatiaľ nie je známe, či medzi 48. a 51. existujú niektoré doposiaľ neobjavené Mersennove prvočísla, číslovanie je preto iba predbežné. GIMPS Milestones [online]. www.mersenne.org, [cit. 2022-02-17]. Dostupné online.

Referencie upraviť

↑ ^a ^b Largest Known Prime Number: 282,589,933-1 [online]. mersenne.org, 21.12.2018, [cit. 2019-01-03]. Dostupné online. (anglicky)
↑ ^a ^b ^c ^d ^e ^f Landon Curt Noll Mersenne Prime Digits and Names.
↑ The Prime Pages Mersenne Primes: History Theorems and Lists.
↑ The Prime Pages M₁₀₇: Fauquembergue or Powers?.
↑ The Prime Pages The finding of the 32nd Mersenne.
↑ Chris Caldwell The Largest Known Primes Archivované 1998-12-02 na Wayback Machine.
↑ The Prime Pages A Prime of Record Size! 2^1257787-1.
↑ GIMPS Discovers 35th Mersenne Prime.
↑ GIMPS Discovers 36th Known Mersenne Prime.
↑ GIMPS Discovers 37th Known Mersenne Prime.
↑ GIMPS Finds First Million-Digit Prime Stakes Claim to $50 000 EFF Award.
↑ GIMPS Researchers Discover Largest Multi-Million-Digit Prime Using Entropia Distributed Computing Grid.
↑ GIMPS Mersenne Project Discovers Largest Known Prime Number on World-Wide Volunteer Computer Grid.
↑ GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{24 036 583}-1.
↑ GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{25 964 951}-1.
↑ GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{30 402 457}-1.
↑ GIMPS Mersenne.org Project Discovers Largest Known Prime Number 2^{32 582 657}-1.
↑ ^a ^b Titanic Primes Raced to Win $100 000 Research Award. Retrieved on 2008-09-16.

Pozri aj upraviť

Externé odkazy upraviť

A000043 Zoznam tých prirodzených čísel $p$ pre ktoré je $M_{p}$ prvočíslom. Odkazy na literatúru.
Tlačová správa o objavení 45 a 46 Merseenového prvočísla
Mersennovo prvočíslo

[pozn1-19] Zatiaľ nie je známe, či medzi 48. a 51. existujú niektoré doposiaľ neobjavené Mersennove prvočísla, číslovanie je preto iba predbežné. GIMPS Milestones [online]. www.mersenne.org, [cit. 2022-02-17]. Dostupné online.

[:0-1] Largest Known Prime Number: 282,589,933-1 [online]. mersenne.org, 21.12.2018, [cit. 2019-01-03]. Dostupné online. (anglicky)

[isthe-2] ↑ ^a ^b ^c ^d ^e ^f Landon Curt Noll Mersenne Prime Digits and Names.

[primepages-3] The Prime Pages Mersenne Primes: History Theorems and Lists.

[4] The Prime Pages M₁₀₇: Fauquembergue or Powers?.

[5] The Prime Pages The finding of the 32nd Mersenne.

[6] Chris Caldwell The Largest Known Primes Archivované 1998-12-02 na Wayback Machine.

[7] The Prime Pages A Prime of Record Size! 2^1257787-1.

[8] GIMPS Discovers 35th Mersenne Prime.

[9] GIMPS Discovers 36th Known Mersenne Prime.

[10] GIMPS Discovers 37th Known Mersenne Prime.

[11] GIMPS Finds First Million-Digit Prime Stakes Claim to $50 000 EFF Award.

[12] GIMPS Researchers Discover Largest Multi-Million-Digit Prime Using Entropia Distributed Computing Grid.

[13] GIMPS Mersenne Project Discovers Largest Known Prime Number on World-Wide Volunteer Computer Grid.

[14] GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{24 036 583}-1.

[15] GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{25 964 951}-1.

[16] GIMPS Mersenne.org Project Discovers New Largest Known Prime Number 2^{30 402 457}-1.

[17] GIMPS Mersenne.org Project Discovers Largest Known Prime Number 2^{32 582 657}-1.

[mp-18] Titanic Primes Raced to Win $100 000 Research Award. Retrieved on 2008-09-16.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[pozn. 1]