the ring structure of K-theory
K-theory is more than a group of formal differences of bundles — it also has a multiplication, making K(X) a commutative ring. The addition you already know is direct sum; the multiplication is the tensor product of bundles. Having both operations turns K-theory from a bare list of bundle classes into an algebra you can compute inside, with relations, units, and structure.
On classes the rules are: addition [E] + [F] = [E + F] from direct sum, multiplication [E] [F] = [E tensor F] from tensor product. The trivial line bundle [1] is the multiplicative identity, the zero bundle the additive identity, and one checks that tensor distributes over sum, so K(X) is a genuine commutative ring with unit. A continuous map f: X -> Y induces a ring homomorphism f^*: K(Y) -> K(X) by pullback, so K is a contravariant functor into rings — exactly the formal shape of a cohomology theory. Reduced K-theory K-tilde(X) sits inside as an ideal, and the splitting K(X) = K-tilde(X) + Z is a ring splitting with Z = K(point).
The ring structure is what makes K-theory genuinely useful rather than just a bookkeeping group. Computations like K(S^2) = Z[h]/(h^2) — a truncated polynomial ring where h = [H] - 1 squares to zero — capture the multiplicative geometry, and the Chern character is a RING isomorphism (rationally) precisely because both sides are rings. The product also feeds the external product and Bott periodicity, where multiplying by the Bott class is the periodicity isomorphism. The point to hold onto: the multiplication is tensor product, not composition or any pointwise operation, and it is this tensor-product ring that the Chern character and the index theorem exploit.
For the 2-sphere, K(S^2) = Z[h]/(h^2) where h = [H] - 1 and H is the tautological line bundle. The relation h^2 = 0 comes from ([H] - 1)^2 = [H tensor H] - 2[H] + 1, which equals zero in K(S^2) because [H tensor H] - 2[H] + 1 reduces using the bundle relations on S^2. The additive group Z + Z thus carries a nontrivial but nilpotent multiplication.
K(S^2) is a truncated polynomial ring Z[h]/(h^2): tensor product gives a nilpotent generator.
The K-theory product is tensor product of bundles, not direct sum (which is the addition) and not composition. The trivial line bundle, not the zero bundle, is the unit. Mixing up which operation is which is the most common early mistake.