Don't take life too seriously: it's just a temporary situation

Pseudoprimi primitivi di Somer – Lucas

Sequenze  Teoria dei numeri 

Uno pseudoprimo di Somer – Lucas si dice “primitivo” se è pseudoprimo di Somer – Lucas per un valore di d, ma non per alcun valore superiore di d, dove d = (n – (D | n)) / k, dove qui e nel seguito Simbolo di Jacobi (D | n) indica il simbolo di Jacobi e k è l’indice del primo elemento della sequenza multiplo di n (v. pseudoprimi di Somer – Lucas).

 

Come per gli pseudoprimi di Somer – Lucas, se uno pseudoprimo primitivo di Somer – Lucas rispetto a P, Q, lo è anche rispetto a –P, Q.

 

Nel 2007 Walter Carlip e Lawrence Somer dimostrarono che se Scomposizione di n come prodotto di fattori primi è uno pseudoprimo di Somer – Lucas dispari e i vari pk sono i suoi fattori primi, allora:

  • n è pseudoprimo primitivo di Somer – Lucas se e solo se Condizione necessaria e sufficiente perché n sia pseudoprimo primitivo di Somer – Lucas, dove il minimo comune multiplo va calcolato su tutti i primi che dividono n;

  • n è pseudoprimo primitivo di Somer – Lucas se e solo se n non è uno pseudoprimo di Somer – Lucas per alcun divisore proprio (ossia diverso dal dividendo) di d, per alcuna sequenza con lo stesso valore di D;

  • n è pseudoprimo primitivo di Somer – Lucas se e solo se n è uno pseudoprimo di Somer – Lucas, Condizione necessaria e sufficiente perché n sia pseudoprimo primitivo di Somer – Lucas e b e d sono primi tra loro, dove il minimo comune multiplo va calcolato su tutti i primi che dividono n; inoltre se n non è multiplo di quadrati, è un numero di Carmichael – Lucas se e solo se b = 1;

  • se d = 4m con m dispari, tutti gli pseudoprimi primitivi di Somer – Lucas, tranne un numero finito di eccezioni, sono numeri di Carmichael – Lucas.

 

La tabella seguente mostra gli pseudoprimi primitivi di Somer – Lucas fino a 100 rispetto a P da 1 a 20 e Q da –20 a 20.

Pseudoprimo

(P, Q)

9

(1, –13), (1, –4), (1, 5), (1, 14), (2, –7), (2, 11), (4, –19), (4, –1), (4, 17), (5, –19), (5, –1), (5, 8), (5, 17), (7, –16), (7, 2), (7, 11), (7, 20), (8, –13), (8, 5), (9, –19), (9, –16), (9, –13), (9, –10), (9, –7), (9, –4), (9, –1), (9, 2), (9, 5), (9, 8), (9, 11), (9, 14), (9, 17), (9, 20), (10, –13), (11, –16), (11, –7), (11, 2), (11, 20), (13, –19), (13, –10), (13, –1), (13, 8), (13, 17), (14, –19), (14, –1), (14, 17), (16, –7), (16, 11), (17, –13), (17, –4), (17, 5), (17, 14), (18, –19), (18, –13), (18, –7), (18, –1), (18, 5), (18, 11), (18, 17), (19, –13), (19, –4), (19, 5), (19, 14), (20, –7), (20, 11)

15

(1, –7), (1, 8), (2, –13), (2, 17), (3, –8), (3, 7), (4, –7), (5, –19), (5, –16), (5, –4), (5, –1), (5, 11), (5, 14), (6, –17), (6, 13), (7, –13), (7, 2), (7, 17), (8, –13), (8, 17), (9, –17), (9, –2), (9, 13), (10, –19), (10, –1), (10, 11), (11, –7), (11, 8), (12, 7), (13, 2), (13, 17), (15, –19), (15, –17), (15, –16), (15, –13), (15, –8), (15, –7), (15, –4), (15, –2), (15, –1), (15, 2), (15, 7), (15, 8), (15, 11), (15, 13), (15, 14), (15, 17), (16, –7), (17, –13), (17, 2), (18, 7), (19, –7), (19, 8), (20, –19), (20, –1), (20, 11)

21

