Showing changes from revision #1 to #2:
Added | Removed | Changed

Definition

A commutative ring $K$ is called a $\lambda$-ring if we are given a family of set operations $\lambda^k \colon K \to K$ for $k \geq 0$ such that for all $x,y \in K$

Note: there is a group homomorphism $\lambda_t$ from the additive group of $K$ to the multiplicative group $W(K) = 1+tK[[t]]$.

Example. For every commutative ring $K$, the abelian group $W(K) = 1+tK[[t]]$ has the structure of a commutative ring, natural in $K$. $W(R)$ is called the ring of Witt vectors of $K$. The multiplicative identity of the ring $W(K)$ is $1-t$. The multiplication is completely determined by naturality, formal factorization, and the formula $(1-rt)\ast f(t) = f(rt)$.

A special $\lambda$-ring is a $\lambda$-ring $K$ such that the group homomorphism $\lambda_t \colon K \to W(K)$ is a $\lambda$-ring homomorphism.

References

Charles A. Weibel, The $K$-book: An introduction to algebraic $K$-theory, American Mathematical Society, Graduate Studies in Mathematics Volume 145, 2013.