login
Smallest m in range 1..phi(2n+1) such that 12^m == 1 mod 2n+1, or 0 if no such number exists.
11

%I #11 Jun 04 2020 06:36:51

%S 0,0,4,6,0,1,2,0,16,6,0,11,20,0,4,30,0,12,9,0,40,42,0,23,42,0,52,4,0,

%T 29,15,0,4,66,0,35,36,0,6,26,0,41,16,0,8,6,0,12,16,0,100,102,0,53,54,

%U 0,112,44,0,48,11,0,100,126,0,65,6,0,136,138,0,2,4,0,148

%N Smallest m in range 1..phi(2n+1) such that 12^m == 1 mod 2n+1, or 0 if no such number exists.

%C a(n)=2*n if 2*n+1 is in A019340, otherwise a(n)<2*n. - _Robert Israel_, Apr 17 2019

%H Robert Israel, <a href="/A070683/b070683.txt">Table of n, a(n) for n = 0..10000</a>

%p f:= proc(n)

%p if n mod 3 = 1 then 0 else numtheory:-order(12,2*n+1) fi

%p end proc:

%p 0, seq(f(n),n=1..100); # _Robert Israel_, Apr 16 2019

%t a[n_] := Module[{s}, s = SelectFirst[Range[EulerPhi[2n+1]], PowerMod[12, #, 2n+1] == 1&]; If[s === Missing["NotFound"], 0, s]];

%t a /@ Range[0, 100] (* _Jean-François Alcover_, Jun 04 2020 *)

%Y Cf. A070667-A070675, A002326, A019340, A070676, A053447, A070677, A070678, A053451, A070679, A070682, A070680, A070681.

%K nonn,look

%O 0,3

%A _N. J. A. Sloane_ and _Amarnath Murthy_, May 08 2002