Primoj en aritmetika vico

En nombroteorio, **primoj en aritmetika vico** estas minimume tri primoj kiuj estas najbaraj eroj de aritmetika vico, ekzemple la primoj {3, 7, 11} (ne gravas ke ankaŭ 5 estas primo).

Iam (ne en ĉi tiu artikolo) la termino povas ankaŭ esti uzata por primoj kiuj apartenas al donita aritmetika vico sed estas ne bezone najbaraj ĝiaj eroj. Teoremo de Dirichlet pri aritmetikaj vicoj diras, ke, se *a* kaj *b* estas reciproke primaj, tiam la aritmetika vico *an+b* enhavas nefinie multajn primojn. Se *a=1*, ĉi tio respektivas al ekzisto de nefinie multaj primoj entute.

Vico de *k* primoj en aritmetika vico (kutime *k≥3*) estas signifata kiel '*AP-*k*** aŭ **PAP-*k'''*. Ĉiu AP-*k* povas esti skribita kiel *k* primoj de formo *an+b*, por fiksitaj entjeroj *a* (la komuna diferenco) kaj *b*, kaj *k* najbaraj entjeraj valoroj de *n*, *n = 0, ..., (k-1)*. Tiam *b* estas la unua primo en la aritmetika vico.

## Propraĵoj 
Por ĉiu donita entjero *k*, ekzistas vicoj de primoj en aritmetika vico de longo *k*, kio komence estis konjekto kaj kio estis pruvita de Ben Green kaj Terence Tao en 2004. Ĉi tio estas ekzista teoremo kaj ne diras kiel trovi la progresiojn. 

Sekvas tuj ke estas malfinie multaj AP-*k* por ĉiu *k*.

: *Pruvo*: Supozu ke estas nur *n* vicoj AP-*k*. Sed ekzistas ankaŭ vico AP-*(n+1)k*, kiu povas esti distranĉita je *n+1* malsamaj AP-*k*. Fakte, sufiĉas ekzisto de AP-*(n+k)* el kiu povas esti prenitaj *n+1* malsamaj kvankam interkovrantaj AP-*k*.

Ne ekzistas malfinie longa vico de primoj en aritmetika vico. Por ĉiu vico *an+b*, la ero por *n=b* estas komponigita *ab+b=(a+1)b*.

Se AP-*k* ne komenciĝas per la primo *k*, tiam la komuna diferenco estas oblo de primofaktorialo de *k*, *k# = 2·3·5·...·j*, kie *j* estas la plej granda primo ne pli granda ol *k*.

: *Pruvo*: Estu la AP-*k* kiel *an+b* por *k* najbaraj valoroj de *n*. Se primo *p* ne dividas *a*, tiam modula aritmetiko donas ke *p* dividas ĉiun *p*-an eron de la aritmetika vico. Se la eroj de AP estas primoj por *k* najbaraj valoroj, tiam *a* devas pro tio esti dividebla per ĉiuj primoj *p≤k*.

Ĉi tiu ankaŭ montras ke AP kun komuna diferenco *a* ne povas enhavi pli multajn primojn ol valoro de la plej malgranda primo kiu ne dividas *a*.

Se *k* estas primo tiam AP-*k* povas komenciĝi kun *k* kaj havi komunan diferencon kiu estas nur oblo de *(k-1)#* anstataŭ *k#*. Ekzemple estas la AP-3 kun primoj {3, 5, 7} kaj komuna diferenco 2# = 2, aŭ la AP-5 kun primoj {5, 11, 17, 23, 29} kaj komuna diferenco 4# = 6. Estas konjektite ke ĉi tiaj ekzemploj ekzistas por ĉiu primo *k*. Kiel en 2008, la plej granda primo por kiu ĉi tio estas konfirmita estas *k=17*, kun AP-17: *17 + 11387819007325752·13#·n*, por *n= 0, ..., 16*, trovita de Phil Carmody en 2001.

Sekvas el larĝe kreditaj konjektoj, konjekto de Dickson kaj iuj variantoj de la prima k-opa konjekto, ke se *p>2* estas la plej malgranda primo ne dividanta *a*, tiam estas malfinie multaj AP-*(p-1)* kun komuna diferenco *a*. Ekzemple, 5 estas la plej malgranda primo ne dividanta 6, tiel estas atendite ke estas malfinie multaj AP-4 kun komuna diferenco 6, kiu estas nomata kiel sensa prima kvaropo. Se *a=2*, *p=3*, ĝi estas la ĝemela prima konjekto, kun "AP-2" de 2 primoj *(b, b+2)*.

## Plej grandaj sciataj primoj en AP 
Kiel en majo de 2008, la plej longa sciata AP-*k* estas AP-25, trovita de Raanan Chermoni kaj Jaroslaw Wroblewski

:6171054912832631 + 366384·23#·*n*, por *n=0, ..., 24* (23# = 223092870)

La serĉo estis per distribuita komputado kaj prenis proksimume 57 jarojn sur procesoro Athlon 64.

La pli frua rikordo estis AP-24 trovita de Jaroslaw Wroblewski en 2007 :

:468395662504823 + 205619·23#·*n*, por *n = 0, ..., 23*

Notu, ke la plej granda sciata AP-*k* povas esti la fino de AP-*(k+1)*. Iuj serĉistoj elektas unue komputi grandan aron de primoj de formo *c·(p#)+1* kun fiksita *p*, kaj tiam serĉi por AP inter la valoroj de *c* kiuj donas primoj. Ĉi tiu estas reflektita en la esprimoj por iu rikordoj. La esprimoj povas facile esti reskribitaj kiel *an+b*.

Ĉi tio estas la plej grandaj sciataj AP-*k* kiel en majo de 2008 Ĉi tiu CPAP-10 havas la plej malgrandan ebla komunan diferencon 7# = 210.

Se CPAP-11 ekzistas tiam ĝi devas havi komunan diferencon kiu estas oblo de 11# = 2310. La diferenco inter la unua kaj lasta de la 11 primoj devus pro tio esti oblo de 23100. La bezono havi minimume 23090 komponigitajn nombrojn inter la 11 primoj faras travadon de CPAP-11 ege malfacilan. Dubner kaj Zimmermann pritaksis ke ĝi devas esti je minimume 1012 fojoj pli malfacila ol trovado de CPAP-10.

## Plej grandaj sciataj primoj en CPAP 
Ĉi tio estas la plej grandaj sciataj CPAP-*k* kiel en decembro de 2007

*xd* estas *d*-cifera nombro uzita en unu el la pli supre donitaj nombroj:

: *x*77 = 54538241683887582 668189703590110659057865934764 604873840781923513421103495579
: *x*87 = 279872509634587186332039135 414046330728180994209092523040 703520843811319320930380677867
: *x*99 = 158794709 618074229409987416174386945728 371523590452459863667791687440 944143462160821328735143564091
: *x*253 = 1617599298905 320471304802538356587398499979
:: 836255156671030473751281181199 911312259550734373874520536148
:: 519300924327947507674746679858 816780182478724431966587843672
:: 408773388445788142740274329621 811879827349575247851843514012
:: 399313201211101277175684636727

## Vidu ankaŭ 
* Aritmetika vico
* Prima *k*-opo

## Referencoj 
* *La prima glosaro: aritmetika vico*, *La supra 20: aritmetikaj progresioj de Primoj* kaj *La supra 20: najbaraj primoj en aritmetika progresio*, en la *Primaj Paĝoj'' de Chrita Caldwell
* 

Kategorio:Primoj