 Künneth theorem for complex K-theory with an even-cell factor

ID: kunneth-theorem-for-complex-k-theory-with-an-even-cell-factor

Y

is a finite even-cell complex, the exterior product is an isomorphism

K^{0} (Y) \otimes K^{i} (X) ≅ K^{i} (Y \times X) .

Cellular induction proves this because

K^{0} (Y)

is free and

K^{- 1} (Y) = 0

 New to topics? Read the docs here!