In mathematics, a Jacobi form is an automorphic form on the Jacobi group, which is the semidirect product of the symplectic group Sp(n;R) and the Heisenberg group H R ( n , h ) {\displaystyle H_{R}^{(n,h)}} . The theory was first systematically studied by Eichler & Zagier (1985).