How do I go about diagonalizing such a matrix.
I ask because I need to sort out the following problem:
Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$.
Let $\mathfrak{O} = \langle 1,i,\frac{1+j}{2},\frac{i+k}{2}\rangle_{\mathbb{Z}}$ be a maximal order.
Consider the Hermitian matrix:
$A = \begin{pmatrix} 11 & -j-3k \\ j+3k & 11 \end{pmatrix}$.
I need to find all matrices $u\in M_2(\mathfrak{O})$ such that $uA\bar{u}^T = A$. This is proving difficult (there should be $48$ such matrices but extensive checks have only produced $8$ and those are easy diagonal/anti-diagonal ones!)
I think I can do it easily if I diagonalize $A$.
But how do I find $P\in$ $GL_2(D)$ such that $\bar{P}^T A P$ is diagonal with rational entries? Apparently such a matrix exists. Does the non-commutativity create problems with the usual construction?