Mersenneprimtal

Ett Mersennetal  är inom talteorin ett heltal på formen  där n är ett positivt heltal. Det är uppkallat efter den franske amatörmatematikern Marin Mersenne (1588–1648).

Ett Mersenneprimtal är ett Mersennetal som är ett primtal.

Om Mersennetal 
I det binära talsystemet skrivs tal på formen  som  stycken ettor.

Om Mersenneprimtal 
Det är okänt huruvida det existerar ett oändligt antal Mersenneprimtal. Hittills har 51 Mersenneprimtal hittats. De största av dessa är också de största kända primtalen, med flera miljoner siffror. Anledningen till att så stora Mersenneprimtal kunnat bestämmas är att det finns en särskilt effektiv algoritm för att avgöra om tal på den här formen är prima, nämligen Lucas-Lehmers test. Det största kända Mersenneprimtalet är 282 589 933-1. Det upptäcktes den 7 december 2018 av Great Internet Mersenne Prime Search (GIMPS) och har 24 862 048 siffror.

De största kända primtalen är av mersennetyp, men det är mycket sällsynt att mersennetal är primtal. Till exempel så ger exponenten 4 talet 15, (24 - 1 = 15), som är ett sammansatt tal. Detta förhållande gäller för samtliga jämna exponenter större än 2, eftersom exponenten då kan skrivas som 2j och mersennetalet faktoruppdelas enligt modellen 22j - 1 = (2j + 1)(2j - 1).

Resultatet kan generaliseras: Mersennetalet är ett primtal endast om exponenten är ett primtal.
Ett nödvändigt men ej tillräckligt villkor för att ett mersennetal skall vara ett primtal är, att exponenten är ett primtal. Exempelvis är 211 - 1 = 2 047 inget primtal, ty 2 047 = 23·89.

Länge fanns en hypotes om att mersennetal med mersenneprimtal som exponent var primtal, vilket stämmer för 27 - 1, 231 - 1 och 2127 - 1. Eftersom 213 - 1 (8 191) är ett primtal borde enligt denna förmodan också 28191 - 1 (2 466-siffrigt) vara det. Detta antagande visade sig vara falskt när man kunde undersöka talet med dator.

Flera liknande primtalshypoteser har sett dagens ljus, men samtliga har kunnat förpassas till papperskorgen. Det finns således ingen allmän tumregel eller "formel", med vilken man kan vaska fram mersenneprimtal.

Sökning efter Mersenneprimtal 
Det är relativt lätt att avgöra om ett Mersennetal är ett primtal eller inte.

Bortsett från några specialfall (de tal som slutar på 0, 5 eller är jämna, liksom de vars siffersumma är jämnt delbar med 3, kan till exempel inte vara primtal) finns inga "enkla" sätt att avgöra om ett godtyckligt tal är ett primtal. Även om det i det allmänna fallet finns bättre metoder än att tillgripa testdivision med samtliga primtal upp till kvadratroten ur talet, så krävs ofta ett enormt räknearbete för att kontrollera primtalsegenskapen. 

För mersennetal finns dock en enklare metod. På dessa kan man applicera det kriterium, som den franske matematikern Édouard Lucas uppställde i slutet av 1800-talet:

Bilda talföljden
L0 = 4,
Li+1 = Li2 - 2 mod 2p - 1.
För ett primtal p > 2 är 2p - 1 ett primtal om och endast om  Lp-2 = 0, det vill säga om mersennetalet går jämnt upp i termen med ordningsnumret p-2.

Också denna metod kräver ett mycket stort räknearbete för mersennetal som består av tiotusentals (och ännu fler) siffror, men i motsats till de algoritmer som måste användas i det allmänna fallet för att avgöra om ett tal är primtal eller inte är den praktiskt utförbar.

Före datoråldern (med andra ord fram till början av 50-talet) kände man till 12 mersenneprimtal, av vilka det största var 2127 - 1 (39-siffrigt), och man visste inte om det existerade några fler primtal i denna familj.

Lista över mersenneprimtal 

* Det är inte känt om det finns några oupptäckta Mersenneprimtal mellan det 48:e (M 57 885 161 ) och det 51:a (M82 589 933) i den här tabellen, så därför finns risk att ordningsnumren på de sista talen inte stämmer.

Se även 
 Great Internet Mersenne Prime Search

Referenser

Externa länkar 

 

Heltalsmängder
Primtalsklasser