%I #13 Oct 16 2019 06:19:15
%S 1,3,7,35,104,143,371,385,2233,6149,16555,17081
%N Numbers k such that A317993(k) sets a new record; numbers k such that (Z/mZ)* = (Z/kZ)* has more solutions for m than all k' < k, where (Z/mZ)* is the multiplicative group of integers modulo m.
%C It seems that this sequence is infinite (i.e., A317993 is unbounded), but for each n, to really construct a number k such that A317993(k) > A317993(a(n)) seems impossible.
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Multiplicative_group_of_integers_modulo_n ">Multiplicative group of integers modulo n</a>
%e For k = 104: (Z/mZ)* = (Z/104Z)* has 8 solutions, namely m = 104, 105, 112, 140, 144, 156, 180, 210; for all k' < 104, (Z/mZ)* = (Z/k'Z)* has fewer than 8 solutions. So 104 is a term.
%o (PARI) b(n) = if(abs(n)==1||abs(n)==2, 2, my(i=0, k=eulerphi(n), N=floor(exp(Euler)*k*log(log(k^2))+2.5*k/log(log(k^2)))); for(j=k+1, N, if(znstar(j)[2]==znstar(n)[2], i++)); i)
%o my(t=0); for(k=1, 20000, if(b(k)>t, print1(k, ", "); t=b(k))) \\ Warning: program runs for about 30 min
%Y Cf. A317993, A328421.
%K nonn,hard,more
%O 1,2
%A _Jianing Song_, Oct 14 2019
|