# Asal sayı
Bir asal sayı, yalnızca 1'den büyük olup kendisinden küçük iki doğal sayının çarpımı olarak ifade edilemeyen bir doğal sayıdır. 1'den büyük ve asal olmayan doğal sayılara bileşik sayı adı verilir. Örneğin, 5 bir asal sayıdır çünkü onu bir çarpım olarak ifade etmenin mümkün olan yolları, 1 × 5 veya 5 × 1, yalnızca 5 sayısını içermektedir. Ancak, 4 bir bileşik sayıdır çünkü bu, her iki sayının da 4'ten küçük olduğu bir çarpım (2 × 2) şeklindedir. Asal sayılar, aritmetiğin temel teoreminden ötürü sayı teorisi alanında merkezi öneme sahiptir: 1'den büyük her doğal sayı, ya bir asal sayıdır ya da asal sayıların çarpımı olarak, sıralamalarından bağımsız bir şekilde, benzersiz olarak çarpanlarına ayrılabilir.
Bir sayının asal oluş özelliği, asallık olarak tanımlanır. Verilen bir n sayısının asal olup olmadığını denetlemek için kullanılan basit fakat zaman alıcı bir yöntem olan asallık testi, n sayısının 2 ile √(n) arasındaki herhangi bir tam sayıya katı olup olmadığını sınar. Daha hızlı algoritmalar arasında, hızlı olmasına karşın küçük bir hata payı barındıran Miller–Rabin asallık testi ve her zaman polinom zamanında doğru sonucu veren fakat pratikte uygulanabilirliği sınırlı olan AKS asallık testi yer alır. Mersenne sayıları gibi özel biçimlere sahip sayılar için özellikle hızlı yöntemler mevcuttur. #YÖNLENDİRME , bilinen en büyük asal sayı, 41.024.320 ondalık basamağa sahip bir Mersenne asalıdır. Bu asal sayı 2136,279,841-1'tur.
Asal sayılar ile bileşik sayıları birbirinden ayıran kesin ve basit bir formül bulunmamaktadır. Bununla birlikte, doğal sayılar arasındaki asal sayıların dağılımı, genel olarak istatistiksel yöntemlerle modellenebilir. Bu bağlamda elde edilen ilk önemli sonuç, 19. yüzyılın sonlarında ispatlanan asal sayı teoremidir; bu teori, büyük bir sayının rastgele seçilmesi durumunda asal olma olasılığının, sayının basamak sayısına, yani logaritmasına ters oranlı olduğunu ifade eder.
Bir asal sayı 1 veya kendisi dışında hiçbir sayıya bölünmeyen bir doğal sayıdır. M.Ö. 300 civarında Öklid tarafından ispatlandığı gibi, asal sayılar sonsuz bir kümedir bu nedenle en büyük asal sayı diye bir şey bulunmamaktadır.
Asal sayılara ilişkin tarihsel bazı sorular henüz çözüme kavuşturulmamıştır. Bu sorular içerisinde her 2'den (En küçük asal sayı 2'dir.) büyük çift tam sayının iki asal sayının toplamı olarak yazılabileceğini ileri süren Goldbach'ın hipotezi ve ikişer rakam aralıkla sınırsız sayıda ikiz asal sayı çiftinin var olduğunu iddia eden ikiz asal hipotezi yer almaktadır. Bu tür sorular, sayıların analitik ve cebirsel boyutları üzerine yoğunlaşan sayı teorisi alanlarının gelişimini hızlandırmıştır. Asal sayılar, bilgi teknolojisi alanında, özellikle de büyük sayıların asal çarpanlara ayrılmasının güçlüğüne dayanan açık anahtarlı kriptografi gibi çeşitli işlemlerde kullanılmaktadır. Soyut cebirde, asal sayılara genelleştirilmiş bir biçimde benzeyen yapılar arasında asal elemanlar ve asal idealler sayılabilir.


