I want to use the "one step subgroup test".

The identity is

$\displaystyle e=I= \begin{bmatrix}1 & 0 \\0 & 1\end{bmatrix}$

And

$\displaystyle det(I)=1-0=1=(\sqrt{2})^0$

and $\displaystyle 0 \in \mathbb{Z}$

Therefore H is not empty since $\displaystyle I \in H$.

Now I have to show that for any two elements $\displaystyle x_1,x_2 \in H$, $\displaystyle x_1x_2^{-1}$ is in H.

Let $\displaystyle \begin{bmatrix}a & b \\c & d\end{bmatrix}, \begin{bmatrix}a' & b' \\c' & d'\end{bmatrix} \in H$

$\displaystyle x_2^{-1}= \frac{1}{(\sqrt{2})^k} \begin{bmatrix}d' & -b' \\-c' & a'\end{bmatrix}$

So we have:

$\displaystyle x_1x_2^{-1}= \begin{bmatrix}a & b \\c & d\end{bmatrix} \frac{1}{(\sqrt{2})^k} \begin{bmatrix}d' & -b' \\-c' & a'\end{bmatrix}$

$\displaystyle =\frac{1}{(\sqrt{2})^k} \begin{bmatrix}-d'a+-c'b & -b'a'+b'a' \\cd'+-c'd & -b'c+a'd\end{bmatrix}$

And $\displaystyle det (x_1x_2^{-1})=\frac{1}{(\sqrt{2})^k}(-d'a+-c'b)(b'c+a'd)-(-b'a'+b'a')(cd'+-c'd)$

If my working is correct so far, could anyone please show me how to manipulate this determinant to show that it satisfies the given condition, and $\displaystyle x_1x_2^{-1} \in H$.