Introduction.Let Pd(n) denote the number of partitions of into positive integers of the form = A1+ +bs with -b + 1 ^ d where strict inequality holds if d\b.Px(n) appears in the first Rogers-Ramanujan identity [5, p. 291].P2(n) appears in the first of the Gllnitz-Gordon partition theorems [2, p. 945], and P3() appears in a partition theorem of I. J. Schur [6, p. 489].For d>3, we have the following result due to H. L. Alder [1, p. 713].(1.1) Let S be any fixed set of positive integers.Then Pd(n) is not identically equal to the number of partitions of into parts taken from S if d> 3.In a different approach, B. Gordon [4, p. 394] has made the following generalization of the Rogers-Ramanujan identities.(1.2) Let a and k be integers with 0<a^k.Let Akia(n) denote the number of partitions of into parts ^0, a (mod 2k +1).Let Bka(n) denote the number of partitions of of the form = >1+ +bs with ^>i + 1, , -i + fc_i^2, and with 1 appearing as a summand at most a-1 times.Then Aka(n) = Bk(1(n).The Gllnitz-Gordon identities have also been generalized in this manner [2, p. 946].(1.3) Let a and k be integers with 0<a/c.Let A^a(n) denote the number of partitions of into parts which are neither =2 (mod 4) nor =0, (2a-1) (mod 4k).Let B_a(n) denote the number of partitions of of the form n = by+ +bs, with b(bi+1, no odd parts are repeated, -i+fc_1^2 with strict inequality if 2[> and at most a-1 parts not exceeding 2 appear.Then Ak*,a(n) = Bffa(n).This leads us to define the following partition function.Let BAik<a(n) denote the number of partitions of of the form n = bx+ +bs, with btbt+i, no parts ^0 (modA+1) are repeated, bi-bi+k_x = A+l with strict inequality if X+l\bt and at most a-I parts not exceeding A + l appear.We note that B0ka(n) appears in (1.2); Bx,k,a(n) appears in (1.3), and 77d_1>2>2()=Pd().Question.If k is sufficiently large with respect to A, does B^ka(n) appear in a partition theorem of the Rogers-Ramanujan typelWe answer this question affirmatively with the following result.Theorem 1.Let O^X^a^k be integers, and 2X-l^k.If X is even, define
Read more