## Tanım ve örnekler.
Bir doğal sayı (1, 2, 3, 4, 5, 6, vb.), 1'den büyük olması ve kendisinden küçük iki doğal sayının çarpımı olarak ifade edilememesi durumunda "asal sayı" olarak nitelendirilir. 1'den büyük olup asal olmayan sayılara bileşik sayılar adı verilir. Diğer bir ifadeyle, eğer n sayısı, kendinden küçük birden fazla eşit parçaya bölünemez ise, ya da n kadar nokta tam bir dikdörtgen olarak şekillendirilemez ise, n bir asal sayıdır.
Örneğin, 1 ile 6 arasındaki sayılar içinde, 2, 3 ve 5 sayıları asal sayılardır, zira bu sayıları kendinden başka tam bölebilen (kalan bırakmaksızın) başka bir sayı yoktur. 1 sayısı, tanım gereği asal olarak kabul edilmez. 4 = 2 × 2 ve 6 = 2 × 3 her ikisi de bileşik sayı kategorisindedir.
Bir doğal sayı n'in bölenleri, n sayısını eşit olarak bölebilen doğal sayılardır. Her doğal sayı, kendisi ve 1 olmak üzere iki temel bölene sahiptir. Eğer bir sayının bu ikisinden başka bir böleni varsa, asal sayı olamaz. Bu durum, asal sayıların alternatif bir tanımını sunar: Yalnızca iki pozitif bölene sahip olan sayılar asal sayılardır. Bu iki bölen, 1 ve sayının kendisidir. Tek bir bölene sahip olan 1 sayısı, bu tanım çerçevesinde asal kabul edilmez. Aynı kavramı başka bir şekilde ifade etmek gerekirse, bir sayı n, 1'den büyükse ve 2, 3, …, n-1 sayılarından hiçbiri n sayısını eşit bölmezse, o sayı asaldır.
İlk 25 asal sayı (100'den küçük tüm asal sayılar) şunlardır:
 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 (OEIS'de dizisi).
2'den büyük hiçbir çift sayı n asal olamaz çünkü herhangi bir böyle sayı 2×n/2 olarak ifade edilebilir. Bu nedenle, 2 dışındaki her asal sayı bir tek sayıdır ve "tek asal" olarak adlandırılır. Benzer şekilde, alışılagelmiş ondalık sistemde yazıldığında, 5'ten büyük tüm asal sayılar 1, 3, 7 veya 9 ile biter. Diğer rakamlarla biten sayılar hep bileşiktir: 0, 2, 4, 6 veya 8 ile biten ondalık sayılar çifttir ve 0 veya 5 ile biten ondalık sayılar 5'e bölünebilir.
Tüm asalların kümesi bazen 𝐏 (kalın harflerle büyük bir "P") veya ℙ (tahtaya yazı tipiyle büyük bir P) ile gösterilir.


## Tarihçe.
M.Ö. 1550 civarından kalan Rhind Papirüsü, asal ve bileşik sayılar için farklı formdaki Mısır kesri genişlemelerini içerir. Ancak, asal sayıların incelenmesine dair en eski kayıtlar antik Yunan matematikçilerinden gelmektedir, onlar bu sayılara #YÖNLENDİRME () demektedirler. Öklid'in "Elementleri" (M.Ö. 300 civarı) asal sayıların sonsuzluğunu ve aritmetiğin temel teoremini kanıtlar ve bir Mersenne sayısından nasıl bir mükemmel sayı oluşturulacağını gösterir. Başka bir Yunan icadı olan Eratosten kalburu, asal sayı listeleri oluşturmak için hala kullanılmaktadır.
Miladi 1000 yıllarında, İslam dönemi matematikçisi İbnü'l-Heysem, asal sayıları, (n-1)!+1 ifadesini tam bölünebilen n sayıları olarak tanımlayan Wilson teoremi'ni buldu. Ayrıca, tüm çift mükemmel sayıların Öklid'in Mersenne asallarını kullanarak yapılan inşasından geldiğini öne sürdü ancak bunu kanıtlayamadı. Bir diğer İslam dönemi matematikçisi, Ibn al-Banna' al-Marrakushi, Eratosten kalburunun, üst sınırın kareköküne kadar olan asal bölenleri dikkate alarak hızlandırılabileceğini gözlemledi. Fibonacci, İslami matematikten gelen yenilikleri Avrupa'ya taşıdı. Onun kitabı "Liber Abaci" (1202), asallığı test etmek için deneme bölmesini tanımlayan ilk eser oldu ve yine kareköküne kadar olan bölenleri kullanmayı önerdi.
1640 senesinde, Pierre de Fermat tarafından ispatı yapılmamış olmasına rağmen ortaya atılan Fermat'nın küçük teoremi, sonradan Leibniz ve Euler tarafından ispatlanmıştır. Fermat, 2^2^n+1 formülüyle ifade edilen Fermat sayılarının asallık özelliklerini araştırmış, Marin Mersenne ise p'nin asal olduğu durumlarda 2^p-1 formunda tanımlanan Mersenne asallarını incelemiştir. Goldbach, Euler'e yazdığı 1742 tarihli mektupta, her çift sayının iki asal sayının toplamı olarak ifade edilebileceğini öneren Goldbach hipotezini dile getirmiştir. Euler, tüm çift mükemmel sayıların Mersenne asalları kullanılarak oluşturulabileceğini gösteren Heysem varsayımını (günümüzde Öklid–Euler teoremi olarak adlandırılır) kanıtlamıştır. Euler ayrıca, asal sayıların sonsuz olduğunu ve asal sayıların terslerinin toplamının diverjansını, 12+13+15+17+111+⋯, matematiksel analiz metodolojilerini bu alana taşıyarak kanıtlamıştır. 
19. yüzyılın başlarında, Legendre ve Gauss, x sonsuza yaklaştıkça, x'e kadar olan asal sayıların sayısının, x/logx ile asimptotik olduğunu tahmin etmişlerdir, burada logx, x'in doğal logaritmasıdır. Asal sayıların bu yüksek yoğunluğunun bir zayıf sonucu Bertrand'ın postülatı idir; bu postülat her n gt; 1 için, n ile 2n arasında bir asal sayı olduğunu öne sürer ve 1852'de Pafnuty Chebyshev tarafından kanıtlanmıştır. Bernhard Riemann'ın 1859 tarihli zeta-fonksiyonu üzerine yazdığı makalesindeki fikirleri, Legendre ve Gauss'un tahminini kanıtlamak için bir çerçeve çizdi. Yakından ilgili olan Riemann hipotezi hala kanıtlanmamış olmasına rağmen, Riemann'ın çizdiği çerçeve 1896'da Hadamard ve de la Vallée Poussin tarafından tamamlandı ve sonuç şimdi asal sayılar teoremi olarak bilinmektedir. 19. yüzyılın başka bir önemli sonucu Dirichlet'in aritmetik diziler üzerine teoremi idi, belirli aritmetik dizilerin sonsuz çoklukta asal sayı içerdiğini belirtir.
Deneme bölmesinin pratikte uygulanabilir olduğu sayılardan daha büyük sayılar için birçok matematikçi asallık testi üzerinde çalışmıştır. Belirli sayı formlarına sınırlı yöntemler arasında Fermat sayıları için Pépin testi (1877), Proth teoremi (yaklaşık 1878), Lucas–Lehmer asallık testi (1856'da ortaya çıktı) ve genelleştirilmiş Lucas asallık testi bulunmaktadır.
1951 yılından itibaren, en büyük bilinen asal sayıların tümü, bilgisayarlarda gerçekleştirilen bu testlerle keşfedilmiştir.#YÖNLENDİRME Büyük asal sayıları arama çabası, Great Internet Mersenne Prime Search ve benzeri dağıtık hesaplama projeleri vasıtasıyla matematiksel olmayan topluluklarda da büyük bir ilgi uyandırmıştır. Asal sayıların soyut matematik#YÖNLENDİRME dışında önemli uygulamalara sahip olmadığına dair görüş, 1970'lerde, asal sayıları temel alan açık anahtarlı kriptografi ve RSA kriptosisteminin geliştirilmesi ile çürütülmüştür.
Bilgisayarla yapılan asallık testlerinin ve çarpanlara ayırma işleminin artan pratik önemi, kısıtlama olmaksızın büyük sayılarla başa çıkabilen gelişmiş yöntemlerin geliştirilmesine yol açtı. Asal sayılar teorisinin matematiksel gelişimi, asal sayıların keyfi olarak uzun aritmetik dizilerinin olduğunu belirten Green–Tao teoremi (2004) ve Yitang Zhang'ın 2013'te sınırlı büyüklükte sonsuz çoklukta asal boşluklarının olduğunun kanıtı ile de ileriye taşındı.


### 1 sayısının asallığı.
Antik Yunanların çoğu, başlangıçta 1'i bir sayı olarak bile kabul etmemiştir, dolayısıyla asallığını tartışmaları mümkün değildi. Nicomachus, Iamblichus, Boethius ve Cassiodorus gibi birkaç Yunan ve sonraki Roma geleneği alimi, asal sayıları tek sayıların bir alt bölümü olarak kabul ettiği için, 2'yi de asal olarak kabul etmemişlerdir. Ancak, Öklid ve diğer birçok Yunan matematikçisi 2'yi asal olarak kabul etmiştir. Orta Çağ İslam matematikçileri genellikle Yunanların görüşlerini takip ederek 1'i bir sayı olarak görmemişlerdir. Orta Çağ ve Rönesans boyunca matematikçiler 1'i bir sayı olarak kabul etmeye başlamış ve bazıları onu ilk asal sayı olarak dahil etmiştir. 18. yüzyılın ortalarında Christian Goldbach, Leonhard Euler ile olan yazışmalarında 1'i asal olarak listelemiştir; ancak, Euler kendisi 1'i asal olarak kabul etmemiştir. 19. yüzyılda birçok matematikçi hala 1'i asal olarak kabul etmiş, ve 1'i içeren asal sayı listeleri en son 1956 yılında yayımlanmıştır.
1 sayısı günümüzde ne asal ne de bileşik kabul edilir ve özel bir durumu vardır. Geçmişte pek çok matematikçi 1'i asal sayı olarak kabul ediyordu. 1'in asal olarak kabul edilmesine dayanarak yapılan birçok çalışma geçerliliğini hâlâ sürdürmektedir: Stern ve Zeisel'in çalışmaları gibi. Henri Lebesgue, çalışmalarında 1'i asal olarak ele alan son profesyonel matematikçi olarak bilinir. 1 asal olarak ele alındığında bazı teoremlerde değişikliğe gidilmesi gerekir. Örneğin tüm pozitif tam sayıların "yalnız bir şekilde" asal sayıların çarpımları şeklinde yazılabileceğini söyleyen aritmetiğin temel teoremi, geçmişteki asal sayı tanımına göre geçerli değildir.
Bir sayının asal olarak tanımlanması değiştirilip 1 asal olarak kabul edilseydi, asal sayılarla ilgili birçok ifade daha zor bir şekilde yeniden formüle edilmek zorunda kalırdı. Örneğin, aritmetiğin temel teoremi, her sayının 1'in istenilen sayıda kopyasıyla çeşitli faktörizasyonları olacağı için, 1'den büyük asallara göre faktörizasyonlar açısından yeniden ifade edilmek zorunda kalırdı. Benzer şekilde, Eratosthenes kalburu 1'i bir asal olarak ele alırsa doğru çalışmazdı çünkü 1'in tüm katlarını (yani, tüm diğer sayıları) elemek ve sadece 1 sayısını çıkarmak zorunda kalırdı. Asal sayıların bazı diğer daha teknik özellikleri de 1 numarası için geçerli değildir: örneğin, Euler'in totient fonksiyonu veya bölenler toplamı fonksiyonu için formüller asal sayılar için 1 ile farklıdır. 20. yüzyılın başlarında, matematikçiler 1'in asal olarak listelenmemesi, ancak daha çok "birim" olarak kendi özel kategorisinde yer alması gerektiği konusunda anlaşmaya başladılar.


## Temel özellikler.
### Çarpanlama.
Bir sayının asal sayıların çarpımı olarak yazılması, o sayının "asal çarpanlara ayrılması" olarak adlandırılır. Örneğin:
 34866 amp;= 2× 3× 3× 13 × 149
 amp;=2× 3^2× 13 × 149.
Bu çarpımdaki terimlere "asal çarpanlar" denir. Aynı asal çarpan birden fazla bulunabilir; bu örnekte asal çarpan 3 iki defa görülmektedir. Bir asal sayı birden fazla kez bulunduğunda, üssel sayılar kullanılarak aynı asal sayı gruplandırılabilir: örneğin, yukarıdaki sonucun ikinci yazım şeklinde, 3^2, 3 sayısının karesini veya ikinci kuvvetini gösterir.
Asal sayıların sayılar teorisi ve genel olarak matematiğe merkezi önemi, "aritmetiğin temel teoremi"nden kaynaklanmaktadır. Bu teorem, 1'den büyük her tam sayının bir veya daha fazla asal sayının çarpımı olarak yazılabileceğini belirtir. Daha da önemlisi, bu çarpım özeldir; yani, aynı sayının her iki asal çarpanlarının çarpımı, çarpanların sıralaması farklı olsa bile, aynı asal sayıların aynı sayıda kopyasını içerecektir. Dolayısıyla, bir asal çarpanlarına ayırma algoritması kullanılarak çarpanlara ayırma işlemi yapmanın birçok farklı yolu olmasına rağmen, hepsi aynı sonucu üretmek zorundadır. Bu nedenle, asal sayılar doğal sayıların "temel yapı taşları" olarak kabul edilebilir.
Asal çarpanlara ayrılmanın benzersizliğinin kanıtlarından bazıları, Öklid'in lemmasına dayanır: Eğer p bir asal sayıysa ve p, a ve b, tam sayılarının çarpımı olan ab'yi bölerse, o zaman p, ya a'yı ya da b'yi (veya her ikisini de) böler. Aksine, bir sayı p, bir çarpımı böldüğünde daima çarpımın en az bir faktörünü bölerse, o zaman p asal olmalıdır.


### Sonsuzluk.
Asal sayıların sayısı sonsuzdur. Diğer bir deyişle, asal sayı dizisi:
 2, 3, 5, 7, 11, 13, ...
asla son bulmaz. Bu tez, antik Yunan matematikçisi Öklid onuruna, "Öklid Teoremi" olarak isimlendirilmiştir çünkü bu tezin bilinen ilk ispatı onun adıyla ilişkilendirilir. Asal sayıların sonsuzluğunu kanıtlayan birçok metod mevcuttur; bunlar arasında, Euler tarafından gerçekleştirilen analitik ispat, Goldbach'ın Fermat sayıları üzerine kurulu ispatı, Furstenberg'in genel topoloji kullanarak sunduğu kanıtı, ve Kummer'in ispatı sayılabilir.
Öklid'in ispatı, herhangi bir sonlu asal sayı listesinin eksik olduğunu gösterir. Ana fikir, verilen listedeki asal sayıların hepsini çarparak 1 eklemektir. Eğer liste p_1, p_2, …, p_n, asal sayılarından oluşuyorsa, bu
 N = 1 + p_1·p_2⋯p_n. sayısını verir.
Temel teorem gereğince, N sayısı,
 N = p'_1·p'_2⋯p'_m 
şeklinde bir veya daha fazla asal çarpan içeren bir asal çarpanlara ayırımına sahiptir. N sayısı, bu çarpanlarca tam bölünebilirken, verilen asal sayı listesindeki herhangi bir sayı ile bölündüğünde 1 kalanını verir; bu durum, N sayısının asal çarpanlarının verilen liste içinde yer alamayacağını gösterir. Asal sayıların sonlu bir listesinin olmaması gerçeği, asal sayıların sonsuz olduğunu zorunlu kılar.
En küçük asal sayıların çarpımlarına bir eklenerek oluşturulan sayılara Öklid sayısı adı verilir. Bunlardan ilk beşi asal olmakla birlikte, altıncısı,
1 + (2·3·5·7·11·13) = 30031 = 59·509, şeklindedir.


### Asal sayı denklemleri.
Asal sayıları tespit etmek için bilinen etkin bir yöntem mevcut değildir. Öyle ki, yalnızca asal sayı değerleri üreten, sabit olmayan çok değişkenli bir polinom dahi bulunamamıştır. Bununla birlikte, yalnızca asal sayıları veya tüm asal sayıları temsil edebilen çeşitli ifadeler mevcuttur. Bu ifadelerden biri, Wilson teoremi'ne dayalı olup, 2 sayısının defalarca ve diğer tüm asal sayıların ise sadece bir kez elde edilmesini sağlayan bir formüldür. Dokuz değişken ve bir parametreye sahip Diyofantus denklemlerinden oluşan bir küme de mevcuttur; bu kümenin belirgin bir özelliği şöyledir: Eğer ve ancak eğer bu denklem sistemi doğal sayılar kümesi üzerinde bir çözüme sahipse, ilgili parametre bir asal sayıdır. Bu özellik, tüm "pozitif" değerleri asal sayı olan bir formülün elde edilmesi amacıyla kullanılabilir.
Mills teoremi ve Wright tarafından öne sürülen bir teoremle ilgili olarak, asal sayılar üreten diğer formüller de mevcuttur. Bu teoremler, A gt;1 ve μ şeklinde ifade edilen gerçek sabitlerin varlığını öne sürer.
⌊A^3^n⌋ ve ⌊2^⋯^2^2^μ ⌋
İlk formülde, herhangi bir doğal n sayısı için belirtilen sayılar asal niteliktedir; ikinci formülde ise, üslerin herhangi bir sayıda oluşu durumunda da sayılar asal özellik gösterirler. Bu bağlamda, ⌊· ⌋ sembolü, incelenen sayıya eşit veya bu sayıdan daha az olan en yüksek tam sayıyı ifade eden taban fonksiyonunu belirtmektedir. Fakat, A veya μ. değerlerinin hesaplanabilmesi için asal sayıların ilk etapta elde edilmiş olması gerekliliği göz önünde bulundurulduğunda, bu formüllerin asal sayı üretimi açısından pratikte bir yararı bulunmamaktadır.


### Çözüm bekleyen sorular.
Matematik alanında, asal sayılarla ilgili bir dizi varsayım ileri sürülmüştür. Çoğunlukla temel bir ifade şekliyle ortaya konan bu varsayımlar, onlarca yıl süresince ispatlanamamıştır: 1912 yılında ortaya atılan Landau problemleri başlığı altındaki dört soru günümüze dek çözülememiştir. Bu varsayımlardan bir tanesi, 2'den büyük olan her çift tam sayı n'nin, iki asal sayının toplamı şeklinde ifade edilebileceğini öne süren Goldbach hipotezi ile ilişkilendirilmiştir. 2014 itibarıyla, söz konusu varsayım, n=4·10^18 değerine ulaşan tüm sayılar için teyit edilmiştir. Bu iddiadan daha zayıf önermeler ispatlanmıştır; mesela, Vinogradov teoremi, yeterli büyüklükteki her tek tam sayının, üç asal sayının toplamı şeklinde ifade edilebileceğini belirtmektedir. Chen teoremi, yeterli büyüklükteki herhangi bir çift sayının, bir asal sayı ile bir yarı asal (iki asal sayının çarpımı) toplamı şeklinde gösterilebileceğini öne sürmektedir. Bunun yanı sıra, 10 değerinden büyük olan her çift tam sayı, altı asal sayının toplamı şeklinde ifade edilebilir. Bu tür soruların incelendiği sayı teorisi dalı, toplamsal sayı teorisi olarak adlandırılmaktadır.
Ardışık asal sayılar arasındaki farkları ifade eden asal boşlukları ile ilgili bir başka problem türü bulunmaktadır. Herhangi bir doğal n sayısı için, n!+2, n!+3,…, n!+n dizisinin n-1 adet bileşik sayı içerdiği göz önüne alındığında, istenilen büyüklükte asal boşlukların mevcudiyeti tespit edilebilir. Bununla birlikte, büyük asal aralıkların oluşumu, bu argümanın işaret ettiğinden çok daha önce gerçekleşmektedir. Mesela, 8 birimlik ilk asal sayı farkı, 89 ile 97 arasındaki asal sayılar arasında gözlemlenir, bu, 8!=40320 değerinden önemli ölçüde daha düşüktür.
İki asal sayı arasındaki farkın 2 olması durumunda, ikiz asal çiftlerinin sonsuz sayıda var olduğu öne sürülmektedir; bu önerme, 'ikiz asal hipotezi' olarak bilinir. Polignac hipotezi ise daha geniş bir perspektiften, her pozitif k tam sayı değeri için, ardışık asal sayı çiftlerinin 2k farkla ayrıldığı durumların sonsuz sayıda olduğunu ifade etmektedir.
Andrica hipotezi, Brocard hipotezi, Legendre hipotezi ve Oppermann hipotezi, 1 ile n arasındaki asal sayılar arasındaki maksimum boşlukların yaklaşık olarak en fazla √(n) olması gerektiğini ileri sürmektedir; bu çıkarım, Riemann hipotezi çerçevesinde elde edilen bilinen bir sonuçtur. Ancak, daha iddialı olan Cramér hipotezi, en büyük boşluk boyutunu O((logn)^2) olarak tahmin etmektedir. İki asal sayı arasındaki boşluklar, asal sayıların arasındaki farkların desenlerini ifade eden asal k-ikililer şeklinde genelleştirilebilir. Bu desenlerin sonsuz sayıda varlığı ve yoğunluğu, asal sayıların, asal sayı teoremi ile belirlenen yoğunluğa sahip rastgele bir sayı dizisi gibi davrandığını öneren sezgisel temellere dayanan ilk Hardy–Littlewood hipotezinin inceleme konusudur.


## Analitik özellikler.
Analitik sayı teorisi, sayı teorisini, sürekli fonksiyonlar, limitler, sonsuz seriler ve bunların yanı sıra sonsuzluk ve sonsuz küçük kavramlarıyla ilişkili matematiksel yapılar üzerinden detaylı bir şekilde araştırır.
Bu araştırma alanının kökenleri, Leonhard Euler'in Basel problemini çözümüyle ilişkilendirilen ilk önemli çalışmasına dayanır. İlgili sorun, 1+14+19+116+…, şeklinde ifade edilen sonsuz serinin değerinin ne olduğunu sorgulamaktadır; bu değer günümüzde Riemann zeta fonksiyonu'nun ζ(2) değeri olarak kabul edilmektedir. Söz konusu fonksiyon, asal sayılarla ve matematiğin en önemli çözülememiş problemlerinden biri olan Riemann hipotezi ile sıkı bir şekilde ilişkilidir. Euler'in bu konudaki katkısı, ζ(2)=π^2/6 eşitliğini ispatlamasıyla öne çıkmaktadır. Bu sayının ters değeri olan 6/π^2, geniş bir değer aralığından uniform dağılımla seçilen iki rastgele sayının birbirleriyle aralarında asal (yani ortak hiçbir çarpana sahip olmayan) olma ihtimalinin sınır değerini temsil etmektedir.
Büyük ölçekte asal sayıların dağılımı, örneğin belirli bir büyük eşik değerinden daha küçük olan asal sayıların sayısı gibi sorular, asal sayı teoremi tarafından açıklanmaktadır; fakat n-inci asal sayıyı belirleyen etkin bir formül mevcut değildir. Dirichlet'in aritmetik diziler üzerine teoreminin temel versiyonu, aralarında asal olan a ve b tam sayıları için
p(n) = a + bn
biçimindeki doğrusal polinomların sonsuz sayıda asal değere ulaştığını öne sürer. Teoremin ileri versiyonları, bu asal değerlerin terslerinin toplamının ıraksadığını ve aynı b değerine sahip farklı doğrusal polinomların asal sayılar bakımından yaklaşık olarak aynı oranlara sahip olduğunu ifade eder.
Daha yüksek dereceli polinomlarda asal sayı oranlarına ilişkin varsayımlar ortaya konmuş olmakla birlikte, bu varsayımlar henüz kanıtlanmamıştır ve tam sayı girdileri için sonsuz kez asal olan bir kuadratik polinomun varlığı bilinmemektedir.


### Öklid teoreminin analitik ispatı.
Euler'ın asal sayıların sonsuzluğunu kanıtlama yöntemi, asal sayıların terslerinin toplamlarını incelemektedir,
1/2 + 1/3 + 1/5 + 1/7 + ⋯+ 1/p.
Euler, herhangi bir reel sayı x için, bu toplamın x değerinden daha büyük olacağı bir asal p sayısının mevcut olduğunu kanıtlamıştır.
Bu durum, asal sayıların sonsuz sayıda olduğunun bir göstergesidir; zira sonlu sayıda asal sayı var olsaydı, bu toplam, her bir x değerini aşmak yerine, en büyük asal sayıda en yüksek değerine erişirdi.
Bu serinin büyüme oranı, Mertens' ikinci teoremi ile daha detaylı bir biçimde tanımlanmıştır. Karşılaştırma amacıyla,
1/1^2 + 1/2^2 + 1/3^2 + ⋯+ 1/n^2
toplamı, n sonsuza yaklaştıkça sonsuzluğa yönelmez (bkz. Basel problemi). Bu çerçevede, her iki küme de sonsuz sayıda olmasına rağmen, asal sayıların doğal sayı karelerine göre daha sıklıkla ortaya çıktığı görülmektedir.
Brun teoremi, ikiz asalların terslerinin toplamının,
 ( 1/3 + 1/5 ) + ( 1/5 + 1/7 ) + ( 1/+ 1/ ) + ⋯, 
sonlu bir değere sahip olduğunu ifade etmektedir. Brun teoremi nedeniyle, Euler metodunun, sonsuz sayıda ikiz asalın var olduğu iddiasını ele alan ikiz asal hipotezini çözümlemek amacıyla kullanılabilmesi mümkün değildir.


### Belirli bir üst sınıra kadar olan asal sayıların miktarı.
Asal sayıları sayma fonksiyonu olarak adlandırılan π(n), n değerine eşit veya ondan küçük olan asal sayıların toplam sayısını ifade etmek için kullanılan bir fonksiyondur. Örnek olarak, π(11)=5 olarak ifade edilir; zira 11 sayısına eşit veya bu sayıdan daha küçük olan beş adet asal sayı mevcuttur. Meissel–Lehmer algoritması gibi metodlar, n'ye kadar olan asal sayıların her birini tek tek sıralamaktan çok daha hızlı bir şekilde π(n) değerinin doğru hesaplamasını gerçekleştirebilir.
Asal sayı teoremine göre, π(n) değeri, n/logn ifadesine asimptotiktir, yani
 π(n) ∼n/logn, şeklinde gösterilir.
Bu durum, π(n) ile sağ taraftaki ifadenin oranının, n değeri sonsuzluğa ulaştıkça 1 değerine yakınsadığını ifade eder. Bu durum, n değerinden daha küçük rastgele bir sayının asal sayı olma ihtimalinin, (yaklaşık olarak) n sayısının basamak sayısına ters orantılı olduğunu göstermektedir.
Bu durum, aynı zamanda, n sıradaki asal sayının büyüklüğünün nlogn ile orantılı olduğunu ve bunun sonucu olarak, asal sayılar arasındaki ortalama boşluk büyüklüğünün logn ile orantılı olduğunu göstermektedir. π(n) değerinin daha doğru bir tahmini, logaritmik integral kullanılarak sağlanmaktadır.
π(n)∼Li(n) = ∫_2^n dt/logt.


### Aritmetik diziler.
Aritmetik dizi, dizide yer alan ardışık sayıların her biri arasında sabit bir fark bulunan, sonlu veya sonsuz bir sayılar dizisini ifade eder. Bu farka, dizinin modülü denir.
Örneğin,
3, 12, 21, 30, 39, ...,
9 modül değerine sahip bir sonsuz aritmetik diziyi temsil eder. Aritmetik bir dizideki sayılar, modül değerine bölündüklerinde aynı kalanı alır; bu durumun bir örneği olarak, kalanın 3 olduğu görülür. Modülün 9 ve kalanın 3 olması, her iki değerin de 3'ün katları olması anlamına gelir, bu yüzden dizideki her bir eleman da 3'ün katıdır. Bu sebeple, bu dizi sadece bir tek asal sayı içermektedir ki o da 3'tür. Genel anlamda, sonsuz dizi
a, a+q, a+2q, a+3q, …
ancak kalan a ve modül q birbirine göre asal olduğunda birden fazla asal sayı içerebilir. Eğer bu iki değer birbirine göre asal ise, Dirichlet'in aritmetik diziler üzerine teoremi, ilerlemenin sonsuz sayıda asal sayı içerdiğini öne sürer.
Green–Tao teoremi, yalnızca asal sayılardan müteşekkil ve herhangi bir uzunlukta olabilen sonlu aritmetik dizilerin mevcudiyetini ispatlamaktadır.


### Kuadratik polinomlar tarafından üretilen asal sayı değerleri.
Euler, n^2 - n + 41 biçiminde ifade edilen fonksiyonun 1≤n≤40 aralığındaki n değerleri için asal sayı değerleri ürettiğine dikkat çekmiştir; bununla birlikte, bu fonksiyonun ileri değerleri arasında bileşik sayıların da yer aldığı gözlemlenmiştir. Bu fenomen için bir açıklama arayışı, Heegner sayıları ve sınıf sayısı problemi ile ilgili olarak, cebirsel sayı teorisinin derinliklerine dalmayı gerektirmiştir. Hardy–Littlewood F hipotezi, tam sayılı katsayılara sahip ikinci dereceden polinomların değerleri içerisindeki asal sayıların yoğunluğunun, logaritmik integral ve polinom katsayılarının fonksiyonu olarak öngörülmesine yöneliktir. Şu ana kadar, herhangi bir ikinci dereceden polinomun sonsuz sayıda asal sayı değeri ürettiği ispatlanamamıştır.
Ulam spirali, doğal sayıları, orijini çevreleyen konsantrik kareler halinde spiral bir düzende iki boyutlu bir ızgara üzerine yerleştirir ve asal sayıları belirginleştirir. Görsel bir inceleme sonucunda, asal sayıların belirli diyagonaller üzerinde, diğerlerine kıyasla daha yoğun bir şekilde gruplandığı görülmekte, bu durum bazı ikinci dereceden polinomların, diğerlerine nazaran daha sıklıkla asal değerler ürettiği yönünde bir izlenim uyandırmaktadır.


### Zeta fonksiyonu ve Riemann hipotezi.
1859 yılından itibaren matematik alanında aydınlatılamamış en meşhur meselelerden biri, aynı zamanda Milenyum Problemleri arasında yer alan Riemann hipotezi, Riemann zeta fonksiyonu ζ(s)'nun sıfır noktalarının konumlarını sorgular.
Bu fonksiyon, karmaşık sayılar üzerinde tanımlı bir analitik fonksiyon niteliğindedir. Reel kısmı bir değerinden büyük s karmaşık sayıları için, fonksiyon hem tüm tam sayılar üzerinden hesaplanan bir sonsuz seri, hem de asal sayılar üzerinden tanımlanan bir sonsuz çarpım ile ifade edilir,
ζ(s)=∑_n=1^∞1/n^s=∏_p asal 1/1-p^-s.
Euler tarafından ortaya konulan bu toplam ile çarpım arasındaki denklik, Euler çarpımı olarak isimlendirilmiştir. Euler çarpımı, aritmetiğin temel teoremi sayesinde elde edilmiş olup, zeta fonksiyonunun asal sayılarla derinlemesine ilişkisini açığa çıkarır. Sonsuz sayıda asal sayı bulunması gerektiğini kanıtlama yolunda bu durum, eğer sadece sınırlı sayıda asal sayı varsa,
toplam-çarpım eşitliğinin s=1 noktasında da geçerli olması gerekirken, toplamın diverjans gösterdiği (harmonik seri 1+12+13+… gibi), çarpımın ise sonlu bir değer alması gerektiğiyle sonuçlanan bir çelişki ile karşı karşıya kalınır.
Riemann hipotezi, zeta fonksiyonunun sıfırlarının tamamının ya negatif çift sayılardan ya da reel kısımları 1/2'ye eşit olan karmaşık sayılardan oluştuğunu öne sürer. Asal sayı teoreminin ilk kanıtı, bu hipotezin bir versiyonuna, yani reel kısmı 1 olan sıfırların var olmadığı varsayımına dayanmaktaydı, fakat daha basit kanıtlar da ortaya konmuştur.
Asal sayı sayım fonksiyonu, Riemann'ın açık formülü aracılığıyla, zeta fonksiyonunun sıfırlarının her birinden bir terimin katkısıyla oluşan bir toplam şeklinde ifade edilebilir; bu toplamın temel bileşeni logaritmik integral olup, geri kalan terimler ana terimin üzerinde ve altında dalgalanmalara yol açar.
Bu bağlamda, sıfırların, asal sayıların dağılım düzenini belirlediği söylenebilir. Riemann hipotezi eğer doğruysa, bu dalgalanmalar minimale indirgenecek ve
asal sayıların asimptotik dağılımı, asal sayı teoreminin öngördüğü gibi, x sayısına yakın aralıklarda (yaklaşık olarak x sayısının karekökü büyüklüğündeki aralıklar için) da geçerli olacaktır.


## Soyut cebir.
### Modüler aritmetik ve sonlu alanlar.
Modüler aritmetik, modül olarak isimlendirilen bir doğal sayı n için, yalnızca 0,1,2,…,n-1 sayılarının kullanıldığı, geleneksel aritmetik işlemlerin modifiye edilmiş bir şeklidir.
Diğer tüm doğal sayılar, n ile bölme işlemi sonrasında elde edilen kalan değer ile bu sisteme dahil edilerek karşılıkları bulunur.
Modüler toplama, çıkarma ve çarpma işlemleri, tam sayıların geleneksel toplama, çıkarma veya çarpma işlemlerinin sonucuna, bu sonucun modülünün alınarak yerine konulması yöntemiyle gerçekleştirilir.
Tam sayılar arasındaki eşitlik kavramı, modüler aritmetikte "denklik" olarak ifade edilir:
x ile y, n ile bölündüklerinde aynı kalan değerine sahip olduklarında denk olmaları durumu (x≡y mod n şeklinde belirtilir).
Bu numaralandırma sisteminde, modül bir asal sayı olduğunda ve yalnızca o zaman, sıfır olmayan tüm sayılara bölme işlemi gerçekleştirilebilir. Mesela, modül olarak 7 asal sayısının seçilmesi durumunda, 3 sayısı ile bölme işlemi gerçekleştirilebilir: 2/3≡37, zira her iki tarafın da 3 ile çarpılması, paydalardaki terimlerin sadeleştirilmesi sonucunda 2≡97 geçerli denklemini ortaya çıkarır. Ancak, bileşik bir modül olan 6 için, 3 ile bölme işlemi gerçekleştirilemez. 2/3≡x6 denkleminin geçerli bir çözümü bulunmamaktadır: payda terimlerinin 3 ile çarpılması, denklemin sol tarafını 2 yaparken sağ tarafını 0 ya da 3 olarak değiştirir.
Soyut cebir terminolojisinde, bölme işleminin yapılabilir olması, bir asal sayının modülü altında modüler aritmetiğin bir alan, daha özgül bir ifadeyle bir sonlu alan oluşturduğu; ancak diğer modüllerin yalnızca bir halka sağladığı, fakat bir alan oluşturmadığı anlamına gelir.
Asal sayılarla ilgili birçok teorem, modüler aritmetik kullanılarak ifade edilebilir. Mesela, Fermat'nın küçük teoremi, eğer bir
a≢0 (mod p) ise, o zaman a^p-1≡1 (mod p) olacağını öne sürer.
Tüm a değerleri için bu toplamın gerçekleştirilmesi, şu denklemi ortaya çıkarır:
∑_a=1^p-1 a^p-1 ≡(p-1) ·1 ≡-1 p,
bu denklem, p asal sayı olduğu durumlarda geçerlidir.
Giuga hipotezi, bu denklemin, p sayısının asal olması için yeterli bir koşul olduğunu ileri sürer. Wilson teoremine göre, p gt;1 olan bir tam sayının asal olduğu; yalnız ve yalnız (p-1)! faktöriyelinin, p modunda -1 ile denk olması durumunda geçerlidir. Bileşik bir için bu durum söz konusu olamaz, zira bu sayının çarpanlarından birisi, hem n hem de (n-1)!'i bölebilecek ve bu nedenle (n-1)!≡-1 n eşitliği mümkün olmayacaktır.


### "p"-sel sayılar.
Bir tam sayının p-sel düzeni ν_p(n), n sayısının asal çarpan ayrıştırmasında p asalının kaç defa yer aldığının göstergesidir. Bu kavram, tam sayılar için geçerli olduğu gibi, rasyonel sayılar için de, bir kesirin p-sel düzeninin ν_p(m)-ν_p(n) olarak tanımlanmasıyla genişletilebilir. Herhangi bir rasyonel sayı için p-sel mutlak değer |q|_p, |q|_p=p^-ν_p(q) şeklinde ifade edilir. Bir tam sayının p-sel mutlak değeri ile çarpılması, onun çarpan ayrıştırmasındaki p asal çarpanlarını ortadan kaldırır, sadece diğer asal sayıları bırakır. Tıpkı iki gerçek sayı arasındaki uzaklığın, onların farklarının mutlak değeri ile ölçülebilmesi gibi, iki rasyonel sayı arasındaki uzaklık da onların p-sel uzaklığı, yani farklarının p-sel mutlak değeri ile ölçülebilir. Bu uzaklık tanımına göre, iki sayı birbirine yakın kabul edilir (küçük bir uzaklığa sahiptirler) eğer farkları p'nin yüksek bir derecesi ile bölünebiliyorsa. Rasyonel sayıların ve onların uzaklıklarının ek sınırlayıcı değerler eklenerek gerçek sayılar gibi bir tam alan oluşturulduğu şekilde, p-sel uzaklık ile rasyonel sayılar, farklı bir tam alan olan p-sel sayılar olarak genişletilebilir.
Bu düzen, mutlak değer ve bu kavramlardan türetilmiş tam alan kavramı, cebirsel sayı alanları ve bu alanların değerlendirmeleri (alanın çarpımsal grupundan tamamen sıralı bir toplamsal gruba, düzen olarak da adlandırılan, özel eşlemeler), mutlak değerler (alanı gerçek sayılara çarpan olarak eşleyen, norm olarak da bilinen, özel çarpan eşlemeler) ve yerler (verilen alanın yoğun bir küme olarak yer aldığı, tamamlamalar olarak adlandırılan, tam alanlara yapılan genişletmeler) kavramlarına genelleştirilebilir.
Örneğin, rasyonel sayılardan reel sayılara yapılan genişleme, sayılar arasındaki uzaklığın, onların farklarının alışılagelen mutlak değerine dayandığı bir yer olarak tanımlanabilir. Bu bağlamda, bir toplamsal gruba yapılan karşılık gelen eşleme, mutlak değerin logaritması olurdu, fakat bu, bir değerlendirme için gerekli olan tüm özellikleri sağlamaz. Ostrowski teoremine göre, doğal bir denklik anlayışına kadar, gerçek sayılar ve p-sel sayılar, onların düzen ve mutlak değerleri ile, rasyonel sayılar üzerinde tanımlanmış tek değerlendirmeler, mutlak değerler ve yerlerdir. Yerel-küresel prensip, rasyonel sayılar üzerindeki belirli sorunların, onların her bir yerinden elde edilen çözümlerin birleştirilmesi yoluyla çözülebilmesini sağlar, bu durum asal sayıların sayı teorisindeki kritik önemini bir kez daha altını çizer.


### Halkalarda asal elemanlar.
Toplama, çıkarma ve çarpma işlemlerinin belirlendiği bir cebirsel yapı olan değişmeli halka, matematiksel yapıların bir çeşididir. Tam sayılar, bu yapıların bir örneği olup, tam sayılar içerisinde yer alan asal sayılar, "asal elemanlar" ve "indirgenemez elemanlar" şeklinde iki farklı yöntemle genellenmiştir. R halkasındaki sıfırdan farklı p elemanı, çarpmaya göre tersi olmadığında (yani bir birim olmadığında) ve p elemanı, R'nin iki elemanının çarpımı xy'i böldüğünde, x veya y elemanlarından en az birini bölebilme özelliğini gösterdiğinde asal olarak nitelendirilir. Bir elemanın ne bir birim ne de iki birim olmayan elemanların çarpımı olmaması durumunda ise indirgenemez olarak tanımlanır. Tam sayılar halkasında asal ve indirgenemez elemanlar aynı küme içinde bulunur,
 …, -11, -7, -5, -3, -2, 2, 3, 5, 7, 11, ….
Herhangi bir halkada, bütün asal elemanlar indirgenemez niteliktedir. Bu durumun tersi genellikle doğru olmamakla birlikte, benzersiz çarpanlara ayırma alanları için geçerlidir.
Aritmetiğin temel teoremi, tanımı gereği, benzersiz çarpanlara ayırma alanları çerçevesinde geçerliliğini korur. Bu tür alanların bir örneği olarak ℤ[i] üzerinden tanımlanan Gauss tam sayıları gösterilebilir. Bu alan, a ve b herhangi tam sayılar olmak üzere, a+bi formundaki karmaşık sayılardan oluşan bir halkayı ifade eder ve bu bağlamda i, hayali birimi temsil eder. Bu yapıdaki asal elemanlara Gauss asal sayıları adı verilir. Tam sayılar arasında asal kabul edilen her sayının, Gauss tam sayıları içinde asal olarak kabul edilmemesi mümkündür; mesela, 2 sayısı, 1+i ve 1-i olmak üzere iki Gauss asalının çarpımı olarak ifade edilebilir. 3 mod 4 ile kongruent olan rasyonel asallar, Gauss tam sayılarında asal olarak kabul edilirken, 1 mod 4 ile kongruent olan rasyonel asallar asal olarak kabul edilmez. Bu durum, Fermat'nın iki kare toplamı üzerine teoreminden kaynaklanır; bu teorem, tek bir asal sayı p'nin, p=x^2+y^2 formunda iki karenin toplamı olarak ifade edilebileceğini ve bu sayede p 1 mod 4 iken p=(x+iy)(x-iy) şeklinde çarpanlara ayrılabileceğini öngörür.


### Asal idealler.
Bütün halkaların benzersiz çarpanlara ayrılabilen bölgeler olduğu genellenemez. Örnek olarak, tam sayılar a ve b için tanımlanan a+b√(-5) sayılar halkasında, 21 sayısı 21=3·7=(1+2√(-5))(1-2√(-5)) şeklinde iki farklı çarpanlara ayrılabilir, ancak bu çarpanların hiçbiri daha ileri indirgenebilir durumda değildir; bu da benzersiz çarpanlara ayrım özelliğinin bulunmadığını gösterir. Benzersiz çarpanlara ayrım özelliğinin geniş bir halkalar sınıfına uygulanabilmesi için, sayı kavramı, bir halkanın öğeleri alt kümesi olan ve bu öğelerin çiftlerinin tüm toplamları ile halka öğeleri ile olan tüm çarpımlarını barındıran bir ideal ile yer değiştirebilir.
"Asal idealler", bir asal öğenin ürettiği başlangıç idealinin bir asal ideal olması anlamında asal öğeleri genelleştiren ve değişmeli cebir, cebirsel sayılar teorisi ile cebirsel geometri alanlarında önemli bir araç ve araştırma nesnesidir. Tam sayılar halkasının asal idealleri ise (0), (2), (3), (5), (7), (11), ... şeklinde sıralanabilir. Aritmetiğin temel teoremi, bir Noetherian değişmeli halka içerisindeki her idealin, birincil ideallerin bir kesişimi olarak tanımlanabileceğini belirten Lasker–Noether teoremi ile genelleştirilmiştir; bu ideal türleri, asal kuvvetlerin uygun bir şekilde genellenmiş halidir.
Bir halkanın spektrumu, söz konusu halkanın asal ideallerini içeren noktalarla tanımlanan bir geometrik alandır. Aritmetik geometri alanı, bu kavramdan önemli ölçüde yararlanmakta ve sayı teorisi ile geometri disiplinleri arasında çeşitli kavramsal paralellikler bulunmaktadır. Mesela, bir alana genişletme işlemi sonucu asal ideallerin faktörizasyonu veya dalgalanması gibi cebirsel sayı teorisinin temel problemleri, geometride dalgalanma fenomeni ile benzer özellikler gösterir. Tam sayılar üzerine kurulu sayı teorisi problemlerinin çözümünde bu kavramlar etkili olabilir. Kuadratik sayı alanlarının tam sayılar halkasındaki asal idealler, tam sayı asal sayıları üzerinde kare köklerin varlığını ifade eden kuadratik karşılıklılık teoreminin ispatlanmasında kullanılabilmektedir.
Fermat'nın Son Teoremi'ni ispatlama çabalarının ilk aşamaları, siklotomik tam sayılarda benzersiz çarpanlara ayrılmanın başarısız olması ile ilişkilendirilen tam sayı asal sayıları olan düzenli asalların, Kummer tarafından literatüre kazandırılmasına yol açmıştır.
Cebirsel bir sayı alanında, kaç adet tam sayı asal sayısının, birden fazla asal idealin ürünü şeklinde faktörize olduğu meselesi, Çebotarev yoğunluk teoremi ile çalışılmıştır. Bu teorem, siklotomik tam sayılar bağlamında uygulandığında, aritmetik ilerlemelerde yer alan asal sayılar hakkındaki Dirichlet teoremini özel bir örnek olarak içermektedir.


### Grup kuramı.
Sonlu gruplar kuramında, Sylow teoremleri bir asal sayının p^n kuvvetinin bir grubun mertebesine bölünebilmesi durumunda, ilgili grubun p^n mertebesinde en az bir altgruba sahip olduğunu belirtir. Lagrange teoremi uyarınca, asal sayıda bir mertebe ile tanımlanan her grup bir döngüsel grup niteliğindedir
ve Burnside teoremi tarafından, mertebesi yalnızca iki farklı asal sayı ile bölünebilen her grup, çözülebilir özellik gösterir.


## Hesaplamalı yöntemler.
Genel anlamda sayı teorisi ve özellikle asal sayılar üzerine yapılan çalışmalar, uzun bir süre boyunca, saf matematiğin matematik dışında herhangi bir uygulaması olmayan kanonik bir örneği olarak kabul edilmiştir.#YÖNLENDİRME Bunun istisnası, dişli çarkların aşınmasını eşit bir şekilde dağıtabilmek amacıyla dişli dişlerinin asal sayılarla belirlenmesi uygulamasıdır. Bu bağlamda, Britanya'dan matematikçi G. H. Hardy gibi sayı teorisyenleri, çalışmalarının açık bir şekilde herhangi bir askeri amaç taşımadığından dolayı övünç duymuştur.
1970'li yıllarda, asal sayıların açık anahtarlı şifreleme algoritmaları geliştirmek için bir temel olarak kullanılabileceğinin kamuoyuna duyurulmasıyla, sayı teorisinin saflık vizyonu ciddi bir şekilde sarsılmıştır.
Bu uygulamalar, asal sayılarla hesaplama yapabilen algoritmaların ve özellikle de bir sayının asal olup olmadığını belirlemeye yönelik yöntemlerin, yani asallık testlerinin, kapsamlı bir şekilde incelenmesini teşvik etmiştir.
Büyük sayılar için kullanışlı olmaktan uzak, en temel asallık testi yöntemi olan deneme bölme yöntemi, yavaşlığı sebebiyle eleştirilmiştir. Modern asallık testlerinin bir kısmı herhangi bir sayıya uygulanabilirken, özel türdeki sayılar için daha verimli testler geliştirilmiştir. Çoğunlukla, asallık testleri sadece argümanın asal olup olmadığını belirlemekle sınırlıdır. Bileşik argümanların bir asal çarpanını (veya tüm asal çarpanlarını) belirleyebilen rutinler, çarpanlara ayırma algoritmaları olarak tanımlanır.
Ayrıca, asal sayılar bilgisayar bilimlerinde denetim toplamlarında, anahtarlı tablolarda ve sanki rastgele sayı üreteçlerinde kullanım alanı bulmaktadır.


### Deneme bölme yöntemi.
Bir tam sayının asallık durumunun belirlenmesinde kullanılan en temel yöntem, "deneme bölme" olarak isimlendirilir. Bu metod, ilgili tam sayı n'i 2'den başlayarak n'in kareköküne kadar olan her tam sayıya bölme işlemi uygular. Bu sayılardan herhangi biri tarafından n düzgün bir şekilde bölünebilirse, n bileşik olarak tanımlanır; aksi halde asal olarak kabul edilir.
n'in karekökünden büyük tam sayıların kontrol edilmesine gerek yoktur çünkü, n = a·b olduğu durumda, a ve b çarpanlarından biri her zaman n'in kareköküne eşit veya ondan küçüktür. Bu yöntemin bir diğer iyileştirmesi, bu aralıkta yalnızca asal sayıların çarpan olarak kontrol edilmesidir.
Örnek olarak, 37 sayısının asal olup olmadığının belirlenmesi sürecinde, bu metod 2'den √(37) değerine kadar olan asal sayılar, yani 2, 3 ve 5 sayıları ile bölme işlemi gerçekleştirir. Yapılan her bölme işlemi sıfırdan farklı bir kalan ile sonuçlandığı için, 37 sayısı asal olarak tanımlanır.
Bu metodun tanımı basit olmakla birlikte, büyük tam sayıların asallık testi için uygulanabilirliği sınırlıdır; zira, bu tam sayıların basamak sayısına bağlı olarak yürütülen testlerin sayısı, üstel bir artış göstermektedir. Bununla birlikte, bölücü büyüklüğü üzerinde karekökten daha az bir sınır belirlenerek kullanılan deneme bölme yöntemi, daha karmaşık yöntemlere başvurulmadan önce, küçük çarpanlara sahip bileşik sayıları hızla belirlemek amacıyla bu süzgeçten geçen sayılar üzerinde hâlâ tercih edilmektedir.


### Kalbur yöntemleri.
Bilgisayarların var olmadığı dönemlerde, verilen bir sınır değere kadar tüm asalların ya da asal çarpanlaştırmaların listelendiği matematiksel tablolar yaygın biçimde basılmaktaydı. Asal sayıların listesinin elde edilmesinde kullanılan en kadim yöntem, "Eratosten kalburu" olarak isimlendirilir. Bu yöntemin optimize edilmiş bir çeşidini gösteren animasyon, metodun uygulanışını görselleştirir.
Aynı problem için daha asimptotik açıdan daha verimli bir başka kalbur yöntemi Atkin kalburu olarak belirlenmiştir. İleri düzey matematikte, elek teorisi benzeri metodlar diğer problemlerin çözümünde de kullanılmaktadır.


### Asallık testi ile asallığın kanıtlanması.
Bir n sayısının asal olup olmadığını belirlemek amacıyla kullanılan en gelişmiş modern testlerden bazıları, yanlış bir sonuç üretme ihtimali olan olasılıksal (veya Monte Carlo) algoritmalarıdır. Örneğin, bir p sayısı için Solovay–Strassen asallık testi uygulamasında, 2 ile p-2 arasından rastgele seçilen bir a sayısı üzerinden, a^(p-1)/2±1 ifadesinin p tarafından bölünebilirliği modüler üs alma aracılığıyla denetlenir.#YÖNLENDİRME Bu durumda, algoritma pozitif yanıt verir; aksi takdirde, negatif yanıt verir. p sayısı gerçekten asal ise, algoritma her zaman pozitif yanıt verir; fakat p bileşik bir sayı ise, pozitif yanıt verme olasılığı en fazla 1/2, negatif yanıt verme olasılığı ise en az 1/2'dir.
Bu deneyin aynı sayı üzerinde n defa yinelenmesi halinde, bir bileşik sayının her seferinde bu deneyden başarıyla geçme ihtimali en çok 1/2^n olarak belirlenir. Deneylerin sayısı arttıkça, bu ihtimal üssel olarak azaldığından, yinelenen deneyi geçen bir sayının asal olduğuna ilişkin yüksek bir güven seviyesi (fakat kesin bir kanıt değil) elde edilir. Diğer taraftan, eğer deney en az bir kere dahi başarısızlıkla sonuçlanırsa, bu durumda söz konusu sayının mutlaka bileşik olduğu kesinleşir.
Bu şekilde bir testi geçmeyi başaran bileşik sayılara sanki asal (İng. "pseudoprime") adı verilir.
Diğer taraftan, bazı algoritmaların sonuçlarının daima doğru olacağına dair bir garanti bulunmaktadır. Bu durumun bir örneği deneme bölme yöntemidir. Kesin doğru çıktı sağlayan algoritmalar, AKS asallık testi gibi deterministik (rastgele olmayan) algoritmaları,
ve algoritmanın nihai yanıtını etkilemeyen rastgele seçimler yapan, örneğin bazı elips eğri asallık kanıtlama çeşitlerindeki gibi Las Vegas algoritmasını kapsar.
Elips eğri metodu, bir sayının asallığı konusunda bir karara vardığında, kolaylıkla doğrulanabilir bir asallık sertifikası temin eder.
Pratik uygulamalarda, garantili doğruluk sağlayan asallık testleri içinde, elips eğri asallık testi en hızlı olanıdır; ancak, bu testin çalışma zamanı analizi, katı ispatlara değil, sezgisel argümanlara dayanır. Matematiksel olarak zaman karmaşıklığı ispatlanmış AKS asallık testi mevcut olmakla birlikte, uygulamada elips eğri asallığını kanıtlamadan daha yavaş işler. Bu metodlar, rastgele sayılar üretilip test edilerek ve asal olan bir sayı bulunana dek büyük rastgele asal sayılar üretmek için kullanılabilir; bu süreçte, bir hızlı olasılıksal test, garantili doğruluk sağlayan bir algoritma ile kalan sayıların asallığının doğrulanmasından önce, çoğu bileşik sayıyı çabucak elemine etme işlevi görür.#YÖNLENDİRME 
Aşağıda sunulan tablo, mevcut testlerden seçilmiş olanları sıralamaktadır. Bu testlerin çalışma zamanları, incelenmek üzere olan sayıyı temsil eden n ve olasılıksal algoritmalar için gerçekleştirilen testlerin sayısını ifade eden k ile ilişkilendirilmiştir. Ek olarak, ε, keyfi olarak belirlenebilen küçük bir pozitif değeri simgeler ve log, belirli bir tabana atıfta bulunmaksızın logaritmayı işaret eder. Büyük O gösterimi, her bir zaman kısıtının, boyutsuz birimlerden zaman birimlerine çevrilebilmesi için bir sabit faktör ile çarpılması gerektiğini belirtir; bu faktör, algoritmanın uygulandığı bilgisayarın türü gibi uygulama ayrıntılarına bağlıdır, fakat n ve k girdi parametrelerine bağlı olmaz.


### Özel amaçlı algoritmalar ve en büyük bilinen asal sayı.
Bahse konu testlerin yanı sıra, özgün biçimdeki bazı sayıların asallık durumu, daha hızlı bir metodoloji kullanılarak test edilebilir. Örnek olarak, Lucas–Lehmer asallık testi, bir Mersenne sayısının (iki'nin bir kuvvetinden bir az olan) asal olup olmadığını, deterministik bir yaklaşımla, Miller–Rabin testinin tek bir yinelemesi kadar sürede tespit edebilmektedir. Bu sebepten ötürü, 1992 yılından itibaren (#YÖNLENDİRME ) en büyük "bilinen" asal sayı, sürekli olarak bir Mersenne asalı olagelmiştir.
Mersenne asallarının sonsuz olduğu varsayılmaktadır.
Aşağıdaki tablo, çeşitli kategorilerde tespit edilmiş en büyük asal sayıları içermektedir. Bu asal sayıların bir kısmı, dağıtık hesaplama yöntemiyle keşfedilmiştir. 2009 senesinde, en az on milyon rakam içeren bir asal sayıyı ilk defa bulma başarısı gösteren Great Internet Mersenne Prime Search projesi, yüz bin Amerikan doları mükafatına layık görülmüştür. Electronic Frontier Foundation, yüz milyon ve bir milyar rakam barındıran asal sayılar için sırasıyla yüz elli bin ve iki yüz elli bin dolar ödül sunmaktadır.


### Asal çarpanlara ayırma.
Bir bileşik tam sayı olan n için, onun bir veya tüm asal çarpanlarını tespit etme işlemi, n sayısının "çarpanlara ayrılması" olarak isimlendirilir. Bu süreç, asallığın sınanmasından bariz bir şekilde daha zor bir hal almaktadır, ve birçok çarpanlara ayrılma algoritması tanımlanmış olmasına rağmen, bunlar en hızlı asallık testi metodlarına kıyasla daha yavaş çalışmaktadırlar. Deneme bölünmesi ve Pollard'ın rho algoritması gibi yöntemler, n sayısının oldukça küçük çarpanlarını keşfetmek amacıyla kullanılabilir, ve n sayısının az büyüklükte çarpanları varsa, elips eğri çarpanlarına ayırma yöntemi etkili olabilmektedir. Çarpanlarının büyüklüğünden bağımsız olarak, herhangi bir büyüklükteki sayılar için uygulanabilir yöntemler arasında kuadratik kalbur ve genel sayı alanı kalburu metodları yer almaktadır. Asallık testlerinde olduğu gibi, girdinin özgül bir yapıda olmasını zorunlu kılan çarpanlara ayrılma algoritmaları da mevcuttur; bunlar arasında özel sayı alanı kalburu bulunmaktadır. Aralık 2019 itibarıyla, genel amaçlı bir algoritmayla çarpanlarına ayrılmış en büyük sayı, 240 ondalık basamağa (795 bit) sahip RSA-240'dır ve bu, iki büyük asal sayının çarpımından meydana gelmektedir.
Shor algoritması, herhangi bir tam sayının çarpanlarına ayrıştırılmasını bir kuantum bilgisayar üzerinde polinomik sayıda işlem adımı ile gerçekleştirebilir. Bununla birlikte, günümüz teknolojisi, söz konusu algoritmayı sadece minimal büyüklükteki sayılar üzerinde uygulayabilmektedir. #YÖNLENDİRME , bir kuantum bilgisayarında Shor algoritmasını kullanarak çarpanlarına ayrılan en büyük sayı 21 olarak kaydedilmiştir.


### Diğer bilgisayımsal uygulamalar.
Çok sayıda açık anahtarlı şifreleme algoritması, örneğin RSA ve Diffie-Hellman anahtar değişimi gibi, büyük asal sayılar üzerine kuruludur (2048-bit asal sayılar yaygın kullanımdadır). RSA algoritması, iki (büyük) sayının çarpımı olan x ve y sayılarının çarpımını yapmanın, bu çarpım xy sonucu bilindiğinde x ve y (aralarında aralarında asal kabul edilen) sayılarını bulmaktan çok daha kolay (yani daha etkili) olduğu önermesine dayalıdır. Diffie–Hellman anahtar değişim mekanizması, a^bc şeklinde ifade edilen modüler üs alma işleminin etkili algoritmalarla gerçekleştirilebilmesi gerçeğine bağlıyken, bu işlemin tersi olan ayrık logaritma probleminin zor olduğu kabul edilmektedir.
Asal sayılar, hash tablolarında yaygın olarak tercih edilmektedir. Carter ve Wegman tarafından geliştirilen orijinal evrensel hashing metodolojisi, büyük asal sayılar cinsinden mod alınarak seçilen rastgele doğrusal fonksiyonlar aracılığıyla hash fonksiyonuların hesaplanmasına dayanır. Carter ve Wegman, bu metodu, yine büyük asal sayılar cinsinden mod alınarak daha yüksek dereceden polinomlar kullanılarak k-bağımsız hashingi genelleştirerek iyileştirmiştir. Asal sayılar, hash fonksiyonlarının yanı sıra, kuadratik sondalama yöntemine dayalı hash tablolarında, sorgulama dizilerinin tablonun tamamını kapsayacak şekilde tasarlanmasını sağlamak amacıyla hash tablo boyutlarının belirlenmesinde de kullanılmaktadır.
Çeşitli sağlama toplamı yöntemleri, asal sayıların matematiğine dayalıdır. Mesela, Uluslararası Standart Kitap Numarası için kullanılan sağlama toplamları, asal bir sayı olan 11'e göre sayının mod alınarak hesaplanması yoluyla tanımlanmaktadır. 11 sayısının asal bir değere sahip olması, bu metodun hem tek basamaklı hataları hem de yan yana bulunan rakamların yer değiştirme hatalarını tespit edebilmesine olanak tanır. Adler-32 gibi başka bir kontrol toplamı yöntemi, 2^16 değerinden küçük olan en büyük asal sayı 65521'e göre modüler aritmetik kullanmaktadır. Asal sayılar ayrıca, lineer eşleşik üreteciler ve Mersenne Twister gibi çeşitli rastgele sayı üreteci modellerinde temel birer bileşen olarak kullanılmaktadır.


## Diğer uygulamalar.
Asal sayılar, sayılar teorisinin yanı sıra, soyut cebir ve temel geometri gibi matematiğin diğer disiplinlerinde de geniş uygulama alanlarına sahiptir. Mesela, asal sayılar kadar noktanın iki boyutlu bir düzlem üzerine öyle bir yerleştirilmesi mümkündür ki, bu noktalardan herhangi üçü düz bir çizgi üzerinde konumlanmaz, üç-doğru-üzerinde-sorunu (İng. "No-three-in-line problem") ya da bu noktalar arasından seçilen her üçlü tarafından oluşturulan üçgenlerin geniş alanlara sahip olması sağlanabilir. Ayrıca, bir polinomun indirgenemezliğinin, polinomun katsayılarının bir asal sayı ve bu asal sayının karesi ile bölünebilirliğine dayanarak tespit edilmesini sağlayan Eisenstein kriteri, indirgenemez polinomlar üzerine bir test olarak öne çıkmaktadır.
Asal sayı kavramı, matematiğin çeşitli dallarında farklı şekillerde genelleştirilmiş kadar önemlidir. Genellikle, "asal" kelimesi, uygun bir anlamda, minimaliteyi veya ayrıştırılamazlığı belirtir. Örneğin, verilen bir alanın asal alanı, hem 0 hem de 1'i içeren en küçük alt alandır. Bu, rasyonel sayılar alanı veya asal sayıda elemana sahip bir sonlu alandır, isminin kaynağı budur. Sıklıkla, "asal" kelimesi kullanılarak bir nesnenin, esasen benzersiz bir şekilde, asal bileşenlerine ayrıştırılabileceği anlamı da amaçlanır. Örneğin, düğüm teorisinde, bir asal düğüm iki önemsiz düğümün bağlı toplamı olarak yazılamayacak şekilde ayrıştırılamaz bir düğümdür. Herhangi bir düğüm, asal düğümlerin bağlı toplamı olarak benzersiz bir şekilde ifade edilebilir. 3-boyutlu manifoldların asal ayrışımı bu türe başka bir örnektir.
Matematik ve bilgisayar bilimlerinin ötesinde, asal sayıların kuantum mekaniğine potansiyel ilişkileri mevcut olup, kültür ve edebiyat alanlarında metaforik öğeler olarak değerlendirilmişlerdir. Bunun yanı sıra, evrimsel biyoloji alanında, ağustos böceğilerinin yaşam evrelerinin izah edilmesinde asal sayılar başvurulan bir araç olmuştur.


### Yapılandırılabilir çokgenler ve çokgen bölümlendirmeleri.
Fermat asalıları, 
F_k = 2^2^k+1,
şeklinde tanımlanan ve k negatif olmayan bir tam sayı olduğunda geçerli olan asal sayılar olarak bilinir. Bu terim, her biri bu formdaki sayıların asal olduğunu varsayan Pierre de Fermat'ya atfen kullanılır. İlk beş Fermat sayısı – 3, 5, 17, 257 ve 65,537 – asal niteliktedir, fakat F_5 ve 2017 yılı itibarıyla incelenmiş diğer tüm Fermat sayıları bileşik olarak sınıflandırılmıştır. Bir düzenli n-genin cetvel ve pergel kullanılarak çizilebilir olması, ancak ve ancak n'in tek asal faktörleri (var ise) birbirinden farklı Fermat asalları olduğunda mümkündür. Benzer şekilde, bir düzenli n-genin çizimi, n sayısının asal çarpanlarının 2 veya 3'ün herhangi bir sayıda tekrarı ile birlikte, farklı Pierpont asalıları içeren (potansiyel olarak boş) bir küme olması durumunda, cetvel, pergel ve bir açı üçleyici kullanılarak gerçekleştirilebilir.
Herhangi bir dışbükey çokgenin, n sayısı bir asal sayının kuvveti olduğunda, eşit alan ve eşit çevreye sahip n adet daha küçük dışbükey çokgenlere ayrılması mümkündür; fakat n değerinin asal sayının kuvveti dışındaki diğer değerleri için bu durumun geçerli olup olmadığı bilinmemektedir.


### Kuantum mekaniği.
Hugh Montgomery ve Freeman Dyson'ın 1970'lerde gerçekleştirdikleri çalışmaların öncülüğünde, matematik ve fizik alanında uzmanlar, Riemann zeta fonksiyonunun kökleri ile kuantum sistemlerinin enerji düzeyleri arasında bir bağlantı olabileceğini öne sürmüşlerdir. Aynı zamanda, asal sayılar, karşılıklı olarak önyargısız tabanlar ve simetrik bilgi tamamlı pozitif-operatör-değerli ölçüm gibi matematiksel yapılar vasıtasıyla kuantum bilgi bilimi alanında da kritik bir öneme sahiptir.


### Biyoloji.
"Magicicada" cinsi ağustos böceğilerinin uyguladığı evrimsel strateji, asal sayılardan faydalanmaktadır. Bu böcek türleri, ömürlerinin büyük bir kısmını yer altında larva formunda geçirmekte, yalnızca 7, 13 veya 17 yıl gibi asal sayıları temsil eden süreler sonunda erginleşip yeryüzüne çıkarlar, çiftleşirler ve birkaç hafta içinde yaşam döngülerini tamamlayarak ölürler. Bu asal sayılara dayanan üreme döngüsü sürelerinin, avcıların bu döngülere uyum sağlamasını engellemek amacıyla evrildiği biyologlar tarafından öne sürülmektedir.
Öte yandan, bambu bitkilerinde görülen çiçeklenme periyotlarının, çarpanlarında yalnızca küçük asal sayılar içeren pürüzsüz sayılar olduğu varsayılmaktadır. Bu durum, bambunun çiçeklenme zamanlamalarının küçük asal sayılara dayalı bir düzenlilik gösterdiğini işaret etmektedir.


### Sanat ve edebiyat.
Asal sayılar, pek çok sanatçı ve yazar üzerinde derin bir etkiye sahip olmuştur.
Fransız besteci Olivier Messiaen, "doğal olaylar"ı referans alarak ametrik müzik üretmede asal sayıları kullanmıştır. "La Nativité du Seigneur" (1935) ve "Quatre études de rythme" (1949–50) eserlerinde, birbirinden farklı asal sayılara dayanan motif uzunluklarını simultane kullanımıyla öngörülemez ritimler oluşturmuştur: "Neumes rythmiques" adlı üçüncü etütte 41, 43, 47 ve 53 gibi asal sayılar yer almaktadır. Messiaen, bu kompozisyon tekniğini "doğanın hareketlerinden, serbest ve eşitsiz süreçlerde meydana gelen hareketlerden ilham alarak" geliştirdiğini belirtmiştir.
Bilimkurgu eseri "Contact"'ta, Carl Sagan, uzaylılarla iletişim kurma sürecinde iki boyutlu görüntü düzlemlerinin oluşturulmasında asal sayıların çarpanlarına ayrılmasının potansiyel bir yöntem olarak kullanılabileceğini ileri sürmüştür. Bu düşünceyi ilk defa 1975 yılında Amerikan astronom Frank Drake ile informal bir şekilde ortaya koymuştur. "The Curious Incident of the Dog in the Night-Time" adlı eserde, yazar Mark Haddon, ana karakterin, Asperger sendromuna sahip matematiksel yeteneği yüksek bir genç, zihinsel durumunu yansıtmak amacıyla hikayenin bölümlerini ardışık asal sayılar kullanarak düzenlemiştir. Paolo Giordano'nun "The Solitude of Prime Numbers" adlı romanında asal sayılar, yalnızlık ve tecrit duygularını sembolize etmek için kullanılmış, asal sayılar tam sayılar içerisinde "yabancı" olarak tasvir edilmiştir.


## Asal oturanlar.
Aritmetiğin temel teoremi 1'den büyük tüm tam sayıların asal sayıların çarpımları şeklinde yazılabileceğini, üstelik yazımın da (asal çarpanların değişik sıralanması hariç) yalnız bir şekilde (teklik) olacağını söyler. Bir sayının asal çarpanlara ayrılmasında bir asal sayı birden fazla tekrar edebilir. Dolayısıyla asal sayılar, doğal sayıların "temel inşa taşları" olarak düşünülebilir.
Örneğin, 23244'ü şu şekilde asal çarpanlarına ayırabiliriz:23244 = 22 × 3 × 13 × 149
ve 23244'ün diğer asal çarpanlara ayırış şekilleri yukarıdaki ile aynıdır, fakat asal sayıların sıralaması değişik olabilir. Büyük sayılar için değişik asal çarpanlara ayırma algoritmaları vardır.


### İkiz asallar.
Aralarındaki fark iki olan asal sayılar hakkındaki ikiz asallar konjektürü.
 - Örneğin:
  - (3, 5)
  - (5, 7)
  - (11, 13)
  - (17, 19)
  - (29, 31)
  - (41, 43)
  - (59, 61)
  - (71, 73)
  - (101, 103)
  - (107, 109)


### Chen asalları.
Bir a asal sayısı (a+2) biçiminde yazıldığında asal ya da yarı asal oluyorsa a değeri, Chen asalı olarak adlandırılmaktadır. İkiz asallarda, küçük sayı aynı zamanda Chen asalıdır.
Asal örnekler:
  - a = 5 ⇒ 5 + 2 = 7
  - a = 11 ⇒ 11 + 2 = 13
Yarı asal örnekler:
  - a = 2 ⇒ 2 + 2 = 4 2 × 2 = 4
  - a = 7 ⇒ 7 + 2 = 9 3 × 3 = 9


### Mersenne asalları.
Bir a doğal sayısı (2a – 1) biçiminde yazıldığında hesaplanan değer Mersenne sayısı, asal oluyorsa aynı zamanda Mersenne asalı olarak adlandırılmaktadır. Mersenne asalları hesaplanırken, a sayısı da asal olarak alınmaktadır. Ancak a sayısının asal olarak alındığı bazı durumlarda, bileşik Mersenne sayıları hesaplanabilmektedir. Bilinen en büyük asal sayı olan 2136,279,841 − 1, Mersenne asalıdır.
Mersenne asalları:
  - 22 – 1 = 3
  - 25 – 1 = 31
Bileşik Mersenne sayıları:
  - 211 – 1 = 2047


### Goldbach hipotezi.
Asal sayılarla ilgili Goldbach hipotezi, doğru gözükmesine rağmen halen ispatlanamamıştır. "Her çift (2 hariç) sayı iki asal sayının toplamı mıdır?"
Örneğin:
  - 4 = 2 + 2
  - 6 = 3 + 3
  - 8 = 3 + 5
  - 10 = 3 + 7
  - 12 = 5 + 7
  - 14 = 3 + 11
  - 16 = 3 + 13
  - 18 = 5 + 13
  - 20 = 3 + 17
  - 22 = 3 + 19
  - 24 = 5 + 19
  - 26 = 7 + 19
  - 28 = 5 + 23
  - 30 = 7 + 23
  - 32 = 3 + 29
  - 34 = 5 + 29
  - 36 = 7 + 29


## Not listesi.
 }}>