12 esinettä voidaan asettaa kolmeen yhtä suureen pinoon, joten luku 12 ei ole alkuluku. 11 esineellä tämä ei ole mahdollista millään pinojen määrällä, joten luku 11 on alkuluku.
Alkuluku on lukua 1 suurempiluonnollinen luku, joka ei olejaollinen muilla positiivisillakokonaisluvuilla kuin yhdellä ja itsellään.[1] Alkulukujen joukkoa merkitään kirjaimellaP. Pienimmät kymmenen alkulukua ovat 2, 3, 5, 7, 11, 13, 17, 19, 23 ja 29.[2] Alkulukuja onnumeroituvasti ääretön määrä. Lukua 1 suurempaa kokonaislukua, joka ei ole alkuluku, sanotaanyhdistetyksi luvuksi. Lukua 1 ei lueta alkuluvuksi, vaikka se onkin jaoton luku, jotta alkulukuja koskevien matemaattisten lauseiden muotoilu olisi yksinkertaisempaa.
Alkulukujen laskemiseksi on olemassa useitaalgoritmeja. Yksi yksinkertaisimmista algoritmeista onEratostheneen seula, joskin se on työläs ja hidas suurten alkulukujen etsimiseen.
Kaksi lukua ovatalkulukuja toistensa suhteen eli keskenään jaottomia, jos niillä ei ole ykköstä suurempia yhteisiä tekijöitä.
1600-luvulla elänyt ranskalainen matemaatikkoPierre de Fermat tarkasteli ensimmäisiä lukuja epänegatiivisten kokonaislukujenn(0, 1, 2, 3, …) funktiossa
ja päätteli virheellisesti, että kaikki näin saadut luvut eliFermat’n luvut (3, 5, 17, 257, 65537, …) olisivat alkulukuja.[3]
Jokainen luonnollinen luku paitsi voidaan jakaaalkulukutekijö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.
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.
Tehdään vastaoletus: alkulukujen joukko on äärellinen.
Olkoon kaikki alkuluvut sisältävä joukko siten, että, missä ja. Tällöin alkulukuja on kappaletta. Olkoon
Ilmiselvästi. Nyt kaikilla, joten kaikilla. Täten on alkuluku tai on olemassa alkuluku siten, että ja, joten. Joka tapauksessa on löydetty alkulukua suurempi alkuluku. Tällöin alkulukuja onkin vähintään kappaletta. Ollaan päädytty ristiritaan. Täten alkuperäinen väite on tosi.
Itsestään selvästi alkulukujen joukko on luonnollisten lukujen joukon osajoukko, joten alkulukujen joukon on oltava myös numeroituva.
Alkuluvuille on olemassa laskufunktio. Merkintä tarkoittaa lukuan pienempien alkulukujen määrää. Alkulukujen tiheys on laskeva.Ohessa laskettuna joillekinn:n arvoille kasvavan suuruusluokan mukaan.[4]
n
4
25
168
1 229
9 592
78 498
664 579
5 761 455
50 847 534
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, kunx lähestyy ääretöntä, vaan sitä, että niiden arvojen osamäärä lähestyy yhtä, kunx lähestyy ääretöntä. Arvion antama virhe voi siis olla suurikin, mutta suhteutettunax:ään se on tarpeeksi pieni, jotta arvio on hyödyllinen.
Alkulukuteoreeman esitti ensimmäisen kerranGauss konjektuurina 1800-luvulla. Sen todistivat toisistaan riippumattaHadamard jade la Vallée Poussin vuonna 1896.
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, koskakertoman laskeminen on erittäin työlästä tietokoneillekin.Esimerkiksi alkulukua varten täytyy laskea luvun kertoma, joka on.
49. tunnettu Mersennen alkuluku.[8] Alkuluvun löysiGIMPS-projektissa mukana ollut tietokone.
5.
17 425 170
25. tammikuuta 2013
48. tunnettu Mersennen alkuluku. Alkuluvun löysi Central Missourin yliopiston professori Curtis Cooperin tietokone, joka osallistui GIMPS-projektiin.[9]
47. tunnettu Mersennen alkuluku. Alkuluvun löysi Odd Magnar Strindmo, joka osallistui GIMPS-projektiin.
8.
11 185 272
6. syyskuuta 2008
46. tunnettu Mersennen alkuluku. Alkuluvun löysi 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, jokaei ole Mersennen alkuluku, on. Tässä luvussa on9 383 761 numeroa. Se löydettiinSeventeen or Bust -projektin avulla 31. lokakuuta 2016.
Matematiikassa on monia alkulukuja koskevia avoimia kysymyksiä, joista varmastikin tunnetuin onRiemannin hypoteesi. Alla on lueteltu muita tunnettuja avoimia kysymyksiä.
Voidaanko jokainen lukua 2 suurempi parillinen luku esittää kahden alkuluvun summana? (Goldbachin konjektuuri)
↑Gleick, James: Kiire. Miksi aika tahtoo loppua? ((Alkuteos: Faster. The Acceleration of Just About Everything, 1999.) Suomentanut Arto Schroderus) Helsinki: Tammi, 2001. ISBN 951-31-1993-9
↑Xavier Gourdon and Pascal Sebah: A table of values of pi(x)numbers.computation.free.fr. Viitattu 11.8.2023.