# Primoriyel
Primoriyel (İngilizce (=asal)'dan), matematikte ve bilhassa sayı teorisinde doğal sayılardan doğal sayılara tanımlanmış faktöriyele benzer şekilde art arda pozitif tam sayıları çarpacağı yerde sadece asal sayıları çarpar.
Birbiriyle çelişen iki tanımda kullanılan değişkenin manası farklı yorumlanmaktadır: birincisi değişkeni asal sayıların sıralaması olarak yorumlar, dolayısıyla monoton artar. İkinci yorumu değişkeni birbiriyle çarpılacak asal sayılara işaret eder ve dolayısıyla her bileşik sayı için bir önceki değerle aynı değeri alır. Bu maddenin devamında ikinci tanım kullanılacaktır.
Primoriyel adı, bu fonksiyonla "faktöriyel" arasındaki analojiye işaret eden Harvey Dubner tarafından verilmiştir; faktöryel nasıl faktörlere ilgiliyse primoriyel de asal sayılarla (İng. ' veya kısaca ') benzer şekilde ilgilidir.


## Asal sayılar için tanımı.
"n"'inci asal sayı "pn" için primoriyel "pn#", ilk "n" asalın çarpımı olarak tarif edilir:p_n# = ∏_k=1^n p_k
Burada "pk" "k"'inci asal sayıdır.
Mesela "p5#", ilk beş asalın çarpımını gösterir:
p_5# = 2 ×3 ×5 ×7 ×11 = 2310.
İlk altı primoriyel "pn#" are:
1, 2, 6, 30, 210, 2310. (OEIS'de dizisi)
Diziye "p0#" = 1 de boş çarpım olarak eklenmiştir.
Asimtotik olarak primoriyel "pn#",
p_n# = e^(1 + o(1)) n logn,
fonksiyonuna göre artarlar. Burada o(·) küçük o gösterimidir.


## Doğal sayılar için tanımı.
Genelde "n" pozitif tam sayısı için "n#" ≤ "n" olan bütün asalların çarpımı olarak da tarif edilebilir:n# = ∏_i=1^π(n) p_i = p_π(n)# 
Burada π(n) asal sayan fonksiyon (OEIS'de dizisi) olup ≤ "n" olan asal sayıların kaç tane olduğunu haber verir.
Bu tanım, aynı zamanda şuna da eşittir.
n# = 
 1 amp; if n = 1 
 n ×((n-1)#) amp; if n gt; 1 n is prime 
 (n-1)# amp; if n gt; 1 n is composite.
Mesela 12#, 12'den küçük asal sayıların çarpımıdır:
12# = 2 ×3 ×5 ×7 ×11= 2310.
π(12)=5 olduğundan bu değer
12# = p_π(12)# = p_5# = 2310
şeklinde hesaplanır.
Bu tanıma göre ilk 12 primoriyel "n"# şöyledir:
1, 2, 6, 6, 30, 30, 210, 210, 210, 210, 2310, 2310.
Görüldüğü gibi bileşik "n" için her terim n#, tarifinde de görüldüğü gibi bir önceki terimin eşidir ("n" − 1)#. Yukarıdaki örnekte 12 bileşik sayı olduğundan 12# = "p"5# = 11#'dir.
"n"#'nin tabii logaritması birinci Çebişev fonksiyonu olup θ(n) veya (n) şeklinde yazılır. Bu fonksiyon büyük "n" 'ler için lineer "n" 'ye yaklaşır.
"n"# primoriyeli
ln(n#) ∼n.
fonksiyonuna göre büyür.
Bütün bilinen asal sayıları çarpma fikri asal sayıların sonsuzluğu ile ilgili bazı ispatlarda geçmekte olup başka bir asal sayının varlığını türetmek için kullanılır.


## Özellikler ve uygulamalar.
Primoriyeller, aritmetik artışlarda asal sayıları aramada bir rol oynar. Mesela 2236133941 + 23# bir asal sayıdır ve on üç asal sayıdan oluşan bir dizinin başıdır. Bu dizi, yukarıdaki asal sayıya 23# eklemekle elde edilir, on üçüncü ve sonuncu elemanı da 5136341251'dir. 23#, aynı zamanda on beş ve on altı asalın aritmetik progresyonunda ortak farkı teşkil eder.
Her yüksek derecede bileşik sayı primoriyellerin çarpımıdır (mesela 360 = 2·6·30).
Primoriyeller karesiz tam sayılar olup kendilerinden küçük herhangi bir sayıdan daha fazla farklı asal faktörleri vardır. Her primoriyel "n" için ϕ(n)/n kesri, kendisinden küçük her tam sayı için olan kesirden küçüktür. Burada ϕ Euler'in totient fonksiyonudur.


## Görünüm.
Birden büyük pozitif tam sayılar için Riemann zeta fonksiyonu, primorieller ve J_k(n) Jordan'ın totient fonksiyonunu kullanarak hesaplanabilir:
 ζ(k)=2^k/2^k-1+∑_r=2^∞(p_r-1#)^k/J_k(p_r#), k=2,3,…