%I #33 Feb 09 2021 02:28:57
%S 4,6,8,10,12,14,16,18,20,22,24,26,30,32,34,36,38,40,42,44,46,48,50,54,
%T 56,58,60,62,64,68,72,74,78,80,82,84,86,88,90,92,94,96,98,100,102,104,
%U 106,108,110,114,116,118,120,122,126,128,132,134,136,138,140,142,144
%N Composite numbers k such that a^(k-1) == 1 (mod k) only when a == 1 (mod k).
%C These unCarmichael numbers fail the Fermat primality test as often as possible.
%C All such numbers are even: for odd n, (-1)^(n-1) = 1.
%C The even numbers not in this sequence are 2 and A039772.
%C If c is a Carmichael number, then 2c is in the sequence. Also, the sequence is A209211 without the first two terms. - _Emmanuel Vantieghem_, Jul 03 2013
%H Romeo Meštrović, <a href="http://arxiv.org/abs/1305.1867">Generalizations of Carmichael numbers I,</a> arXiv:1305.1867v1 [math.NT], May 04 2013.
%e 10 is a term because 3^9 == 3 (mod 10), 7^9 == 7 (mod 10), 9^9 == 9 (mod 10).
%t Select[Range[4, 144],Count[Table[PowerMod[b, # - 1, #], {b, 1, # - 1}], 1] == 1 &] (* _Geoffrey Critzer_, Apr 11 2015 *)
%o (PARI) is(n)=for(a=2,n-1, if(Mod(a,n)^(n-1)==1, return(0))); !isprime(n) \\ _Charles R Greathouse IV_, Dec 22 2016
%Y Cf. A002997, A039772, A209211, A227180.
%K nonn
%O 1,1
%A _Karsten Meyer_, Nov 02 2005
%E Edited by _Don Reble_, May 16 2006
|