%I #32 Sep 23 2024 10:21:31
%S 0,0,1,8,44,214,1000,4592,20888,94846,434973,2042836,9979086,51460622,
%T 283839957,1688139424,10859199656,75338888918,560740210491,
%U 4445766353604,37329808482989,330143634313064,3064464030121369
%N Conjectured dimension of a module associated with the free commutative Moufang loop with n generators.
%C There is an explicit formula for the n-th term of this sequence (see Eq. (8.4) of Smith (1982)). It is conjectured that this gives the answer to a question of Manin about the dimension of a certain module associated with the free commutative Moufang loop with n generators. - _N. J. A. Sloane_, May 21 2014
%C The underlying hypothesis has been disproven, see Grishkov & Shestakov (2008-2011). - _Matthew House_, Sep 03 2024
%D Yu. I. Manin, Cubic Forms, Second edition, North-Holland Publishing Co., Amsterdam, 1986, page 312. MR0833513 (87d:11037)
%H Matthew House, <a href="/A000373/b000373.txt">Table of n, a(n) for n = 1..523</a>
%H Alexander N. Grishkov and Ivan P. Shestakov, <a href="https://doi.org/10.1016/j.jalgebra.2010.11.020">Commutative Moufang loops and alternative algebras</a>, J. Algebra, 333 (2011), 1-13; <a href="https://arxiv.org/abs/0811.3787">Preprint</a>, arXiv:0811.3787 [math.RA], 2008.
%H Jonathan D. H. Smith, <a href="https://doi.org/10.1007/BF01393379">Commutative Moufang loops and Bessel functions</a>, Invent. Math. 67 (1982), no. 1, 173-187.
%e G.f. = x^3 + 8*x^4 + 44*x^5 + 214*x^6 + 1000*x^7 + 4592*x^8 + 20888*x^9 + ...
%o (PARI) {a(n) = local(A); if( n<3, 0, A = Vec(-1 + serlaplace( serlaplace( subst( 1 / besselj(0, x + O(x^n)), x^2, 4*x)))); A[1] = 0; sum(k=1, (n-1)\2, sum(p=0, n - 2*k - 1, n! / p! / (2*k+1)! / (n - p - 2*k -1 )! * (A[k] + binomial( p+k-1, k-1)))))}; /* _Michael Somos_, May 17 2004 */
%Y Cf. A152123.
%K nonn
%O 1,4
%A _N. J. A. Sloane_