令formula_45，以及formula_46为射影线formula_47上的重复线丛，formula_48是其K-理论。注意到formula_49，这些得出相应球面上的向量丛，以及：
有限群上的正交群.正交群也能定义在有限域formula_58上，这里formula_59是一个质数formula_60的幂。在这样的域上定义正交群，偶数维时有两类：formula_61和formula_62；奇数维有一类：formula_63。如果formula_64是正交群formula