Core idea

Let K\mathbb K be a normed real division algebra and let (e1,e2,e3)(e_1,e_2,e_3) be the standard of H3(K)H_3(\mathbb K). Write ξij(x)\xi_{ij}(x) for the Hermitian matrix whose ijij-entry is xx, whose jiji-entry is xx^*, and whose other entries vanish. Then there is an orthogonal direct sum

H3(K)=i=13Rei    ξ12(K)ξ23(K)ξ31(K).H_3(\mathbb K) =\bigoplus_{i=1}^3\mathbb R e_i \;\oplus\; \xi_{12}(\mathbb K)\oplus\xi_{23}(\mathbb K)\oplus\xi_{31}(\mathbb K).

For K=O\mathbb K=\mathbb O, this is the underlying vector-space decomposition of the .

Relation to Peirce spaces

If (i,j,k)(i,j,k) is a permutation of (1,2,3)(1,2,3), then

Rei=J1(ei),ξij(K)=J1/2(ei)J1/2(ej),\mathbb R e_i=J_1(e_i), \qquad \xi_{ij}(\mathbb K)=J_{1/2}(e_i)\cap J_{1/2}(e_j),

and

J0(ek)=ReiRejξij(K).J_0(e_k) =\mathbb R e_i\oplus\mathbb R e_j\oplus\xi_{ij}(\mathbb K).

Thus the decomposition simultaneously refines the three .

Multiplication between pair spaces

With a cyclic choice of indices and a compatible convention for the maps ξij\xi_{ij}, matrix multiplication gives

ξij(x)ξjk(y)=12ξik(xy).\xi_{ij}(x)\circ\xi_{jk}(y)=\tfrac12\,\xi_{ik}(xy).

Changing which entry receives xx rather than xx^* changes the displayed conjugations and order, but not the structural point: multiplying adjacent pair spaces lands in the third pair space. In the octonionic case these three eight-dimensional spaces carry the vector and two under the frame-fixing Spin(8)\mathrm{Spin}(8).

References
  1. John C. Baez and Paul Schwahn, “The Standard Model Gauge Group from the Exceptional Jordan Algebra,” 2026, §4. arXiv:2606.15235.
  2. Tonny A. Springer and Ferdinand D. Veldkamp, Octonions, Jordan Algebras and Exceptional Groups, Springer, 2000, Chapters 5–7. Publisher record.