1: \begin{abstract}

2:   We give a finite presentation by generators and relations for the

3:   group $\On(\Z[1/2])$ of $n$-dimensional orthogonal matrices with

4:   entries in $\Z[1/2]$. We then obtain a similar presentation for the

5:   group of $n$-dimensional orthogonal matrices of the form

6:   $M/\sqrt{2}{}^k$, where $k$ is a nonnegative integer and $M$ is an

7:   integer matrix. Both groups arise in the study of quantum

8:   circuits. In particular, when the dimension is a power of 2, the

9:   elements of the latter group are precisely the unitary matrices that

10:   can be represented by a quantum circuit over the universal gate set

11:   consisting of the Toffoli gate, the Hadamard gate, and the

12:   computational ancilla.

13: \end{abstract}

14: