%I #23 May 25 2022 03:35:42
%S 1,0,0,1,0,1,0,1,0,3,0,0,0,1,2,1,0,5,0,2,0,0,2,0,0,4,0,0,0,0,0,1,0,1,
%T 4,1,0,1,0,9,0,1,0,1,2,3,0,5,0,3,2,1,0,11,0,0,0,0,0,0,0,1,0,3,0,0,0,4,
%U 0,1,0,3,0,1,0,7,0,1,0,3,0,1,0,15
%N Irregular table read by rows: T(n,k) is the number of degree-k primitive Dirichlet characters modulo n, 1 <= k <= psi(n), psi = A002322.
%C Given n, T(n,k) only depends on gcd(k,psi(n)).
%C The n-th row contains entirely 0's if and only if n == 2 (mod 4).
%C If n !== 2 (mod 4), T(n,psi(n)) > T(n,k) for 1 <= k < psi(n).
%H Jianing Song, <a href="/A354061/b354061.txt">Table of n, a(n) for n = 1..8346</a> (the first 200 rows)
%F For odd primes p: T(p,k) = gcd(p-1,k)-1, T(p^e,k*p^(e-1)) = p^(e-2)*(p-1)*gcd(k,p-1), T(p^e,k) = 0 if k is not divisible by p^(e-1). T(2,k) = 0, T(4,k) = 1 for even k and 0 for odd k, T(2^e,k) = 2^(e-2) if k is divisible by 2^(e-2) and 0 otherwise.
%F T(n,psi(n)) = A007431(n). - _Jianing Song_, May 24 2022
%e Table starts
%e n = 1: 1;
%e n = 2: 0;
%e n = 3: 0, 1;
%e n = 4: 0, 1;
%e n = 5: 0, 1, 0, 3;
%e n = 6: 0, 0;
%e n = 7: 0, 1, 2, 1, 0, 5;
%e n = 8: 0, 2;
%e n = 9: 0, 0, 2, 0, 0, 4;
%e n = 10: 0, 0, 0, 0;
%e n = 11: 0, 1, 0, 1, 4, 1, 0, 1, 0, 9;
%e n = 12: 0, 1;
%e n = 13: 0, 1, 2, 3, 0, 5, 0, 3, 2, 1, 0, 11;
%e n = 14: 0, 0, 0, 0, 0, 0;
%e n = 15: 0, 1, 0, 3;
%e n = 16: 0, 0, 0, 4;
%e n = 17: 0, 1, 0, 3, 0, 1, 0, 7, 0, 1, 0, 3, 0, 1, 0, 15;
%e n = 18: 0, 0, 0, 0, 0, 0;
%e n = 19: 0, 1, 2, 1, 0, 5, 0, 1, 8, 1, 0, 5, 0, 1, 2, 1, 0, 17;
%e n = 20: 0, 1, 0, 3;
%e ...
%o (PARI) b(n,k)=my(Z=znstar(n)[2]); prod(i=1, #Z, gcd(k, Z[i]));
%o T(n,k) = sumdiv(n, d, moebius(n/d)*b(d,k))
%Y Cf. A354058, A002322, A007431, A354060.
%Y A354257 gives the smallest index for the nonzero terms in each row.
%K nonn,tabf
%O 1,10
%A _Jianing Song_, May 16 2022