En nombroteorio, **prima *k*-opo** estas orda aro de valoroj prezentanta ŝablonon de primoj. La *k*-opo estas prezentata kiel *(a1, a2, ... , ak)*, por prezenti ĉiun aro de valoroj *(n+a1, n+a2, ... , n+ak)* por ĉiuj valoroj de *n*. En praktiko estas kutime *a1=0*. Prima *k*-opo estas tiu, kiu povas esti uzata por prezenti ŝablonon de primoj.

Kelkaj el la plej mallongaj *k*-opoj estas:

| Opo | Kutima nomo |
| --- | --- |
| (0, 2) | Ĝemelaj primoj |
| (0, 4) | Kuzaj primoj |
| (0, 6) | Sensaj primoj |
| (0, 2, 6), (0, 4, 6) | Prima trio |
| (0, 6, 12) | Sensa prima trio |
| (0, 2, 6, 8) | Prima kvaropo |
| (0, 6, 12, 18) | Sensa prima kvaropo |
| (0, 2, 6, 8, 12), (0, 4, 6, 10, 12) | Prima kvinopo |
| (0, 4, 6, 10, 12, 16) | Prima sesopo |

Prima *k*-opo estas iam nomata kiel **konsentebla** *k*-opo. En ordo por *k*-opo estu konsentebla, ĝi devas ne inkluzivi la plenan restaĵon modula (kio estas ĉiuj valorojn ekde 0 ĝis *p-1*) de ĉiu primo *p* malpli ol aŭ egala al *k*. Ekzemple, la plena modula restaĵo de *p=3* estas 0, 1 kaj 2, tiel la nombroj en *k*-opo module 3 devas inkluzivi maksimume duon el ĉi tiuj tri valoroj, por ke la opo estu konsentebla. Alie la rezultantaj nombroj devas ĉiam inkluzivi nombron, kiu dividiĝas je 3 kaj pro tio ne estas primo, krom ke se ĝi ne estas 3 mem. Kvankam (0, 2, 4) estas ne konsentebla, ĝi produktas la solan aron de primoj, (3, 5, 7). Iuj nekonsenteblaj *k*-opoj havas pli ol unu tute priman solvaĵon. La plej malgranda el ĉi tiuj estas (0, 2, 8, 14, 26), kiu havas du solvaĵojn: (3, 5, 11, 17, 29) kaj (5, 7, 13, 19, 31).

Primaj konstelacioj
-------------------

Prima *k*-opo kun la plej malgranda ebla maksimuma valoro *s=maxi=1...k ai* estas **prima konstelacio**. Por ĉiuj *n≥k* ĉi tio ĉiam produktas *k* najbarajn primojn.

La unuaj kelkaj primaj konstelacioj estas:

| *k* | *s* | Konstelacio | Plej malgranda aro de primoj |
| --- | --- | --- | --- |
| 2 | 2 | (0, 2) | (3, 5) |
| 3 | 6 | (0, 2, 6)  (0, 4, 6) | (5, 7, 11)  (7, 11, 13) |
| 4 | 8 | (0, 2, 6, 8) | (5, 7, 11, 13) |
| 5 | 12 | (0, 2, 6, 8, 12)  (0, 4, 6, 10, 12) | (5, 7, 11, 13, 17)  (7, 11, 13, 17, 19) |
| 6 | 16 | (0, 4, 6, 10, 12, 16) | (7, 11, 13, 17, 19, 23) |
| 7 | 20 | (0, 2, 6, 8, 12, 18, 20)  (0, 2, 8, 12, 14, 18, 20) | (11, 13, 17, 19, 23, 29, 31)  (5639, 5641, 5647, 5651, 5653, 5657, 5659) |
| 8 | 26 | (0, 2, 6, 8, 12, 18, 20, 26)  (0, 2, 6, 12, 14, 20, 24, 26)  (0, 6, 8, 14, 18, 20, 24, 26) | (11, 13, 17, 19, 23, 29, 31, 37)  (17, 19, 23, 29, 31, 37, 41, 43)  (88793, 88799, 88801, 88807, 88811, 88813, 88817, 88819) |
| 9 | 30 | (0, 2, 6, 8, 12, 18, 20, 26, 30)  (0, 4, 6, 10, 16, 18, 24, 28, 30)  (0, 2, 6, 12, 14, 20, 24, 26, 30)  (0, 4, 10, 12, 18, 22, 24, 28, 30) | (11, 13, 17, 19, 23, 29, 31, 37, 41)  (13, 17, 19, 23, 29, 31, 37, 41, 43)  (17, 19, 23, 29, 31, 37, 41, 43, 47)  (88789, 88793, 88799, 88801, 88807, 88811, 88813, 88817, 88819) |

La unua konjekto de Hardy-Littlewood antaŭdiras ke la asimptota frekvenco de ĉiu prima konstelacio povas esti kalkulita. Dume la konjekto estas nepruvita, sed ĝi estas konsiderata verŝajne al esti vera.

La dua konjekto de Hardy-Littlewood koncernas la kvanton de primoj en intervaloj kaj tiel aperon de primaj konstelacioj. La du konjektoj estas nekonsekvencaj unu kun la alia (vidu pli detale en artikolo pri la dua konjekto). Tiel la dua konjekto estas konsiderata verŝajne al esti malvera.

Primaj aritmetikaj vicoj
------------------------

Prima *k*-opo de formo *(0, n, 2n, ...)* estas la **prima aritmetika vico**.

Eksteraj ligiloj
----------------

* Chris Caldwell, "La Prima Glosaro: k-opo" je La Primaj Paĝoj
* Eric W. Weisstein, *Prima Aritmetika Progresio* en MathWorld.
* Eric W. Weisstein, *Prima Konstelacio* en MathWorld.
* Tony Forbes, Plej malgrandaj primaj k-konstelacioj Arkivigite je 2009-02-12 per la retarkivo Wayback Machine.