|
%I #5 Jan 07 2021 08:37:29
%S 1,1,1,1,1,1,1,1,0,1,1,1,1,1,0,1,1,0,1,1,0,1,1,1,0,1,0,1,1,0,1,1,0,1,
%T 0,0,1,1,0,1,1,0,1,1,0,1,1,1,0,0,0,1,1,0,0,1,0,1,1,0,1,1,0,1,0,0,1,1,
%U 0,0,1,0,1,1,0,1,0,0,1,1,0,1,1,0,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0,0,1,0,1,1,0
%N a(n) = 1 if the odd part of n satisfies Korselt's criterion (is in A324050), 0 otherwise.
%H Antti Karttunen, <a href="/A340374/b340374.txt">Table of n, a(n) for n = 1..65537</a>
%H <a href="/index/Ch#char_fns">Index entries for characteristic functions</a>
%F a(n) = [A002322(A000265(n)) divides A000265(n)-1], where [ ] is the Iverson bracket.
%o (PARI)
%o A000265(n) = (n>>valuation(n,2));
%o A002322(n) = lcm(znstar(n)[2]); \\ From A002322
%o isA324050(n) = (0==((n-1)%A002322(n)));
%o A340374(n) = isA324050(A000265(n));
%Y Cf. A000265, A002322, A002997, A324050.
%Y Differs from A340371 for the first time at n=561, where a(561) = 1.
%K nonn
%O 1
%A _Antti Karttunen_, Jan 06 2021
|
