la_23（使得formula_24满足周期性），我们得到：
同伦群的计算和解释.
低维群.最初的几个同论群可以用低维群的同论群具体的描述。formula_28得出：
李群.由李群一般性事实，formula_32总消失，formula_33是自由阿贝尔群。
向量丛.从向量丛的观点来看，formula_34是formula_35上的向量丛，具有两个点。从而在每个点上，丛是平凡的，这个丛的非平凡性是两个点上向