(代数拓扑)关于切向量丛。

所以四元数乘法给出s？上的一个群结构.

也可以验证群结构与S一致？的差分结构是兼容的，所以s？这是一个谎言小组。

李群的切丛总是平凡的，因为在一点的线性无关切向量可以向左平移得到在该点的线性无关向量场。

所以四元数的存在导致了S？切口很普通。

但是逆向推理不能因为不清楚S？它与假设的“三进制数”有什么关系？

但是到了s？s的切丛的非平凡描述？没有李群结构就没有问题。

注:其实s？作为李群，与苏(2)同构。