OFFSET
1,1
COMMENTS
Primes 4*k+3 where half of the primitive roots are <= (p-1)/2.
The sequence is probably infinite.
Primes of the form 4m+1 always have as many primitive roots in [0,p/2] as in [p/2,p] (see A172480).
MAPLE
with(numtheory): p:=3: while p<1000 do if(p mod 4 = 3)then b1:=0: b2:=0: m:=primroot(p): while not m=FAIL do if(m<p/2)then b1:=b1+1: else b2:=b2+1: fi: m:=primroot(m, p): od: if(b1=b2)then printf("%d, ", p): fi: fi: p:=nextprime(p): od: # Nathaniel Johnston, Jun 26 2011
MATHEMATICA
<< NumberTheory`NumberTheoryFunctions` m = 2; s = {}; While[m < 10000, m++; p = Prime[m]; If[Mod[p, 4] == 1, , q = (p - 1)/2; g = PrimitiveRoot[p]; se = Select[Range[p - 1], GCD[ #, p - 1] == 1 &]; e = Length[se]; j = 0; t = 0; While[j < e, j++; h = PowerMod[g, se[[j]], p]; If[h <= q, t = t + 1, ] ]; If[e == 2t, s = {s, p}, ] ] ]; s = Flatten[s]
PROG
(PARI) isA172490(p)=isprime(p)&&p%4==3&&sum(n=0, p\2, gcd(n, p)==1&&znorder(Mod(n, p))==p-1)==sum(n=p-p\2, p, gcd(n, p)==1&&znorder(Mod(n, p))==p-1) \\ Charles R Greathouse IV, Jun 27 2011
CROSSREFS
KEYWORD
hard,nonn
AUTHOR
Emmanuel Vantieghem, Feb 05 2010
EXTENSIONS
More terms from Robert Israel, Nov 23 2019
STATUS
approved