Statement

Let BH3(O)B\subset H_3(\mathbb O) be a isomorphic to H3(C)H_3(\mathbb C), and suppose that BB contains the standard (e1,e2,e3)(e_1,e_2,e_3). Relative to the standard frame decomposition there are real two-dimensional subspaces V12,V23,V31OV_{12},V_{23},V_{31}\subset\mathbb O such that

B=i=13Reiξ12(V12)ξ23(V23)ξ31(V31).B=\bigoplus_{i=1}^3\mathbb R e_i \oplus\xi_{12}(V_{12}) \oplus\xi_{23}(V_{23}) \oplus\xi_{31}(V_{31}).

The Jordan-product closure of BB forces the cyclic compatibility relations

V12V23V31,V23V31V12,V31V12V23,V_{12}V_{23}\subseteq V_{31}^*,\qquad V_{23}V_{31}\subseteq V_{12}^*,\qquad V_{31}V_{12}\subseteq V_{23}^*,

with the precise placement of conjugations depending on the convention for the maps ξij\xi_{ij}.

A useful normal form

The Spin(8)\mathrm{Spin}(8) subgroup fixing the frame acts on the three off-diagonal copies of O\mathbb O through its vector and two half-spin representations. After applying such an automorphism, one may arrange V12=COV_{12}=\mathbb C\subset\mathbb O. Choosing a unit vector aV23a\in V_{23} then gives

B=i=13Reiξ12(C)ξ23(Ca)ξ31(aC).B=\bigoplus_{i=1}^3\mathbb R e_i \oplus\xi_{12}(\mathbb C) \oplus\xi_{23}(\mathbb C a) \oplus\xi_{31}(a^*\mathbb C).

This is an intermediate normal form: a further frame-fixing automorphism can take aa to 11, turning BB into the standard H3(C)H_3(\mathbb C).

Why the decomposition is useful

It converts an embedded into linear data inside the octonions. The supplies the six summands, while coordinates their transformation laws. This is the key input to the transitivity theorem for complex-qutrit subalgebras.

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