a) Show that $\mathbb{H}$ is a sub-$\mathbb{R}$-algebra of $M_2(\mathbb{C})$ stable under $Z \mapsto Z^*$.\\
b) Let $Z \in \mathbb{H}$. Calculate $ZZ^*$ and deduce that every non-zero element of $\mathbb{H}$ is invertible.\\
c) Let $Z \in \mathbb{H}$. Show that $Z \in \mathbb{R}_{\mathbb{H}}$ if and only if $ZZ' = Z'Z$ for all $Z' \in \mathbb{H}$.