cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A118265 Coefficient of q^n in (1-q)^4/(1-4q); dimensions of the enveloping algebra of the derived free Lie algebra on 4 letters.

Original entry on oeis.org

1, 0, 6, 20, 81, 324, 1296, 5184, 20736, 82944, 331776, 1327104, 5308416, 21233664, 84934656, 339738624, 1358954496, 5435817984, 21743271936, 86973087744, 347892350976, 1391569403904, 5566277615616, 22265110462464, 89060441849856
Offset: 0

Views

Author

Mike Zabrocki, Apr 20 2006

Keywords

Comments

For n>=4, a(n) is equal to the number of functions f:{1,2,...,n}->{1,2,3,4} such that for fixed, different x_1, x_2, x_3, x_4 in {1,2,...,n} and fixed y_1, y_2, y_3, y_ 4 in {1,2,3,4} we have f(x_i)<>y_i, (i=1,2,3,4). - Milan Janjic, May 13 2007
Also the number of monic polynomials of degree n over GF(4) without any linear factors. - Greyson C. Wesley, Jul 05 2022

Examples

			The enveloping algebra of the derived free Lie algebra is characterized as the intersection of the kernels of all partial derivative operators in the space of non-commutative polynomials, a(0) = 1 since all constants are killed by derivatives, a(1) = 0 since no polys of degree 1 are killed, a(2) = 6 since all Lie brackets [x1,x2], [x1,x3], [x1, x4], [x2,x3], [x2,x4], [x3,x4] are killed by all derivative operators.
		

References

  • C. Reutenauer, Free Lie algebras. London Mathematical Society Monographs. New Series, 7. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1993. xviii+269 pp.

Crossrefs

Programs

  • Maple
    f:=n->add((-1)^k*C(4,k)*4^(n-k),k=0..min(n,4)); seq(f(i),i=0..15);
  • Mathematica
    a[n_] := If[n<4, {1, 0, 6, 20}[[n+1]], 81*4^(n-4)];
    Table[a[n], {n, 0, 24}] (* Jean-François Alcover, Dec 10 2018 *)

Formula

G.f.: (1-q)^4/(1-4q).
a(n) = Sum_{k=0..min(n,4)} (-1)^k*C(4,k)*4^(n-k).
a(n) = 81*4^(n-4) for n>3. - Jean-François Alcover, Dec 10 2018

A118266 Coefficient of q^n in (1-q)^5/(1-5q); dimensions of the enveloping algebra of the derived free Lie algebra on 5 letters.

Original entry on oeis.org

1, 0, 10, 40, 205, 1024, 5120, 25600, 128000, 640000, 3200000, 16000000, 80000000, 400000000, 2000000000, 10000000000, 50000000000, 250000000000, 1250000000000, 6250000000000, 31250000000000, 156250000000000
Offset: 0

Views

Author

Mike Zabrocki, Apr 20 2006

Keywords

Comments

For n>=5, a(n) is equal to the number of functions f:{1,2,...,n}->{1,2,3,4,5} such that for fixed, different x_1, x_2, x_3, x_4, x_5 in {1,2,...,n} and fixed y_1, y_2, y_3, y_ 4, y_5 in {1,2,3,4,5} we have f(x_i)<>y_i, (i=1,2,3,4,5). - Milan Janjic, May 13 2007

References

  • C. Reutenauer, Free Lie algebras. London Mathematical Society Monographs. New Series, 7. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1993. xviii+269 pp.

Crossrefs

Programs

  • Maple
    f:=n->add((-1)^k*binomial(5,k)*5^(n-k),k=0..min(n,4)): seq(f(i),i=0..15);
  • Mathematica
    a[n_] := If[n<6, {1, 0, 10, 40, 205, 1024}[[n+1]], 1024*5^(n-5)];
    Table[a[n], {n, 0, 21}] (* Jean-François Alcover, Dec 10 2018 *)

Formula

G.f.: (1-q)^5/(1-5q) sum( (-1)^k*C(5,k) 5^(n-k); k=0..min(n,5));
a(n) = 1024*5^(n-5) for n>5. - Jean-François Alcover, Dec 10 2018

A122392 Dimension of 3-variable non-commutative harmonics (Hausdorff derivative). The dimension of the space of non-commutative polynomials in 3 variables which are killed by all symmetric differential operators (where for a monomial w, d_{xi} ( w ) = sum over all subwords of w deleting xi once).

Original entry on oeis.org

1, 2, 5, 15, 46, 139, 416, 1248, 3744, 11232, 33696, 101088, 303264, 909792, 2729376, 8188128, 24564384, 73693152, 221079456, 663238368, 1989715104, 5969145312, 17907435936, 53722307808, 161166923424, 483500770272, 1450502310816
Offset: 0

Views

Author

Mike Zabrocki, Aug 31 2006

Keywords

Examples

			a(1) = 2 because x1 - x2, x2 - x3 are killed by d_x1 + d_x2 + d_x3
a(2) = 5 because x1 x2 - x2 x1, x1 x3 - x3 x1, x2 x3 - x3 x2, 2 x1 x2 - x2 x2 - 2 x1 x3 + x3 x3,
x1 x1 - 2 x2 x1 + 2 x2 x3 - x3 x3 are killed by d_x1 + d_x2 + d_x3, d_x1^2 + d_x2^2 + d_x3^2 and
d_x1 d_x2 + d_x1 d_x3 + d_x2 d_x3
		

References

  • C. Chevalley, Invariants of finite groups generated by reflections, Amer. J. Math. 77 (1955), 778-782.
  • C. Reutenauer, Free Lie algebras. London Mathematical Society Monographs. New Series, 7. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1993. xviii+269 pp.

Crossrefs

Programs

  • Maple
    coeffs(convert(series(mul(1-q^i,i=1..3)/(1-3*q),q,20),`+`)-O(q^20),q);

Formula

G.f.: (1-q)*(1-q^2)*(1-q^3)/(1-3*q) 3^n - 3^(n-1) - 3^(n-2) + 3^(n-4) + 3^(n-5) - 3^(n-6) (for n>5) a(0) = 1, a(1) = 2, a(2) = 5, a(3) = 15, a(4) = 46, a(5) = 139, a(n) = 416*3^(n-6) for n>5
Showing 1-3 of 3 results.