The Bailey mod 9 identities are a set of three Rogers-Ramanujan-like identities appearing as equations (1.6), (1.8), and (1.7) on p. 422 of Bailey (1947) given by
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
|
(OEIS A104467, A104468, and A104469).
Unfortunately, Bailey used non-standard (and essentially unreadable) notation in the paper where these identities first appeared. All three of these identities appear in the list of Slater (1952) as equations (42), (41), and (40) in that order. However, all three contain misprints.
In one sense, these identities are the next logical step in the following sequence:
1. The two Rogers-Ramanujan identities (triple product on mod 5 over ).
2. The three Rogers-Selberg identities (triple product on mod 7 over ).
3. The (sort of) four Bailey mod 9 identities (triple product on mod 9 over ).
Here, "sort of" refers to the fact that between and , there is an "identity" in which the product side contains , so the identity reduces to and therefore is not listed.