K-theory

https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf

コンパクトハウスドルフ空間Xと正整数kに対し環準同型\psi^k:K(X) \to K(X)がXについて自然に定義され、

- 直線束Lに対し\psi^k(L) = L^k

- \psi^k\psi^l = \psi^{k+l}

- 素数pに対し\psi^p(a) = a^p mod p

を満たす。