Problem
Problem 4.71 The algebra $\mathbb{H}$ of quaternions is an algebra of dimension 4 over the field $\mathbb{R}$ of real numbers. $\mathbb{H}$ has a basis formed by four elements $e_{0}, e_{1}, e_{2}, e_{3}$ satisfying
$$
e_{0}^{2}=e_{0}, \quad e_{i}^{2}=-e_{0}, \quad e_{0} e_{i}=e_{i} e_{0}=e_{i}, \quad e_{i} e_{j}=-e_{j} e_{i}=e_{k},
$$
where $(i, j, k)$ is an even permutation of $(1,2,3)$. If $q=\sum_{i=0}^{3} a_{i} e_{i} \in \mathbb{H}$, the conjugate quaternion of $q$ is defined by
$$
\bar{q}=a_{0} e_{0}-\left(a_{1} e_{1}+a_{2} e_{2}+a_{3} e_{3}\right)
$$
and the real number $|q|=\sqrt{\sum_{i=0}^{3} a_{i}^{2}}$ is called the norm of $q$. Let $\mathbb{H}^{*}$ denote the multiplicative group of non-zero quaternions.
(i) Prove that $\mathbb{H}^{*}$ is a Lie group.
(ii) Consider the map $\rho$ that defines a correspondence from each $p \in \mathbb{H}^{*}$ into the $\mathbb{R}$-linear automorphism of $\mathbb{H}$ defined by
$$
\rho(p): q \mapsto \rho(p) q=p q, \quad q \in \mathbb{H}
$$
Which is the representative matrix of $\rho(p)$ with respect to the given basis of $\mathbb{H}$ ? Compute its determinant.
(iii) Prove that $\rho$ is a representation of $\mathbb{H}^{*}$ on $\mathbb{H} \equiv \mathbb{R}^{4}$.
(iv) Find the group of inner automorphisms Int $\mathfrak{g}$ of the Lie algebra of $\mathbb{H}^{*}$.