(1, –10), (1, 11), (2, –19), (3, –20), (3, 1), (4, –13), (5, –19), (5, 2), (6, –17), (7, –19), (7, –13), (7, –10), (7, 2), (7, 8), (7, 11), (8, 11), (9, –5), (9, 16), (10, –13), (11, –13), (11, 8), (12, –5), (13, –10), (13, 11), (14, –19), (14, –13), (14, 11), (15, –17), (15, 4), (16, –19), (17, –13), (17, 8), (18, 1), (19, 2), (20, 11)

25

(1, –12), (1, –8), (1, 17), (2, –7), (3, –8), (4, –17), (4, –3), (6, –13), (6, –7), (7, –17), (7, 8), (7, 12), (8, 7), (8, 13), (9, 2), (11, –18), (11, –2), (11, 7), (13, –2), (16, 3), (17, –18), (17, –12), (17, 13), (18, –17), (18, –13), (19, –13), (19, 12), (19, 18)

27

(1, –13), (1, 14), (4, –19), (5, –1), (7, –16), (7, 11), (8, 5), (11, –7), (11, 20), (13, –10), (13, 17), (14, 17), (16, –7), (17, –4), (19, 5), (20, 11)

33

(1, –16), (1, 17), (3, 10), (5, –4), (6, 7), (7, 8), (8, –1), (9, –20), (9, 13), (10, 17), (11, –19), (11, –13), (11, –10), (11, –7), (11, 5), (11, 14), (11, 20), (12, –5), (13, 2), (14, –1), (15, –14), (15, 19), (17, –4), (18, 19), (19, –1)

35

(1, –17), (1, –13), (1, –9), (1, 12), (1, 18), (2, –17), (2, –1), (2, 13), (3, –13), (3, –11), (4, 17), (5, –19), (5, –17), (5, –8), (5, –3), (5, 9), (5, 13), (5, 16), (5, 18), (6, –17), (6, –13), (7, –16), (7, –13), (7, –11), (7, –3), (7, –2), (7, –1), (7, 2), (7, 3), (7, 13), (7, 19), (8, –3), (8, 19), (9, –8), (10, 1), (10, 3), (10, 17), (11, –18), (11, –4), (11, 2), (11, 8), (11, 17), (12, –17), (12, –1), (12, 13), (13, –16), (13, –3), (13, –2), (13, 8), (13, 19), (14, –17), (14, –9), (14, 17), (15, –13), (15, –2), (15, 4), (15, 8), (15, 11), (16, –3), (17, –13), (17, –12), (17, –11), (17, 3), (18, –13), (18, –11), (19, –12), (19, –8), (19, –3), (19, 6), (20, –13), (20, 11)

39

(1, –19), (1, 20), (3, –2), (5, –7), (7, 5), (8, –7), (9, –5), (10, 11), (11, 2), (12, 7), (13, –16), (13, –10), (13, –4), (13, –1), (13, 14), (13, 17), (14, –19), (15, –11), (16, 11), (17, 8), (18, 19), (19, 5)

45

(5, –19), (5, –1), (7, 2), (8, –13), (9, –17), (9, –7), (9, –2), (9, 8), (9, 13), (11, –7), (13, 17), (16, –7), (17, –13), (18, –13), (18, 7), (18, 17), (20, 11)

49

(1, –16), (1, –4), (1, 6), (2, –15), (4, –15), (4, –11), (5, –8), (5, –2), (8, –11), (8, 5), (9, –4), (10, 17), (11, 6), (12, –1), (13, –9), (13, 10), (16, 5), (16, 17), (17, –18), (17, 20), (19, 6), (19, 10), (20, –1), (20, 17), (20, 19)

51

(3, 13), (5, –13), (6, 1), (7, –1), (8, –19), (9, –2), (10, –1), (11, –16), (13, 8), (15, 19), (17, –19), (17, –16), (17, –13), (17, –4), (17, –1), (17, 2), (17, 8), (19, 2)

55

(1, –18), (1, 12), (2, –17), (2, –7), (3, –2), (3, 14), (4, –13), (5, –8), (5, –4), (5, 3), (5, 12), (6, 1), (7, –17), (7, –3), (7, –2), (7, 9), (8, 3), (9, 13), (9, 16), (10, –7), (11, –19), (11, –18), (11, –17), (11, –13), (11, –8), (11, –7), (11, –2), (11, 1), (11, 3), (11, 12), (11, 16), (12, –7), (12, 17), (13, –17), (13, –7), (13, –6), (13, 2), (14, –19), (14, –13), (15, –17), (15, –14), (15, –13), (15, –2), (15, 19), (16, 1), (17, 3), (17, 7), (18, –17), (19, –13), (19, –12), (19, –8), (20, –17), (20, –9), (20, –7)

