8维Spin群Spin(8)有三个不等价的不可约表示：R8，V8+，V8-，Spin(8)在它们上面的表示都是保定向与等距的。E.Caftan证明了在这些表示之间......