Contoh 16.1.7.
Sebagai contoh gelanggang pembagian nonkomutatif, misalkan
\begin{equation*}
1 =
\begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix},
\quad
{\mathbf i}
=
\begin{pmatrix}
0 & 1 \\
-1 & 0
\end{pmatrix},
\quad
{\mathbf j} =
\begin{pmatrix}
0 & i \\
i & 0
\end{pmatrix},
\quad
{\mathbf k} =
\begin{pmatrix}
i & 0 \\
0 & -i
\end{pmatrix}\text{,}
\end{equation*}
dengan \(i^2 = -1\text{.}\) Elemen-elemen ini memenuhi relasi berikut:
\begin{align*}
{\mathbf i}^2 = {\mathbf j}^2 & = {\mathbf k}^2 = -1\\
{\mathbf i} {\mathbf j} & = {\mathbf k}\\
{\mathbf j} {\mathbf k} & = {\mathbf i}\\
{\mathbf k} {\mathbf i} & = {\mathbf j}\\
{\mathbf j} {\mathbf i} & = - {\mathbf k}\\
{\mathbf k} {\mathbf j} & = - {\mathbf i}\\
{\mathbf i} {\mathbf k} & = - {\mathbf j}\text{.}
\end{align*}
Misalkan \({\mathbb H}\) terdiri atas elemen berbentuk \(a + b {\mathbf i} + c {\mathbf j} +d {\mathbf k}\text{,}\) dengan \(a, b , c, d\) bilangan real. Secara ekuivalen, \({\mathbb H}\) dapat dipandang sebagai himpunan semua matriks \(2 \times 2\) berbentuk
\begin{equation*}
\begin{pmatrix}
\alpha & \beta \\
-\overline{\beta} & \overline{\alpha }
\end{pmatrix}\text{,}
\end{equation*}
dengan \(\alpha = a + di\) dan \(\beta = b + ci\) merupakan bilangan kompleks. Kita dapat mendefinisikan penjumlahan dan perkalian pada \({\mathbb H}\) melalui operasi matriks biasa atau berdasarkan pembangkit \(1\text{,}\) \({\mathbf i}\text{,}\) \({\mathbf j}\text{,}\) dan \({\mathbf k}\text{:}\)
\begin{gather*}
(a_1 + b_1 {\mathbf i} + c_1 {\mathbf j} +d_1 {\mathbf k} ) + ( a_2 + b_2 {\mathbf i} + c_2 {\mathbf j} +d_2 {\mathbf k} )\\
= (a_1 + a_2) + ( b_1 + b_2) {\mathbf i} + ( c_1 + c_2) \mathbf j + (d_1 + d_2) \mathbf k
\end{gather*}
dan
\begin{equation*}
(a_1 + b_1 {\mathbf i} + c_1 {\mathbf j} +d_1 {\mathbf k} ) ( a_2 + b_2 {\mathbf i} + c_2 {\mathbf j} +d_2 {\mathbf k} ) = \alpha + \beta {\mathbf i} + \gamma {\mathbf j} + \delta {\mathbf k}\text{,}
\end{equation*}
dengan
\begin{align*}
\alpha & = a_1 a_2 - b_1 b_2 - c_1 c_2 -d_1 d_2\\
\beta & = a_1 b_2 + a_2 b_1 + c_1 d_2 - d_1 c_2\\
\gamma & = a_1 c_2 - b_1 d_2 + c_1 a_2 + d_1 b_2\\
\delta & = a_1 d_2 + b_1 c_2 - c_1 b_2 + d_1 a_2\text{.}
\end{align*}
Meskipun perkaliannya tampak rumit, perhitungannya sebenarnya langsung jika kita mengingat bahwa elemen-elemen dalam \({\mathbb H}\) cukup dijumlahkan dan dikalikan seperti polinomial sambil memperhatikan relasi antara pembangkit \({\mathbf i}\text{,}\) \({\mathbf j}\text{,}\) dan \({\mathbf k}\text{.}\) Gelanggang \({\mathbb H}\) disebut gelanggang kuaternion.
Untuk menunjukkan bahwa kuaternion merupakan gelanggang pembagian, kita harus dapat menemukan invers bagi setiap elemen taknol. Perhatikan bahwa
\begin{equation*}
( a + b {\mathbf i} + c {\mathbf j} + d {\mathbf k} )( a - b {\mathbf i} - c {\mathbf j} - d {\mathbf k} ) = a^2 + b^2 + c^2 + d^2\text{.}
\end{equation*}
Elemen ini hanya dapat bernilai nol jika \(a\text{,}\) \(b\text{,}\) \(c\text{,}\) dan \(d\) semuanya nol. Jadi, jika \(a + b {\mathbf i} + c {\mathbf j} +d {\mathbf k} \neq 0\text{,}\)
\begin{equation*}
(a + b {\mathbf i} + c {\mathbf j} + d {\mathbf k})\left( \frac{a - b {\mathbf i} - c {\mathbf j} - d {\mathbf k} }{a^2 + b^2 + c^2 + d^2} \right) = 1\text{.}
\end{equation*}