Λ-ring

In algebra, a λ-ring or lambda ring is a commutative ring together with some operations λn on it that behave like the exterior powers of vector spaces. Many rings considered in K-theory carry a natural λ-ring structure. λ-rings also provide a powerful formalism for studying an action of the symmetric functions on the ring of polynomials, recovering and extending many classical results (). λ-rings were introduced by . For more about λ-rings see , , and . If V and W are finite-dimensional vector spaces over a field k, then we can form the direct sum V ⊕ W, the tensor product V ⊗ W, and the n-th exterior power of V, Λn(V). All of these are again finite-dimensional vector spaces over k. The same three operations of direct sum, tensor product and exterior power are also available when working with k-linear representations of a finite group, when working with vector bundles over some topological space, and in more general situations. λ-rings are designed to abstract the common algebraic properties of these three operations, where we also allow for formal inverses with respect to the direct sum operation. (These formal inverses also appear in Grothendieck groups, which is why the underlying additive groups of most λ-rings are Grothendieck groups.) The addition in the ring corresponds to the direct sum, the multiplication in the ring corresponds to the tensor product, and the λ-operations to the exterior powers. For example, the isomorphism corresponds to the formula valid in all λ-rings, and the isomorphism corresponds to the formula valid in all λ-rings. Analogous but (much) more complicated formulas govern the higher order λ-operators. If we have a short exact sequence of vector bundles over a smooth scheme then locally, for a small enough open neighborhood we have the isomorphism Now, in the Grothendieck group of (which is actually a ring), we get this local equation globally for free, from the defining equivalence relations. So demonstrating the basic relation in a λ-ring, that A λ-ring is a commutative ring R together with operations λn : R → R for every non-negative integer n.