Let \(K^{\text{top}}(-)\)  be the complex topological K-theory. We have a map
\(\eta _X:K^{\beta =1}(X)\rightarrow K^{\text{top}}(X)\) .
By topological K-theory, \(\eta _{G/B}\)  is an isomorphism.
The equivariant version is also true but after completion,
by the Atiyah completion theorem [1]} and
the Atiyah–Hirzebruch spectral sequence.

Пусть \(K^{\text{top}}(-)\) - это комплексная топологическая K-теория. У нас есть отображение \(\eta _X:K^{\beta =1}(X)\rightarrow K^{\text{top}}(X)\).

В случае топологической K-теории \(\eta _{G/B}\) является изоморфизмом. 

Эквивариантная версия также верна, но только после дополнения, согласно теореме о дополнении Атия [1] и спектральной последовательности Атия-Хирцебруха.