Show that the unit quaternions form a group.

abstract-algebragroup-theoryquaternionssolution-verificationspheres

Here is the question I want to answer $(d)$ in it:

Define $E \in GL_{2}(\mathbb{R})$ by $E = \begin{pmatrix}
0 & -1 \\
1 & 0
\end{pmatrix}$
and let $\mathcal{R} = \{aI + bE| a,b \in \mathbb{R}\} \subset M_{2}(\mathbb{R}).$

$(a)$ Show that $\mathcal{R} \cong \mathbb{C}$ as rings (so $\mathcal{R}$ is a field). Which matrices correspond to the subgroup $S^{1} \subset \mathbb{C}^{*}$?

$(b)$ Let $\mathbb{H} \subset M_{2}(\mathbb{C})$ be the set of matrices of the form: $$ \begin{pmatrix}
z & – \bar{\omega} \\
\omega & \bar{z}
\end{pmatrix} \quad \quad z, \omega \in \mathbb{C}$$
Show that $\mathbb{H}$ is a division ring. ( $\mathbb{H}$ is called the \textbf{quaternion algebra}).

$(c)$ Find a way to represent $\mathbb{H}$ as a subring of $M_{4}(\mathbb{R}).$(Hint: Combine parts $(a)$ and $(b)$)

$(d)$ The unit quaternions are quaternions of determinant 1. Show that the unit quaternions form a group, thereby giving a group structure on the $3-$sphere $S^3 \subset \mathbb{R}^4.$

And here is a solution I found on the internet:

enter image description here

enter image description here

enter image description here

enter image description here

My questions are:

1- Why the solution considered $\mathbb{H}$ as quaternions?

2- Why the solution took the operation as multiplication and not addition?

3- Where is the proof that matrix multiplication is associative?

Best Answer

  1. Recall from part (b) that $\mathbb H$ is called the quaternion algebra. Its elements are quaternions.

Personally I sympathize with your doubt about the definition of a quaternion. I would have preferred a more explicit definition of the term quaternion by itself (as opposed to the compound term quaternion algebra). We cannot always assume that mathematical terms combine or uncombine in intuitively obvious ways. Possibly your internet source (where you got the solution) has a better definition if you look for it.

  1. Take a unit quaternion $h$ and add it to itself: $h + h.$ The result is not a unit quaternion, as you can confirm by finding its determinant. So unit quaternions are not closed under addition, and cannot be a group under addition.

  2. Associativity is a very basic property of matrix multiplication. See https://people.math.carleton.ca/~kcheung/math/notes/MATH1107/wk05/05_associativity_of_matrix_multiplication.html for example.

Related Question