1: \begin{abstract}
2: The corank of a group $G$ is the maximum $k$ such that
3: $G$ surjects
4: onto a free group of rank $k$. We study the corank
5: of the groups
6: $\PSUT$ and $\PUT$ over cyclotomic rings
7: $\Z[\zeta_{n}, 1/2]$ with $\zeta_n=e^{2\pi i/n}$, $n=2^s$ or $n=3\cdot 2^s$,
8: $n\geq 8$.
9: We do this by studying their actions on Bruhat-Tits trees constructed
10: using definite quaternion algebras. The quotients of the trees by this
11: action are finite graphs whose first Betti number is the corank of the
12: group. Our main result is that for the families $n=2^s$ and $n=3\cdot 2^s$
13: the corank grows doubly exponentially in $s$ as $s\rightarrow\infty$; it
14: is $0$ precisely when $n= 8,12, 16, 24$. We deduce from this main result
15: a theorem on the Clifford-cyclotomic group in quantum computing.
16: \end{abstract}
17: