Alkuluku

Alkuluku on lukua 1 suurempi luonnollinen luku, joka ei ole jaollinen muilla positiivisilla kokonaisluvuilla kuin yhdellä ja itsellään. Alkulukujen joukkoa merkitään kirjaimella P. Pienimmät kymmenen alkulukua ovat 2, 3, 5, 7, 11, 13, 17, 19, 23 ja 29. Alkulukuja on ääretön määrä. Lukua 1 suurempaa kokonaislukua, joka ei ole alkuluku, sanotaan yhdistetyksi luvuksi. Lukua 1 ei lueta alkuluvuksi, vaikka se onkin jaoton luku, jotta alkulukuja koskevien matemaattisten lauseiden muotoilu olisi yksinkertaisempaa.

Alkulukujen laskemiseksi on olemassa useita algoritmeja. Yksi yksinkertaisimmista algoritmeista on Eratostheneen seula, joskin se on työläs ja hidas suurten alkulukujen etsimiseen.

Kaksi lukua ovat alkulukuja toistensa suhteen eli keskenään jaottomia, jos niillä ei ole ykköstä suurempia yhteisiä tekijöitä.

Historiaa 
1600-luvulla elänyt ranskalainen matemaatikko Pierre de Fermat tarkasteli ensimmäisiä lukuja epänegatiivisten kokonaislukujen n  funktiossa

 

ja päätteli virheellisesti, että kaikki näin saadut luvut eli Fermat’n luvut (3, 5, 17, 257, 65537, …) olisivat alkulukuja.

Luonnolliset luvut tulona 
Jokainen luonnollinen luku paitsi  voidaan jakaa alkulukutekijöihin eli kirjoittaa alkulukujen tulona. Voidaan osoittaa, että tämä tekijöihin jako on yksikäsitteinen lukuun ottamatta tekijöiden järjestystä (aritmetiikan peruslause). Voidaan esimerkiksi kirjoittaa
.
Tekijöihinjakoa, jossa alkulukutekijät ovat suuruusjärjestyksessä, kutsutaan kanoniseksi alkulukuhajotelmaksi.

Ominaisuuksia  
Jos p on alkuluku, niin  (Wilsonin lause).
Mikäli  ja  ovat keskenään jaottomia, niin on olemassa äärettömän monta alkulukua muotoa , missä  on luonnollinen luku.
Mikäli  on alkuluku ja  on kokonaisluku, niin  on jaollinen luvulla  (Fermat’n pieni lause).
Jokaiselle alkuluvulle  on olemassa luonnollinen luku  siten että .
Jokaiselle alkuluvulle  on olemassa luonnollinen luku  siten että .

Määrän äärettömyys 
Eukleides antoi vanhimman tunnetun todistuksen alkulukujen määrän äärettömyydelle. Todistus on lyhyesti seuraava:
Ota äärellinen joukko perättäisiä alkulukuja. Kerro ne kaikki keskenään ja lisää yksi. Tulos ei ole jaollinen valitun joukon alkuluvuilla, koska jakojäännökseksi jää tällöin yksi. Niinpä sen täytyy olla joko uusi alkuluku tai jaollinen alkuluvulla, joka ei kuulunut valittuun joukkoon.

Tiheys 
Alkuluvuille on olemassa laskufunktio . Merkintä  tarkoittaa lukua n pienempien alkulukujen määrää. Alkulukujen tiheys on laskeva.

Alkulukulause antaa asymptoottisen arvion -funktion käyttäytymiselle. Sen nojalla

Tämä merkintä ei tarkoita sitä, että näiden funktioiden arvojen erotus lähestyy nollaa, kun x lähestyy ääretöntä, vaan sitä, että niiden arvojen osamäärä lähestyy yhtä, kun x lähestyy ääretöntä. Arvion antama virhe voi siis olla suurikin, mutta suhteutettuna x:ään se on tarpeeksi pieni, jotta arvio on hyödyllinen.

Alkulukuteoreeman esitti ensimmäisen kerran Gauss konjektuurina 1800-luvulla. Sen todistivat toisistaan riippumatta Hadamard ja de la Vallée Poussin vuonna 1896.

Eräs alkulukukaava 
Seuraava funktio tuottaa luonnollisen luvun  eri arvoilla kaikki alkuluvut ja vain ne: 
 .

Tämän lausekkeen arvo on , jos tämä on alkuluku, muussa tapauksessa 2.  Luvun  arvoilla 1 – 12 lauseke saa arvot 2, 3, 2, 5, 2, 7, 2, 2, 2, 11, 2 ja 13. 

Kaavan hyöty on kuitenkin lähinnä teoreettinen, koska kertoman laskeminen on erittäin työlästä tietokoneillekin.
Esimerkiksi alkulukua  varten täytyy laskea luvun  kertoma, joka on .

Ohjelman pseudokoodi:

 define factorial(n):
   if n == 0 or n == 1:
       return 1
   else:
       return n * factorial(n - 1)
 
 k = read_integer()
  
 for n in 1 to k:
   c = factorial(n)
   prime = 2 + (2 * c mod (n + 1))
 
   if prime not in seen_primes:
       seen_primes.insert(prime)
       print prime

Suurimpia tunnettuja alkulukuja 

Suurin tunnettu alkuluku on . Tässä luvussa on 24 862 048 numeroa. Se on 51. tunnettu Mersennen alkuluku.

Toiseksi suurin tunnettu alkuluku on . Tässä luvussa on 23 249 425 numeroa. Se on 50. tunnettu Mersennen alkuluku.

Kolmanneksi suurin tunnettu alkuluku on . Tässä luvussa on 22 338 618 numeroa. Se on 49. tunnettu Mersennen alkuluku. Alkuluvun löysi 7. tammikuuta 2016 GIMPS-projektissa mukana ollut tietokone.

Neljänneksi suurin tunnettu alkuluku on . Tässä luvussa on noin 17 miljoonaa numeroa. Se on 48. tunnettu Mersennen alkuluku. Alkuluvun löysi 25. tammikuuta 2013 Central Missourin yliopiston professori Curtis Cooperin tietokone, joka osallistui GIMPS-projektiin.

Viidenneksi suurin tunnettu alkuluku on . Tässä luvussa on 12 978 189 numeroa. Se on 45. tunnettu Mersennen alkuluku. Alkuluvun löysi 23. elokuuta 2008 University of California, Los Angelesin matematiikan osaston tietokone, joka osallistui GIMPS-projektiin.

Kuudenneksi suurin tunnettu alkuluku on . Tässä luvussa on 12 837 064 numeroa. Se on 47. tunnettu Mersennen alkuluku. Alkuluvun löysi 12. kesäkuuta 2009 Odd Magnar Strindmo, joka osallistui GIMPS-projektiin.

Seitsemänneksi suurin tunnettu alkuluku on . Tässä luvussa on 11 185 272 numeroa. Se on 46. tunnettu Mersennen alkuluku. Alkuluvun löysi 6. syyskuuta 2008 Hans-Michael Elvenich Saksan Langenfeldistä, joka osallistui GIMPS-projektiin. Tämä oli ensimmäinen epäjärjestyksessä löytynyt Mersennen alkuluku sitten vuoden 1988.

Suurin tunnettu alkuluku, joka ei ole Mersennen alkuluku, on . Tässä luvussa on 9 383 761 numeroa. Se löydettiin Seventeen or Bust -projektin avulla 31. lokakuuta 2016.

Avoimia kysymyksiä 

Matematiikassa on monia alkulukuja koskevia avoimia kysymyksiä, joista varmastikin tunnetuin on Riemannin hypoteesi. Alla on lueteltu muita tunnettuja avoimia kysymyksiä.
Voidaanko jokainen lukua 2 suurempi parillinen luku esittää kahden alkuluvun summana? (Goldbachin konjektuuri)
Onko Fibonaccin lukujonossa ääretön määrä alkulukuja (Fibonaccin alkuluvut)?
Onko olemassa äärettömän monta sellaista alkulukua, joiden etäisyys lähimmästä alkuluvusta on 2, toisin sanoen, onko alkulukupareja äärettömän monta?

Katso myös 
Jaksollinen funktio, Esimerkki 3.
Yhdistetty luku

Lähteet

Kirjallisuutta

Aiheesta muualla 

 Seventeen or Bust -projekti, jonka tarkoituksena on löytää suuria alkulukuja ja määrittää pienin Sierpinskin luku.
 GIMPS-projekti, jonka tarkoituksena on etsiä suuria Mersennen alkulukuja
 Topics in Multiplicative Number Theory (väitös).

Lukujonot
Seulonnan keskeiset artikkelit
Alkuluvut