Generators and relations for the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$

Seth Eveson Murray Greylyn

We give a presentation by generators and relations of the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$ of unitary $4\times 4$ matrices with entries in the ring $\mathbb{Z}[1/\sqrt{2},i]$.…