Editing Clifford algebra (section)

=== Quaternions ===
In this section, Hamilton's [[quaternion]]s are constructed as the even subalgebra of the Clifford algebra {{math|1=Cl{{sub|3,0}}('''R''')}}.

Let the vector space {{math|1=''V''}} be real three-dimensional space&nbsp;{{math|1='''R'''<sup>3</sup>}}, and the quadratic form be the usual quadratic form.  Then, for {{math|1=''v'', ''w''}} in {{math|1='''R'''<sup>3</sup>}} we have the bilinear form (or scalar product)
<math display="block">v \cdot w = v_1 w_1 + v_2 w_2 + v_3 w_3.</math>
Now introduce the Clifford product of vectors {{math|1=''v''}} and {{math|1=''w''}} given by
<math display="block"> v w + w v = 2 (v \cdot w) .</math>

Denote a set of orthogonal unit vectors of {{math|1='''R'''<sup>3</sup>}} as {{math|1={{mset|''e''<sub>1</sub>, ''e''<sub>2</sub>, ''e''<sub>3</sub>}}}}, then the Clifford product yields the relations
<math display="block"> e_2 e_3 = -e_3 e_2, \,\,\,  e_1 e_3 = -e_3 e_1,\,\,\,  e_1 e_2 = -e_2 e_1,</math>
and
<math display="block"> e_1 ^2 = e_2^2 = e_3^2 = 1. </math>
The general element of the Clifford algebra {{math|1=Cl{{sub|3,0}}('''R''')}} is given by
<math display="block"> A = a_0 + a_1 e_1 + a_2 e_2 + a_3 e_3 + a_4 e_2 e_3 + a_5 e_1 e_3 + a_6 e_1 e_2 + a_7 e_1 e_2 e_3.</math>

The linear combination of the even degree elements of {{math|1=Cl{{sub|3,0}}('''R''')}} defines the even subalgebra {{math|1=Cl{{su|lh=0.9em|p=[0]|b=3,0}}('''R''')}} with the general element
<math display="block"> q = q_0 + q_1 e_2 e_3 + q_2 e_1 e_3 + q_3 e_1 e_2. </math>
The basis elements can be identified with the quaternion basis elements {{math|1=''i'', ''j'', ''k''}} as
<math display="block"> i=  e_2 e_3, j =  e_1 e_3, k =  e_1 e_2,</math>
which shows that the even subalgebra {{math|1=Cl{{su|lh=0.9em|p=[0]|b=3,0}}('''R''')}} is Hamilton's real [[quaternion]] algebra.

To see this, compute
<math display="block"> i^2 = (e_2 e_3)^2 = e_2 e_3 e_2 e_3 = - e_2 e_2 e_3 e_3 = -1,</math>
and
<math display="block"> ij = e_2 e_3 e_1 e_3 = -e_2 e_3 e_3 e_1 = -e_2 e_1 = e_1 e_2 = k.</math>
Finally,
<math display="block"> ijk = e_2 e_3 e_1 e_3 e_1 e_2 = -1.</math>