Asal sayılar

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.

Bileşik sayılar, dikdörtgen biçimlerine düzenlenebilirken, asal sayıların bu biçimde düzenlenmesi mümkün değildir.

Bir sayının asal oluş özelliği, asallık olarak tanımlanır. Verilen bir ${\displaystyle n}$ sayısının asallığını denetlemek için kullanılan basit fakat zaman alıcı bir yöntem olan , ${\displaystyle n}$ sayısının 2 ile ${\displaystyle {\sqrt {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 ve her zaman doğru sonucu veren fakat pratikte uygulanabilirliği sınırlı olan yer alır. gibi özel biçimlere sahip sayılar için özellikle hızlı yöntemler mevcuttur. (Aralık 2018 (2018-12) itibarıyla), , 24,862,048 ondalık basamağa sahip bir Mersenne asalıdır.

M.Ö. 300 civarında Öklid tarafından ispatlandığı gibi, asal sayılar . 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.

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 ve ikişer rakam aralıkla sınırsız sayıda ikiz asal sayı çiftinin var olduğunu iddia eden 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 güçlüğüne dayanan gibi çeşitli işlemlerde kullanılmaktadır. Soyut cebirde, asal sayılara genelleştirilmiş bir biçimde benzeyen yapılar arasında ve 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 ${\displaystyle n}$ sayısı, kendinden küçük birden fazla eşit parçaya bölünemez ise, ya da ${\displaystyle n}$ kadar nokta tam bir dikdörtgen olarak şekillendirilemez ise, ${\displaystyle 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.

kullanılarak yapılan gösterim, 7 sayısının asal olduğunu, çünkü 2, 3, 4, 5 veya 6 sayılarıyla tam olarak bölünemediğini ortaya koyuyor

Bir doğal sayı ${\displaystyle n}$'in bölenleri, ${\displaystyle 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ı ${\displaystyle n}$, 1'den büyükse ve ${\displaystyle 2,3,\dots ,n-1}$ sayılarından hiçbiri ${\displaystyle 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 A000040 dizisi).

2'den büyük hiçbir çift sayı ${\displaystyle n}$ asal olamaz çünkü herhangi bir böyle sayı ${\displaystyle 2\times 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 ${\displaystyle \mathbf {P} }$ (kalın harflerle büyük bir P) veya ${\displaystyle \mathbb {P} }$ (tahtaya yazı tipiyle büyük bir P) ile gösterilir.

Tarihçe

Rhind Papirüsü

M.Ö. 1550 civarından kalan Rhind Papirüsü, asal ve bileşik sayılar için farklı formdaki genişlemelerini içerir. Ancak, asal sayıların incelenmesine dair en eski kayıtlar antik Yunan matematikçilerinden gelmektedir, onlar bu sayılara prōtos arithmòs (Grekçe: πρῶτος ἀριθμὸς) 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ı, ${\displaystyle (n-1)!+1}$ ifadesini tam bölünebilen ${\displaystyle n}$ sayıları olarak tanımlayan '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, , 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ı (1202), asallığı test etmek için 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, ${\displaystyle 2^{2^{n}}+1}$ formülüyle ifade edilen Fermat sayılarının asallık özelliklerini araştırmış,Marin Mersenne ise ${\displaystyle p}$'nin asal olduğu durumlarda ${\displaystyle 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 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ı, ${\displaystyle {\tfrac {1}{2}}+{\tfrac {1}{3}}+{\tfrac {1}{5}}+{\tfrac {1}{7}}+{\tfrac {1}{11}}+\cdots }$, matematiksel analiz metodolojilerini bu alana taşıyarak kanıtlamıştır. 19. yüzyılın başlarında, Legendre ve Gauss, ${\displaystyle x}$ sonsuza yaklaştıkça, ${\displaystyle x}$'e kadar olan asal sayıların sayısının, ${\displaystyle x/\log x}$ ile olduğunu tahmin etmişlerdir, burada ${\displaystyle \log x}$, ${\displaystyle x}$'in . Asal sayıların bu yüksek yoğunluğunun bir zayıf sonucu idir; bu postülat her ${\displaystyle n>1}$ için, ${\displaystyle n}$ ile ${\displaystyle 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 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 tarafından tamamlandı ve sonuç şimdi asal sayılar teoremi olarak bilinmektedir. 19. yüzyılın başka bir önemli sonucu 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 üzerinde çalışmıştır. Belirli sayı formlarına sınırlı yöntemler arasında Fermat sayıları için (1877), (yaklaşık 1878), (1856'da ortaya çıktı) ve genelleştirilmiş 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. Büyük asal sayıları arama çabası, 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 dışında önemli uygulamalara sahip olmadığına dair görüş, 1970'lerde, asal sayıları temel alan 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 (2004) ve 'ın 2013'te sınırlı büyüklükte sonsuz çoklukta olduğunun kanıtı ile de ileriye taşındı.

1 sayısının asallığı

Antik Yunanlıları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 Yunanlıları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: ve '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 bâzı 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.

Resimdeki örnek 11'in asal olup 12'nin asal olmadığını gösteriyor.

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 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 "" 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:

${\displaystyle {\begin{aligned}34866&=2\times 3\times 3\times 13\times 149\\&=2\times 3^{2}\times 13\times 149.\end{aligned}}}$

Bu çarpımdaki terimlere asal çarpanlar denir. Aynı asal çarpan birden fazla bulunabilir; bu örnekte asal çarpan ${\displaystyle 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, ${\displaystyle 3^{2}}$, ${\displaystyle 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 teoreminden 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ı, dayanır: Eğer ${\displaystyle p}$ bir asal sayıysa ve ${\displaystyle p}$, ${\displaystyle a}$ ve ${\displaystyle b,}$ tam sayılarının çarpımı olan ${\displaystyle ab}$'yi bölerse, o zaman ${\displaystyle p}$, ya ${\displaystyle a}$'yı ya da ${\displaystyle b}$'yi (veya her ikisini de) böler. Aksine, bir sayı ${\displaystyle p}$, bir çarpımı böldüğünde daima çarpımın en az bir faktörünü bölerse, o zaman ${\displaystyle 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 , genel topoloji kullanarak sunduğu , ve ispatı sayılabilir.

Öklid'in ispatı, herhangi bir eksik olduğunu gösterir. Ana fikir, verilen listedeki asal sayıların hepsini çarparak ${\displaystyle 1}$ eklemektir. Eğer liste ${\displaystyle p_{1},p_{2},\ldots ,p_{n},}$ asal sayılarından oluşuyorsa, bu

${\displaystyle N=1+p_{1}\cdot p_{2}\cdots p_{n}.}$ sayısını verir.

Temel teorem gereğince, ${\displaystyle N}$ sayısı,

${\displaystyle N=p'_{1}\cdot p'_{2}\cdots p'_{m}}$

şeklinde bir veya daha fazla asal çarpan içeren bir asal çarpanlara ayırımına sahiptir. ${\displaystyle 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, ${\displaystyle 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 adı verilir. Bunlardan ilk beşi asal olmakla birlikte, altıncısı,

${\displaystyle 1+(2\cdot 3\cdot 5\cdot 7\cdot 11\cdot 13)=30031=59\cdot 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, '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.

ve tarafından öne sürülen bir teoremle ilgili olarak, asal sayılar üreten diğer formüller de mevcuttur. Bu teoremler, ${\displaystyle A>1}$ ve ${\displaystyle \mu }$ şeklinde ifade edilen gerçek sabitlerin varlığını öne sürer.

${\displaystyle \left\lfloor A^{3^{n}}\right\rfloor {\text{ ve }}\left\lfloor 2^{\cdots ^{2^{2^{\mu }}}}\right\rfloor }$

İlk formülde, herhangi bir doğal ${\displaystyle 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, ${\displaystyle \lfloor {}\cdot {}\rfloor }$ sembolü, incelenen sayıya eşit veya bu sayıdan daha az olan en yüksek tam sayıyı ifade eden belirtmektedir. Fakat, ${\displaystyle A}$ veya ${\displaystyle \mu .}$ 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 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ı ${\displaystyle 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, ${\displaystyle n=4\cdot 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, , yeterli büyüklükteki her tek tam sayının, üç asal sayının toplamı şeklinde ifade edilebileceğini belirtmektedir., 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ı, olarak adlandırılmaktadır.

Ardışık asal sayılar arasındaki farkları ifade eden ile ilgili bir başka problem türü bulunmaktadır. Herhangi bir doğal ${\displaystyle n}$ sayısı için, ${\displaystyle n!+2,n!+3,\dots ,n!+n}$ dizisinin ${\displaystyle 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, ${\displaystyle 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. ise daha geniş bir perspektiften, her pozitif ${\displaystyle k}$ tam sayı değeri için, ardışık asal sayı çiftlerinin ${\displaystyle 2k}$ farkla ayrıldığı durumların sonsuz sayıda olduğunu ifade etmektedir.

,, ve ,${\displaystyle 1}$ ile ${\displaystyle n}$ arasındaki asal sayılar arasındaki maksimum boşlukların yaklaşık olarak en fazla ${\displaystyle {\sqrt {n}}}$ olması gerektiğini ileri sürmektedir; bu çıkarım, Riemann hipotezi çerçevesinde elde edilen bilinen bir sonuçtur. Ancak, daha iddialı olan , en büyük boşluk boyutunu ${\displaystyle O((\log n)^{2})}$ olarak tahmin etmektedir. İki asal sayı arasındaki boşluklar, asal sayıların arasındaki farkların desenlerini ifade eden ş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 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, ${\displaystyle 1+{\tfrac {1}{4}}+{\tfrac {1}{9}}+{\tfrac {1}{16}}+\dots ,}$ şeklinde ifade edilen sonsuz serinin değerinin ne olduğunu sorgulamaktadır; bu değer günümüzde Riemann zeta fonksiyonu'nun ${\displaystyle \zeta (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ı, ${\displaystyle \zeta (2)=\pi ^{2}/6}$ eşitliğini ispatlamasıyla öne çıkmaktadır. Bu sayının ters değeri olan ${\displaystyle 6/\pi ^{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 ${\displaystyle n}$-inci asal sayıyı belirleyen etkin bir formül mevcut değildir. temel versiyonu, aralarında asal olan ${\displaystyle a}$ ve ${\displaystyle b}$ tam sayıları için

${\displaystyle 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ı ${\displaystyle 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ı

, asal sayıların toplamlarını incelemektedir,

${\displaystyle {\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+\cdots +{\frac {1}{p}}.}$

Euler, herhangi bir reel sayı ${\displaystyle x}$ için, bu toplamın ${\displaystyle x}$ değerinden daha büyük olacağı bir asal ${\displaystyle 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 ${\displaystyle 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ı, ile daha detaylı bir biçimde tanımlanmıştır. Karşılaştırma amacıyla,

${\displaystyle {\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots +{\frac {1}{n^{2}}}}$

toplamı, ${\displaystyle 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.

, ikiz asalların terslerinin toplamının,

${\displaystyle \left({{\frac {1}{3}}+{\frac {1}{5}}}\right)+\left({{\frac {1}{5}}+{\frac {1}{7}}}\right)+\left({{\frac {1}{11}}+{\frac {1}{13}}}\right)+\cdots ,}$

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 çözümlemek amacıyla kullanılabilmesi mümkün değildir.

Belirli bir üst sınıra kadar olan asal sayıların miktarı

${\displaystyle {\tfrac {n}{\log n}}}$ ve logaritmik integral ${\displaystyle \operatorname {Li} (n)}$, ile olan yakınsaklığına dair incelemesi. ${\displaystyle n}$ değerinin artışı ile her iki göreceli hata oranı da azalarak sıfıra ulaşmaktadır; ancak, logaritmik integralin sıfıra yakınsama hızı, öteki yaklaşıma göre çok daha fazladır.

olarak adlandırılan ${\displaystyle \pi (n)}$, ${\displaystyle 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, ${\displaystyle \pi (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. gibi metodlar, ${\displaystyle n}$'ye kadar olan asal sayıların her birini tek tek sıralamaktan çok daha hızlı bir şekilde ${\displaystyle \pi (n)}$ değerinin doğru hesaplamasını gerçekleştirebilir.

Asal sayı teoremine göre, ${\displaystyle \pi (n)}$ değeri, ${\displaystyle n/\log n}$ ifadesine asimptotiktir, yani

${\displaystyle \pi (n)\sim {\frac {n}{\log n}},}$ şeklinde gösterilir.

Bu durum, ${\displaystyle \pi (n)}$ ile sağ taraftaki ifadenin oranının, ${\displaystyle n}$ değeri sonsuzluğa ulaştıkça 1 değerine yakınsadığını ifade eder. Bu durum, ${\displaystyle n}$ değerinden daha küçük rastgele bir sayının asal sayı olma ihtimalinin, (yaklaşık olarak) ${\displaystyle n}$ sayısının basamak sayısına ters orantılı olduğunu göstermektedir.

Bu durum, aynı zamanda, ${\displaystyle n}$ sıradaki asal sayının büyüklüğünün ${\displaystyle n\log n}$ ile orantılı olduğunu ve bunun sonucu olarak, asal sayılar arasındaki ortalama boşluk büyüklüğünün ${\displaystyle \log n}$ ile orantılı olduğunu göstermektedir.${\displaystyle \pi (n)}$ değerinin daha doğru bir tahmini, kullanılarak sağlanmaktadır.

${\displaystyle \pi (n)\sim \operatorname {Li} (n)=\int _{2}^{n}{\frac {dt}{\log t}}.}$

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

${\displaystyle a,a+q,a+2q,a+3q,\dots }$

ancak kalan ${\displaystyle a}$ ve modül ${\displaystyle q}$ birbirine göre asal olduğunda birden fazla asal sayı içerebilir. Eğer bu iki değer birbirine göre asal ise, , ilerlemenin sonsuz sayıda asal sayı içerdiğini öne sürer.

İncelemiş olduğumuz yatay şeridin her bir sırası, modül 9'a göre mümkün olan dokuz farklı dizi ilerlemesinden bir tanesini temsil etmekte olup, asal sayılar kırmızı renkle vurgulanmıştır. Mod 9 değerleri 0, 3 veya 6 olan sayı dizileri, en fazla bir adet asal sayıyı (bu sayı 3'tür) barındırabilirken; mod 9 değerleri 2, 4, 5, 7 ve 8 olan sayı dizileri, her bir dizi içinde benzer asal sayı miktarlarıyla birlikte, sonsuz sayıda asal sayı içermektedir.

, 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

Ulam spirali. Asal sayılar (kırmızı olarak belirtilmiştir), belirli diyagonaller üzerinde yoğun bir dağılım gösterirken, bazı diyagonallerde bu yoğunluk gözlemlenmemektedir. ${\displaystyle 4n^{2}-2n+41}$ biçiminde ifade edilen kuadratik polinomdan elde edilen asal sayı değerleri mavi renkle işaretlenmiştir.

Euler, ${\displaystyle n^{2}-n+41}$ biçiminde ifade edilen fonksiyonun ${\displaystyle 1\leq n\leq 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ışı, ve ile ilgili olarak, cebirsel sayı teorisinin derinliklerine dalmayı gerektirmiştir., tam sayılı katsayılara sahip 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

Zeta fonksiyonunun mutlak değerlerine ilişkin çizim, fonksiyonun belirli özelliklerini sergilemektedir

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 ${\displaystyle \zeta (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 ${\displaystyle 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 ile ifade edilir,

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p{\text{ asal}}}{\frac {1}{1-p^{-s}}}.}$

Euler tarafından ortaya konulan bu toplam ile çarpım arasındaki denklik, 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 ${\displaystyle s=1}$ noktasında da geçerli olması gerekirken, toplamın diverjans gösterdiği (harmonik seri ${\displaystyle 1+{\tfrac {1}{2}}+{\tfrac {1}{3}}+\dots }$ 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, 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ı teoreminin öngördüğü gibi, ${\displaystyle x}$ sayısına yakın aralıklarda (yaklaşık olarak ${\displaystyle 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ı ${\displaystyle n}$ için, yalnızca ${\displaystyle {0,1,2,\dots ,n-1}}$ sayılarının kullanıldığı, geleneksel aritmetik işlemlerin modifiye edilmiş bir şeklidir. Diğer tüm doğal sayılar, ${\displaystyle 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: ${\displaystyle x}$ ile ${\displaystyle y}$, ${\displaystyle n}$ ile bölündüklerinde aynı kalan değerine sahip olduklarında denk olmaları durumu (${\displaystyle x\equiv y}$ mod ${\displaystyle 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 ${\displaystyle 7}$ asal sayısının seçilmesi durumunda, ${\displaystyle 3}$ sayısı ile bölme işlemi gerçekleştirilebilir: ${\displaystyle 2/3\equiv 3{\bmod {7}}}$, zira her iki tarafın da ${\displaystyle 3}$ ile çarpılması, paydalardaki terimlerin sadeleştirilmesi sonucunda ${\displaystyle 2\equiv 9{\bmod {7}}}$ geçerli denklemini ortaya çıkarır. Ancak, bileşik bir modül olan ${\displaystyle 6}$ için, ${\displaystyle 3}$ ile bölme işlemi gerçekleştirilemez. ${\displaystyle 2/3\equiv x{\bmod {6}}}$ denkleminin geçerli bir çözümü bulunmamaktadır: payda terimlerinin ${\displaystyle 3}$ ile çarpılması, denklemin sol tarafını ${\displaystyle 2}$ yaparken sağ tarafını ${\displaystyle 0}$ ya da ${\displaystyle 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 ${\displaystyle a\not \equiv 0}$ (mod ${\displaystyle p}$) ise, o zaman ${\displaystyle a^{p-1}\equiv 1}$ (mod ${\displaystyle p}$) olacağını öne sürer.

Tüm ${\displaystyle a}$ değerleri için bu toplamın gerçekleştirilmesi, şu denklemi ortaya çıkarır:

${\displaystyle \sum _{a=1}^{p-1}a^{p-1}\equiv (p-1)\cdot 1\equiv -1{\pmod {p}},}$

bu denklem, ${\displaystyle p}$ asal sayı olduğu durumlarda geçerlidir. , bu denklemin, ${\displaystyle p}$ sayısının asal olması için yeterli bir koşul olduğunu ileri sürer. göre, ${\displaystyle p>1}$ olan bir tam sayının asal olduğu; yalnız ve yalnız ${\displaystyle (p-1)!}$ faktöriyelinin, ${\displaystyle p}$ modunda ${\displaystyle -1}$ ile denk olması durumunda geçerlidir. Bileşik bir sayı ${\displaystyle ;n=r\cdot s;}$ için bu durum söz konusu olamaz, zira bu sayının çarpanlarından birisi, hem n hem de ${\displaystyle (n-1)!}$'i bölebilecek ve bu nedenle ${\displaystyle (n-1)!\equiv -1{\pmod {n}}}$ eşitliği mümkün olmayacaktır.

p-sel sayılar

Bir tam sayının ${\displaystyle \nu _{p}(n)}$, ${\displaystyle n}$ sayısının asal çarpan ayrıştırmasında ${\displaystyle 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 ${\displaystyle p}$-sel düzeninin ${\displaystyle \nu _{p}(m)-\nu _{p}(n)}$ olarak tanımlanmasıyla genişletilebilir. Herhangi bir rasyonel sayı için ${\displaystyle p}$-sel mutlak değer ${\displaystyle |q|_{p}}$, ${\displaystyle |q|_{p}=p^{-\nu _{p}(q)}}$ şeklinde ifade edilir. Bir tam sayının ${\displaystyle p}$-sel mutlak değeri ile çarpılması, onun çarpan ayrıştırmasındaki ${\displaystyle 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 ${\displaystyle p}$-sel uzaklığı, yani farklarının ${\displaystyle 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ı ${\displaystyle 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 oluşturulduğu şekilde, ${\displaystyle p}$-sel uzaklık ile rasyonel sayılar, farklı bir tam alan olan ${\displaystyle p}$-sel sayılar olarak genişletilebilir.

Bu düzen, mutlak değer ve bu kavramlardan türetilmiş tam alan kavramı, ve bu alanların (alanın tamamen sıralı bir toplamsal gruba, düzen olarak da adlandırılan, özel eşlemeler), (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, 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 olurdu, fakat bu, bir değerlendirme için gerekli olan tüm özellikleri sağlamaz. göre, doğal bir denklik anlayışına kadar, gerçek sayılar ve ${\displaystyle 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., 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

Norm değeri 500'ü aşmayan Gauss asalları, kompleks sayılar içerisinde, özellikle Gauss tam sayıları kapsamında, asallık özelliği taşıyan özel bir sayı alt kümesini ifade eder. (Bu bağlamda "norm", vektör uzayındaki sıfır vektörü hariç, her bir vektöre katı bir şekilde pozitif bir uzunluk veya boyut atayan matematiksel bir fonksiyonu belirtir.)

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. ${\displaystyle R}$ halkasındaki sıfırdan farklı ${\displaystyle p}$ elemanı, çarpmaya göre tersi olmadığında (yani bir birim olmadığında) ve ${\displaystyle p}$ elemanı, ${\displaystyle R}$'nin iki elemanının çarpımı ${\displaystyle xy}$’i böldüğünde, ${\displaystyle x}$ veya ${\displaystyle 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,

${\displaystyle {\dots ,-11,-7,-5,-3,-2,2,3,5,7,11,\dots },.}$

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 ${\displaystyle \mathbb {Z} [i]}$ üzerinden tanımlanan Gauss tam sayıları gösterilebilir. Bu alan, ${\displaystyle a}$ ve ${\displaystyle b}$ herhangi tam sayılar olmak üzere, ${\displaystyle a+bi}$ formundaki karmaşık sayılardan oluşan bir halkayı ifade eder ve bu bağlamda ${\displaystyle 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ı, ${\displaystyle 1+i}$ ve ${\displaystyle 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, kaynaklanır; bu teorem, tek bir asal sayı ${\displaystyle p}$'nin, ${\displaystyle p=x^{2}+y^{2}}$ formunda iki karenin toplamı olarak ifade edilebileceğini ve bu sayede ${\displaystyle p}$ 1 mod 4 iken ${\displaystyle 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 ${\displaystyle a}$ ve ${\displaystyle b}$ için tanımlanan ${\displaystyle a+b{\sqrt {-5}}}$ sayılar halkasında, ${\displaystyle 21}$ sayısı ${\displaystyle 21=3\cdot 7=(1+2{\sqrt {-5}})(1-2{\sqrt {-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 ile yer değiştirebilir. Asal idealler, bir asal öğenin ürettiği 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 değişmeli halka içerisindeki her idealin, bir kesişimi olarak tanımlanabileceğini belirten 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, 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, bir asal sayının ${\displaystyle p^{n}}$ kuvvetinin bir grubun bölünebilmesi durumunda, ilgili grubun ${\displaystyle 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 niteliğindedir ve tarafından, mertebesi yalnızca iki farklı asal sayı ile bölünebilen her grup, özellik gösterir.

Hesaplamalı yöntemler

Bu tarım aletinin içerisinde yer alan küçük dişli, 13 dişe sahiptir ki bu bir asal sayıdır, ortada yer alan dişli ise 21 dişe sahiptir ve bu, 13 ile göreceli olarak asaldır.

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. 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 , 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 , 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, olarak isimlendirilir. Bu metod, ilgili tam sayı ${\displaystyle n}$'i 2'den başlayarak ${\displaystyle n}$'in kareköküne kadar olan her tam sayıya bölme işlemi uygular. Bu sayılardan herhangi biri tarafından ${\displaystyle n}$ düzgün bir şekilde bölünebilirse, ${\displaystyle n}$ bileşik olarak tanımlanır; aksi halde asal olarak kabul edilir. ${\displaystyle n}$'in karekökünden büyük tam sayıların kontrol edilmesine gerek yoktur çünkü, ${\displaystyle n=a\cdot b}$ olduğu durumda, ${\displaystyle a}$ ve ${\displaystyle b}$ çarpanlarından biri her zaman ${\displaystyle 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 ${\displaystyle {\sqrt {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

Eratosten kalburu, başlangıçta tüm sayıların işaretsiz (gri) olduğu bir durumla işe koyulur. Ardından, tekrarlanan işlemlerle ilk işaretsiz sayıyı tespit eder, bu sayıyı asal olarak işaretler (koyu renkler) ve bu sayının karesi ile bu sayıdan sonra gelen tüm katlarını bileşik olarak işaretler (daha soluk renkler). 2 (kırmızı), 3 (yeşil), 5 (mavi) ve 7 (sarı) sayılarının katlarının işaretlenmesinin ardından, tablonun kareköküne kadar olan tüm asallar ele alınmış ve işaretlenmemiş kalan sayılar (11, 13 vb.) asal olarak nitelendirilir (magenta).

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 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 ${\displaystyle 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 ${\displaystyle p}$ sayısı için uygulamasında, ${\displaystyle 2}$ ile ${\displaystyle p-2}$ arasından rastgele seçilen bir ${\displaystyle a}$ sayısı üzerinden, ${\displaystyle a^{(p-1)/2}\pm 1}$ ifadesinin ${\displaystyle p}$ tarafından bölünebilirliği aracılığıyla denetlenir. Bu durumda, algoritma pozitif yanıt verir; aksi takdirde, negatif yanıt verir. ${\displaystyle p}$ sayısı gerçekten asal ise, algoritma her zaman pozitif yanıt verir; fakat ${\displaystyle 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 ${\displaystyle n}$ defa yinelenmesi halinde, bir bileşik sayının her seferinde bu deneyden başarıyla geçme ihtimali en çok ${\displaystyle 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 (İ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, gibi deterministik (rasgele olmayan) algoritmaları, ve algoritmanın nihai yanıtını etkilemeyen rastgele seçimler yapan, örneğin bazı çeşitlerindeki gibi kapsar.

Elips eğri metodu, bir sayının asallığı konusunda bir karara vardığında, kolaylıkla doğrulanabilir bir 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, dayanır. Matematiksel olarak zaman karmaşıklığı ispatlanmış 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.

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 ${\displaystyle n}$ ve olasılıksal algoritmalar için gerçekleştirilen testlerin sayısını ifade eden ${\displaystyle k}$ ile ilişkilendirilmiştir. Ek olarak, ${\displaystyle \varepsilon }$, 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 ${\displaystyle n}$ ve ${\displaystyle k}$ girdi parametrelerine bağlı olmaz.

Test	Geliştirildiği yıl	Tip	Çalışma süresi	Notlar	Kaynaklar
	2002	deterministik	${\displaystyle O((\log n)^{6+\varepsilon })}$
	1986	Las Vegas	${\displaystyle O((\log n)^{4+\varepsilon })}$ sezgisel olarak
	1980	Monte Carlo	${\displaystyle O((\log n)^{2+\varepsilon })}$
	1980	Monte Carlo	${\displaystyle O(k(\log n)^{2+\varepsilon })}$	hata olasılığı ${\displaystyle 4^{-k}}$
	1977	Monte Carlo	${\displaystyle O(k(\log n)^{2+\varepsilon })}$	hata olasılığı ${\displaystyle 2^{-k}}$

Ö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, , 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 ((Aralık 2018 (2018-12) itibarıyla)) 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 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.

Tip	Asal sayı	Basamak sayısı	Tarih	Kaşif
	2^82,589,933 − 1	24,862,048	Aralık 7, 2018	Patrick Laroche,
	10,223 × 2^31,172,165 + 1	9,383,761	Ekim 31, 2016	Péter Szabolcs,
	208,003! − 1	1,015,843	Temmuz 2016	Sou Fukui
	1,098,133# − 1	476,311	Mart 2012	James P. Burt,
İkiz asallar	2,996,863,034,895 × 2^1,290,000 ± 1	388,342	Eylül 2016	Tom Greer,

Asal çarpanlara ayırma

Bir bileşik tam sayı olan ${\displaystyle n}$ için, onun bir veya tüm asal çarpanlarını tespit etme işlemi, ${\displaystyle 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 gibi yöntemler, ${\displaystyle n}$ sayısının oldukça küçük çarpanlarını keşfetmek amacıyla kullanılabilir, ve ${\displaystyle n}$ sayısının az büyüklükte çarpanları varsa, 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 ve 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 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 '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. (Ekim 2012 (2012-10) itibarıyla), 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 ${\displaystyle x}$ ve ${\displaystyle y}$ sayılarının çarpımını yapmanın, bu çarpım ${\displaystyle xy}$ sonucu bilindiğinde ${\displaystyle x}$ ve ${\displaystyle 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ı, ${\displaystyle a^{b}{\bmod {c}}}$ şeklinde ifade edilen 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 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 genelleştirerek iyileştirmiştir. Asal sayılar, hash fonksiyonlarının yanı sıra, 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 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. gibi başka bir kontrol toplamı yöntemi, ${\displaystyle 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, ve 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, (İng. No-three-in-line problem) ya da bu noktalar arasından seçilen her üçlü tarafından oluşturulan üçgenlerin 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 , indirgenemez polinomlar üzerine bir test olarak öne çıkmaktadır.

Bağlanmış iki asal düğümün toplamı

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 , 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 iki önemsiz düğümün 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. 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

Cetvel ve pergel yardımıyla düzenli bir beşgenin oluşturulması. Bu işlem, yalnızca 5 sayısının bir Fermat asalı olması sayesinde gerçekleştirilebilmektedir.

Fermat asalıları,

${\displaystyle F_{k}=2^{2^{k}}+1,}$

şeklinde tanımlanan ve ${\displaystyle 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 ${\displaystyle 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 ${\displaystyle n}$-genin cetvel ve pergel kullanılarak çizilebilir olması, ancak ve ancak ${\displaystyle n}$'in tek asal faktörleri (var ise) birbirinden farklı Fermat asalları olduğunda mümkündür. Benzer şekilde, bir düzenli ${\displaystyle n}$-genin çizimi, ${\displaystyle n}$ sayısının asal çarpanlarının 2 veya 3'ün herhangi bir sayıda tekrarı ile birlikte, farklı içeren (potansiyel olarak boş) bir küme olması durumunda, cetvel, pergel ve bir kullanılarak gerçekleştirilebilir.

Herhangi bir dışbükey çokgenin, ${\displaystyle n}$ sayısı bir asal sayının kuvveti olduğunda, eşit alan ve eşit çevreye sahip ${\displaystyle n}$ adet daha küçük dışbükey çokgenlere ayrılması mümkündür; fakat ${\displaystyle 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

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, ve gibi matematiksel yapılar vasıtasıyla alanında da kritik bir öneme sahiptir.

Biyoloji

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 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. (1935) ve (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.

Bilim kurgu 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. 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.'nun 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 = 2² × 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 ${\displaystyle \Rightarrow }$ 5 + 2 = 7
• a = 11 ${\displaystyle \Rightarrow }$ 11 + 2 = 13

Yarı asal örnekler:

• a = 2 ${\displaystyle \Rightarrow }$ 2 + 2 = 4 ${\displaystyle \land }$ 2 × 2 = 4
• a = 7 ${\displaystyle \Rightarrow }$ 7 + 2 = 9 ${\displaystyle \land }$ 3 × 3 = 9

Mersenne asalları

Bir a doğal sayısı (2^a – 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 2^82,589,933 − 1, Mersenne asalıdır.

Mersenne asalları:

• 2² – 1 = 3
• 2⁵ – 1 = 31

Bileşik Mersenne sayıları:

• 2¹¹ – 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

Ayrıca bakınız

• Asal sayıların listesi
• Eratosten kalburu
• (Mersenne asallları)
• Fermat'nın küçük teoremi
• Öklid teoremi
• Goldbach hipotezi
• İkiz asallar
• Yarı asal
• Lasa sayı

(Sayı sistemleri) Karmaşık ${\displaystyle :\;\mathbb {C} }$ Reel ${\displaystyle :\;\mathbb {R} }$ Rasyonel ${\displaystyle :\;\mathbb {Q} }$ Tam sayı ${\displaystyle :\;\mathbb {Z} }$ Doğal ${\displaystyle :\;\mathbb {N} }$ Sıfır: 0 Bir: 1 Asal sayılar Bileşik sayılar Negatif tam sayılar Kesir Devirli ondalık sayı İrrasyonel Cebirsel irrasyonel Aşkın Sanal

Not listesi

1. ^ Aimé Ferrier'in 1951'de bir mekanik hesap makinesi ile keşfettiği 44 basamaklı asal sayı, elektronik bilgisayarların yardımı olmadan keşfedilen en büyük asal sayı olma özelliğini korumaktadır.
2. ^ ^{a b} Beiler'e göre, sayı teorisi uzmanı , asal sayılarla sıkı bir ilişki içinde bulunan , "herhangi bir pratik uygulama ile kendilerini kirletmedikleri için" özellikle benimsemiştir, Katz ise, asal sayıların dağılımı konusundaki çalışmalarıyla tanınan Edmund Landau'nun, matematiğin pratik uygulamalarına derin bir antipati duyduğunu ve bu sebeple, pratik faydaları önceden kanıtlanmış olan geometri gibi alanlardan uzak durduğunu ifade etmektedir.
3. ^ Bu testte, ${\displaystyle \pm 1}$ terimi, ${\displaystyle a}$ sayısının varsayılan asal ${\displaystyle p}$ sayısına modulo bir kare olması durumunda negatif, aksi halde pozitiftir. Genel olarak, ${\displaystyle p}$ asal olmayan değerler için, ${\displaystyle \pm 1}$ terimi negatifleştirilmiş Jacobi sembolü olarak tanımlanır ve bu kullanılarak hesaplanabilir.
4. ^ Aslında, elips eğri asallığını kanıtlama analizlerinin büyük bir kısmı, algoritmaya giriş olarak sunulan sayının önceden bir olasılıksal testten geçtiği varsayımına dayanmaktadır.
5. ^ ${\displaystyle n}$ parametresine bağlı olarak tanımlanan fonksiyonu, ${\displaystyle n}$# şeklinde ifade edilir ve bu fonksiyon, ${\displaystyle n}$ değerine kadar olan tüm asal sayıların çarpımını hesaplar. terimi ise, ${\displaystyle n\pm 1}$ biçimlerinden herhangi birine uygun olan asal sayıları ifade etmek için kullanılır.

Kaynakça

1. ^ ^{a b} "GIMPS Project Discovers Largest Known Prime Number: 2^82,589,933-1". Mersenne Research, Inc. 21 Aralık 2018. 8 Eylül 2023 tarihinde kaynağından . Erişim tarihi: 21 Aralık 2018. 
2. ^ "Arşivlenmiş kopya". 12 Nisan 2020 tarihinde kaynağından . Erişim tarihi: 7 Nisan 2020. 
3. ^ (1997). The Mathematical Olympiad Handbook: An Introduction to Problem Solving Based on the First 32 British Mathematical Olympiads 1965–1996. Oxford University Press. s. 26. ISBN . 
4. ^ Henderson, Anne (2014). Dyslexia, Dyscalculia and Mathematics: A practical guide (2. bas.). Routledge. s. 62. ISBN . 
5. ^ (1960). The Giant Golden Book of Mathematics: Exploring the World of Numbers and Space. Golden Press. s. 16. OCLC 6975809. 
6. ^ Leff, Lawrence S. (2000). Math Workbook for the SAT I. Barron's Educational Series. s. 360. ISBN . 
7. ^ (1978). "Section 2: Unique factorization". Elementary number theory (2. bas.). W.H. Freeman and Co. s. 10. ISBN . 
8. ^ Sierpiński, Wacław (1988). Elementary Theory of Numbers. North-Holland Mathematical Library. 31 (2. bas.). Elsevier. s. 113. ISBN . 
9. ^ ^{a b} (2004). "The great prime number record races". . 51 (4): 414-416. MR 2039814. 
10. ^ (1997). Numbers and Geometry. Undergraduate Texts in Mathematics. Springer. s. 9. ISBN . 
11. ^ Sierpiński, Wacław (1964). A Selection of Problems in the Theory of Numbers. New York: Macmillan. s. 40. MR 0170843. 
12. ^ (2000). "Notations and Conventions". Elementary Methods in Number Theory. Graduate Texts in Mathematics. 195. Springer. ISBN . MR 1732941. 
13. ^ Faticoni, Theodore G. (2012). The Mathematics of Infinity: A Guide to Great Ideas. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. 111 (2.2yayıncı=John Wiley & Sons bas.). s. 44. ISBN . 
14. ^ Bruins, Evert Marie, review in Mathematical Reviews of Gillings, R.J. (1974). "The recto of the Rhind Mathematical Papyrus. How did the ancient Egyptian scribe prepare it?". Archive for History of Exact Sciences. 12 (4). ss. 291-298. doi:10.1007/BF01307175. MR 0497458. 
15. ^ (2010). Mathematics and Its History. Undergraduate Texts in Mathematics (3. bas.). Springer. s. 40. ISBN . 
16. ^ ^{a b} (Aralık 1982). "The Search for Prime Numbers". Scientific American. 247 (6). ss. 136-147. Bibcode:1982SciAm.247f.136P. doi:10.1038/scientificamerican1282-136. JSTOR 24966751. 
17. ^ ^{a b c d} Mollin, Richard A. (2002). "A brief history of factoring and primality testing B. C. (before computers)". Mathematics Magazine. 75 (1). ss. 18-29. doi:10.2307/3219180. JSTOR 3219180. MR 2107288. 
18. ^ O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor Matematik Tarihi arşivi 
19. ^ Sandifer 2007, 8. Fermat's Little Theorem (November 2003), p. 45
20. ^ Sandifer, C. Edward (2014). How Euler Did Even More. Mathematical Association of America. s. 42. ISBN . 
21. ^ Koshy, Thomas (2002). Elementary Number Theory with Applications. Academic Press. s. 369. ISBN . 
22. ^ Yuan, Wang (2002). Goldbach Conjecture. Series In Pure Mathematics (2.2cilt=4 bas.). World Scientific. s. 21. ISBN . 
23. ^ Narkiewicz, Wladyslaw (2000). "1.2 Sum of Reciprocals of Primes". The Development of Prime Number Theory: From Euclid to Hardy and Littlewood. Springer Monographs in Mathematics. Springer. s. 11. ISBN . 
24. ^ Tchebychev, P. (1852). "Asal Sayılar Üzerine Bir Bellek" (PDF). Journal de mathématiques pures et appliquées. Série 1 (Fransızca): 366-390. 6 Kasım 2022 tarihinde kaynağından (PDF). Erişim tarihi: 8 Mart 2024. . (Postulatın kanıtı: 371–382). Ayrıca bkz. Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, cilt 7, sayfa 15–33, 1854
25. ^ (2000). "Asal sayı teoreminin yüzyıllık tarihi". Bambah, R.P.; Dumir, V.C.; Hans-Gill, R.J. (Ed.). Sayı Teorisi. Matematikte Eğilimler. Basel: Birkhäuser. ss. 1-14. MR 1764793. 
26. ^ (1976). "7. Aritmetik Dizilerdeki Asallar Üzerine Dirichlet Teoremi". Analitik Sayı Teorisi'ne Giriş. New York; Heidelberg: Springer-Verlag. ss. 146-156. MR 0434929. 
27. ^ Chabert, Jean-Luc (2012). A History of Algorithms: From the Pebble to the Microchip. Springer. s. 261. ISBN . 
28. ^ Rosen, Kenneth H. (2000). "Theorem 9.20. Proth's Primality Test". Elementary Number Theory and Its Applications (4.4yayıncı=Addison-Wesley bas.). s. 342. ISBN . 
29. ^ Cooper, S. Barry; Hodges, Andrew (2016). The Once and Future Turing. Cambridge University Press. ss. 37-38. ISBN . 
30. ^ Rosen 2000, s. 245.
31. ^ Beiler, Albert H. (1999) [1966]. Recreations in the Theory of Numbers: The Queen of Mathematics Entertains. Dover. s. 2. ISBN . OCLC 444171535. 
32. ^ Katz, Shaul (2004). "Berlin roots – Zionist incarnation: the ethos of pure mathematics and the beginnings of the Einstein Institute of Mathematics at the Hebrew University of Jerusalem". Science in Context. 17 (1–2). ss. 199-234. doi:10.1017/S0269889704000092. MR 2089305. 
33. ^ ^{a b c} Kraft, James S.; Washington, Lawrence C. (2014). Elementary Number Theory. Textbooks in mathematics. CRC Press. s. 7. ISBN . 
34. ^ Bauer, Craig P. (2013). Secret History: The Story of Cryptology. Discrete Mathematics and Its Applications. CRC Press. s. 468. ISBN . 
35. ^ ; (1991). Old and New Unsolved Problems in Plane Geometry and Number Theory. Dolciani mathematical expositions. 11. Cambridge University Press. s. 224. ISBN . 
36. ^ ^{a b} Neale 2017, ss. 18, 47.
37. ^ ^{a b} Caldwell, Chris K.; Reddick, Angela; Xiong, Yeng; Keller, Wilfrid (2012). "The history of the primality of one: a selection of sources". . 15 (9): Article 12.9.8. MR 3005523. 12 Nisan 2018 tarihinde kaynağından . Erişim tarihi: 8 Mart 2024.  For a selection of quotes from and about the ancient Greek positions on the status of 1 and 2, see in particular pp. 3–4. For the Islamic mathematicians, see p. 6.
38. ^ Tarán, Leonardo (1981). Speusippus of Athens: A Critical Study With a Collection of the Related Texts and Commentary. Philosophia Antiqua : A Series of Monographs on Ancient Philosophy. 39. Brill. ss. 35-38. ISBN . 
39. ^ Caldwell et al. 2012, pp. 7–13. See in particular the entries for Stevin, Brancker, Wallis, and Prestet.
40. ^ Caldwell et al. 2012, s. 15.
41. ^ ^{a b c} Caldwell, Chris K.; Xiong, Yeng (2012). "What is the smallest prime?" (PDF). . 15