Bourbaki

Exercise 8, § 2

Algebra, III, 620

The quaternionic group QQ (I, § 6, Exercise 4) is isomorphic to the multiplicative group of the eight quaternions ±1,±i,±j,±k\pm 1, \pm i, \pm j, \pm k in the quaternion algebra of type (−1,−1)(-1, -1) over a field in which 2≠02 \neq 0. Show that the algebra of the group QQ over a field KK in which 2≠02 \neq 0 is isomorphic to the product of four fields isomorphic to KK and the quaternion algebra of type (+1,−1)(+1, -1) over KK (if cc is the element of QQ corresponding to the quaternion −1-1, the elements of QQ can be written as e,i,j,k,c,ci,cj,cke, i, j, k, c, ci, cj, ck; consider the basis of EE consisting of the elements 12(e+c),12(e−c),12(e+c)i,12(e−c)i,12(e+c)j,12(e−c)j,12(e+c)k,12(e−c)k\frac{1}{2}(e + c), \frac{1}{2}(e - c), \frac{1}{2}(e + c)i, \frac{1}{2}(e - c)i, \frac{1}{2}(e + c)j, \frac{1}{2}(e - c)j, \frac{1}{2}(e + c)k, \frac{1}{2}(e - c)k).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.