1: \begin{abstract}

2:   The Clifford+$T$ quantum computing gate library for single qubit

3:   gates can create all unitary matrices that are generated by the group

4:   $\<H, T>$.  The matrix $T$ can be considered the fourth root of Pauli $Z$,

5:   since $T^4 = Z$ or also the eighth root of the identity $I$.  The Hadamard

6:   matrix $H$ can be used to \emph{translate} between the Pauli matrices, since

7:   $(HTH)^4$ gives Pauli $X$.  We are generalizing both these roots of the Pauli

8:   matrices (or roots of the identity) and translation matrices to investigate

9:   the groups they generate: the so-called \emph{Pauli root groups}.  In this

10:   work we introduce a formalization of such groups, study finiteness and

11:   infiniteness properties, and precisely determine equality and subgroup

12:   relations.

13: \end{abstract}

14: