1: \begin{abstract}

2:   Consider the universal gate set for quantum computing consisting of

3:   the gates $X$, $CX$, $CCX$, $\omega\da H$, and $S$. All of these gates

4:   have matrix entries in the ring $\Z[\frac{1}{2},i]$, the smallest

5:   subring of the complex numbers containing $\frac{1}{2}$ and

6:   $i$. Amy, Glaudell, and Ross proved the converse, i.e., any unitary

7:   matrix with entries in $\Z[\frac{1}{2},i]$ can be realized by a

8:   quantum circuit over the above gate set using at most one

9:   ancilla. In this paper, we give a finite presentation by generators

10:   and relations of $U_n(\Z[\frac{1}{2},i])$, the group of unitary

11:   $n\times n$-matrices with entries in $\Z[\frac{1}{2},i]$.

12: \end{abstract}

13: