Primorial , primorial ( eng. Primorial ) - a számelméletben természetes számok sorozata feletti függvény , hasonlóan a faktoriális függvényhez, azzal a különbséggel, hogy az elsődleges egy adottnál kisebb vagy azzal egyenlő prímszámok szekvenciális szorzata , míg A faktoriális egy adott számnál kisebb vagy azzal egyenlő természetes számok szekvenciális szorzata.
Az "elsődleges" kifejezést Harvey Dubner amerikai mérnök és matematikus vezette be a tudományos forgalomba [1] .
Az n - edik p n prímhez a p n # elsődleges definíciója az első n prímszám szorzata [2] [3] :
ahol p k a k -edik prímszám.
Például a p 5 # az első 5 prímszám szorzatát jelöli:
Tehát az első hat primorial a következő:
1, 2, 6, 30, 210, 2310 (az OEIS A002110 sorozata a p 0 # = 1- et is tartalmazza üres szorzatként ).Aszimptotikusan a p n # őselemek a szerint nőnek
hol van az "o" jelölés kicsi [3] .
Általánosságban elmondható, hogy egy n pozitív egész szám esetén az n # elsődleges definíciója az n - nél kisebb vagy azzal egyenlő prímszámok szorzata [2] [4] :
ahol a prímek eloszlásfüggvénye ( A000720 sorozat az OEIS -ben ), amely megadja a prímek számát ≤ n , ami ekvivalens
Például a 12# prímszámok szorzata, amelyek mindegyike ≤ 12:
Tehát így lehet kiszámolni
Tekintsük az első 12 ősrégiót:
1, 2, 6, 6, 30, 30, 210, 210, 210, 210, 2310, 2310.Látjuk, hogy az összetett számok esetében ennek a sorozatnak minden tagja egyszerűen megduplázza az előzőt. A fenti példában 12# = p 5 # = 11#, mivel a 12 egy összetett szám.
Az n # természetes logaritmus az első vagy -ként írt Csebisev-függvény , amely megközelíti a lineáris n -t nagy n érték esetén [ 5] .
Primorials n # szerint nő
A prímszámok fontos szerepet játszanak a prímszámok számtani sorozatában a prímszámok megtalálásában . Például a 2236133941 + 23# számok összeadása olyan prímszámot eredményez, amely tizenhárom prímből álló sorozatot kezd, amelyet 23# egymás utáni hozzáadásával kaphat meg, és az 5136341251 számmal végződik. A 23# az aritmetika általános különbsége is. tizenöt és tizenhat prímszám progressziója.
Minden többrészes szám ábrázolható primoriálisok szorzataként (például 360 = 2 · 6 · 30) [6] .
Minden primoriális négyzetmentes , és mindegyiknek van prímosztója az őselemnél kisebb számból. Minden n primoriálisra az arány kisebb, mint bármely egész számra, ahol az Euler-függvény .
Mindegyik primorial egy gyengén totient szám [7] .
Az egynél nagyobb pozitív számok Riemann zéta függvénye kifejezhető [8] az elsődleges és a Jordan függvény segítségével :
n | n # | p n | p n # |
---|---|---|---|
0 | egy | nem létezik | nem létezik |
egy | egy | 2 | 2 |
2 | 2 | 3 | 6 |
3 | 6 | 5 | harminc |
négy | 6 | 7 | 210 |
5 | harminc | tizenegy | 2310 |
6 | harminc | 13 | 30030 |
7 | 210 | 17 | 510510 |
nyolc | 210 | 19 | 9699690 |
9 | 210 | 23 | 223092870 |
tíz | 210 | 29 | 6469693230 |
tizenegy | 2310 | 31 | 200560490130 |
12 | 2310 | 37 | 7420738134810 |
13 | 30030 | 41 | 304250263527210 |
tizennégy | 30030 | 43 | 13082761331670030 |
tizenöt | 30030 | 47 | 614889782588491410 |
16 | 30030 | 53 | 32589158477190044730 |
17 | 510510 | 59 | 1922760350154212639070 |
tizennyolc | 510510 | 61 | 117288381359406970983270 |
19 | 9699690 | 67 | 7858321551080267055879090 |
húsz | 9699690 | 71 | 557940830126698960967415390 |
Az n szám alkotója az őstaggal ellentétben az n- nél kisebb összetett számok szorzata . Az összetett egy szám faktoriálisának és primoriálisának arányával egyenlő: . Az első tizenöt zeneszerző (az ismétlődő értékek kivételével) 1, 4, 24, 192, 1728, 17280, 207360, 2903040, 43545600, 696729600, 12541132800, 250822656000, 52672776000 , 1155888006200 000 .