%I #22 Feb 18 2024 07:57:59
%S 2,4,5,8,8,10,11,14,14,16,17,20,20,22,23,26,26,28,29,32,32,34,35,38,
%T 38,40,41,44,44,46,47,50,50,52,53,56,56,58,59,62,62,64,65,68,68,70,71,
%U 74,74,76,77,80,80,82,83,86,86,88,89,92,92,94,95,98,98,100
%N Sum of the entries in the character table of the dihedral group D_{2n} of order 2n.
%H Eric M. Schmidt, <a href="/A085624/b085624.txt">Table of n, a(n) for n = 1..1000</a>
%H <a href="/index/Rec#order_05">Index entries for linear recurrences with constant coefficients</a>, signature (1,0,0,1,-1).
%F From _Eric M. Schmidt_, Jul 08 2012: (Start)
%F If n is odd, a(n) = (3n + 1)/2.
%F If n == 2 (mod 4), a(n) = (3n + 2)/2.
%F If 4 divides n, a(n) = (3n + 4)/2. (End)
%F G.f.: x*(2+2*x+x^2+3*x^3-2*x^4)/((1-x)^2*(1+x+x^2+x^3)). - _Bruno Berselli_, Jul 09 2012
%F a(n) = 1+(6*n+(1+(-1)^n)*i^n+2*(-1)^n)/4, where i=sqrt(-1). - _Bruno Berselli_, Jul 09 2012
%e The character table for D_8 is
%e 1 1 1 1 1
%e 1 1 1 -1 -1
%e 1 1 -1 1 -1
%e 1 1 -1 -1 1
%e 2 -2 0 0 0
%t Table[1 + (6 n + (1 + (-1)^n) I^n + 2 (-1)^n)/4, {n, 66}] (* _Bruno Berselli_, Jul 09 2012 *)
%t Table[Which[OddQ[n],(3n+1)/2,Mod[n,4]==2,(3n+2)/2,Mod[n,4]==0,(3n+4)/2],{n,70}] (* _Harvey P. Dale_, Mar 06 2020 *)
%o (GAP) Display(CharacterTable("D8"));
%o (Maxima) makelist(1+(6*n+(1+(-1)^n)*%i^n+2*(-1)^n)/4,n,1,66); /* _Bruno Berselli_, Jul 09 2012 */
%K nonn,easy
%O 1,1
%A Yuval Dekel (dekelyuval(AT)hotmail.com), Jul 09 2003
%E More terms from _Eric M. Schmidt_, Jul 08 2012
|