1: \begin{abstract}

2: We show that much of the theory of finite tight frames can be generalised 

3: to vector spaces over the quaternions. This includes the variational characterisation, 

4: group frames, and the characterisations of projective and unitary equivalence.

5: We are particularly interested in sets of equiangular lines (equi-isoclinic subspaces)

6: %(and, more generally, equi-isoclinic subspaces), 

7: and the groups associated with them,

8: and how to move them between the spaces $\Rd$, $\Cd$ and $\Hd$.

9: We present and discuss the analogue of Zauner's conjecture for equiangular lines

10: in $\Hd$.

11: 

12: %By using invariant theory, we are abl

13: \end{abstract}

14: