A Mersenne -szám az alak száma , ahol egy természetes szám ; ezek a számok figyelemre méltóak abban, hogy némelyikük prímszám nagy érték esetén . Nevét Marin Mersenne francia matematikusról kapták, aki a 17. században tanulmányozta tulajdonságaikat.
Az első Mersenne-számok [1] :
1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, 16383, 32767, 65535, 131071, …Mindenre igaz: ha összetett, akkor az is összetett, ami a bővítésből következik:
.Ebből rögtön következik: egy szám csak akkor prím , ha a szám is prím. A fordított állítás általános esetben nem igaz, a legkisebb ellenpélda a .
Egy prímszám összetett számának bármely osztója alakja , ahol természetes szám (ez a Fermat-féle kis tétel következménye ).
A Mersenne-prímek szorosan összefüggenek a tökéletes számokkal . Eukleidész megmutatta, hogy az alak olyan száma , ahol a Mersenne-szám prímszám, tökéletes. Euler bebizonyította, hogy ez a képlet minden páros tökéletes számot kimerít. (Ami a páratlan tökéletes számokat illeti, ezek létezéséről eddig semmit sem tudunk.)
Az alak összes prímszámánál a kitevő is mindig prímszám, ezért különösen a [2] prímkitevővel rendelkező Mersenne-számokat tanulmányozzák ( egyes írásokban csak az ilyen számokat tekintik Mersenne-számoknak). A Mersenne-prímek sorozata így kezdődik [3] :
3 , 7 , 31 , 127 , 8191, 131 071, 524 287, 2 147 483 647 , 2 305 843 009 213 693 951 , 618 970 019 642 690 137 449 562 111 , 162 259 276 829 213 363 391 578 010 288 127 127 127 , 170 141 183 460 469 231 731 687 303 715 884 105 727 …Az ismert Mersenne-prímek kitevői egy sorozatot alkotnak [4] [5] :
2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 4253, 4423 , 96417,1 , 96413 , 23 209 , 44 497 , 86 243 , 110 503 , 132 049 , 216 091 , 756 839 , 859 433 , 1 257 787 , 1 398 269 , 2 976 221 , 3 021 377 , 6 972 593 , 13 466 917 20 996 011 , 24 036 583 , 25 964 951 , 30 402 457 , 32 582 657 , 37 156 667 , 42 643 801 , 42 643 801 , 43 112 801 , 43 112 801 , 43 112 609 ... 43 112 609 ...A Mersenne-számok a Mersenne-számok egyszerűségét ellenőrző hatékony algoritmussal – a Luc-Lehmer-teszttel – szereztek hírnevet . Emiatt a Mersenne-prímek sokáig vezették a legnagyobb ismert prímszámokat [6] . Ezenkívül a Mersenne-prímszámokat nagy periódusú pszeudo-véletlenszám-generátorok létrehozására használják [7] , például a Mersenne-örvényt .
A legnagyobb ismert prímszám (2019 januárjában) a Mersenne-szám , amelyet 2018. december 7-én Patrick Laroche talált meg a GIMPS önkéntes számítási projekt részeként . Egy szám decimális jelölése 24 862 048 számjegyet tartalmaz [8] .
Összességében 2018 decemberéig 51 Mersenne-prím ismert, míg a sorozatszámok csak az első 48 [9] szám esetében vannak megbízhatóan megállapítva. Különösen nem ismert, hogy vannak-e más Mersenne-prímek, amelyek kisebbek az ismert rekordnál. Nevezetesen, a 45. Mersenne-prím két héttel később került elő, mint a 47. ismert Mersenne-prím , míg a 46. ismert Mersenne-prím csak egy évvel később került elő.
2009-ben a GIMPS projekt 100 000 dolláros díjat kapott az Electronic Frontier Foundationtől , mert Mersenne-prímet talált egy olyan prímszám megtalálásához, amelynek decimális jelölése legalább 10 millió számjegyet tartalmaz [10] .
A dupla Mersenne -szám az alak száma. 2021 januárja óta csak 4 ilyen típusú prímszám ismert (-re).
A katalán-mersenne-i számok egy 2-vel kezdődő számsorozat tagjai, amelyekaz előző tag; első elemek[11]:
2, 3, 7, 127 , 170141183460469231731687303715884105727 …Katalán azt feltételezte, hogy ezek a számok "egy bizonyos határig" prímszámúak.
Az általánosított Mersenne -szám a következő alakú szám:
.Ez az általánosítás annak köszönhető, hogy egy növekvő geometriai progresszió első tagjának összegeként ábrázolható :
,más szóval, a Mersenne-számok az általánosított Mersenne-számok speciális esetei . Egyes értékek és általánosított Mersenne-számok egyszerűek, például , , , , , , és még sok más.
Nem ismert, hogy a Mersenne-prímek halmaza véges vagy végtelen, és eloszlásuk sűrűsége a természetes számok halmazában ismeretlen.
Nem ismert, hogy léteznek-e prímdupla Mersenne-számok .