57

(3, –5), (5, –16), (7, –4), (10, –7), (13, –1), (15, –11), (17, 2), (19, –13), (19, –10), (19, 5), (19, 11), (19, 17), (19, 20)

63

(1, –4), (4, –1), (5, 17), (9, –16), (9, –11), (9, –4), (9, –2), (9, 5), (9, 10), (9, 17), (9, 19), (11, –16), (11, 20), (13, –1), (13, 17), (17, 5), (18, –1), (18, 5), (18, 13), (18, 19), (19, –4), (19, 5)

65

(1, –4), (3, –17), (4, 1), (5, 6), (5, 12), (5, 17), (5, 19), (7, –8), (7, –1), (9, 1), (9, 8), (10, –17), (10, 3), (10, 11), (11, –3), (11, 17), (12, –17), (12, 7), (13, –17), (13, –16), (13, –12), (13, –3), (13, –1), (13, 3), (13, 4), (13, 9), (13, 12), (13, 14), (13, 17), (15, –11), (15, 17), (17, –18), (17, –12), (17, 3), (17, 14), (19, –14), (19, –3), (19, 12), (19, 18), (20, –3)

69

(3, 16), (6, –5), (7, –10), (9, –17), (10, –19), (13, –19), (15, –14), (18, 1), (19, 8), (20, –7)

75

(3, –8), (7, –13), (19, –7)

77

(1, 12), (1, 15), (2, –17), (3, –19), (4, 9), (5, –8), (6, 1), (7, –3), (7, –2), (7, 5), (7, 8), (7, 20), (9, –17), (9, 2), (11, –19), (11, –18), (11, –13), (11, –6), (11, 1), (11, 3), (11, 9), (11, 15), (11, 16), (12, –5), (13, –6), (13, 5), (14, 3), (15, –13), (15, –2), (17, 3), (19, –12), (19, –8), (19, 20)

81

(7, –16), (11, 20), (14, 17)

85

(1, 6), (4, 11), (5, –3), (5, 4), (5, 8), (7, –18), (7, –12), (7, –2), (8, –7), (8, 13), (9, –2), (10, –1), (11, 2), (11, 12), (11, 18), (12, –13), (13, –6), (14, 13), (15, –13), (15, 7), (15, 19), (17, –18), (17, –13), (17, –12), (17, –11), (17, –8), (17, –7), (17, –6), (17, 2), (17, 3), (17, 14), (18, –11), (19, –13), (19, 7), (20, 3)

87

(3, 19), (6, –11), (7, –19), (11, 17), (14, 11), (17, 14)

91

(2, –3), (3, –4), (3, 16), (4, 3), (5, –1), (5, 4), (7, –16), (7, –1), (7, 10), (7, 12), (7, 18), (8, –9), (9, –5), (10, 3), (11, 10), (11, 15), (11, 17), (12, –19), (12, –17), (13, –17), (13, –16), (13, –10), (13, –9), (13, –3), (13, 1), (13, 4), (13, 12), (14, –19), (15, –16), (17, –12), (17, 3), (17, 8), (18, 17), (19, –1)

93

(3, –11), (11, 14), (14, 5), (15, 4), (17, 5), (18, 7)

95

(1, –18), (3, –16), (4, –3), (5, –17), (5, –16), (5, –13), (5, 2), (6, 17), (9, –7), (11, –4), (11, 7), (11, 13), (13, –7), (13, –2), (14, –13), (14, 3), (15, –11), (17, 2), (17, 14), (18, 13), (19, –12), (19, –9), (19, –4), (19, –2), (19, 2), (19, 12), (20, –9), (20, 13)

99

(9, –20), (9, 2), (9, 13), (11, –7), (11, 20), (14, –1), (17, –4), (18, 19)

 

Contattami

Potete contattarmi al seguente indirizzo bitman[at]bitman.name per suggerimenti o segnalazioni d'errori relativi a questo articolo.