Author: John Baez Format: MarkdownItexPointed out that the ring of big Witt vectors is represented by the free lambda-ring on one generator (no coincidence; this follows by easy abstract nonsense).
<a href="https://ncatlab.org/nlab/revision/diff/ring+of+Witt+vectors/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/ring+of+Witt+vectors/32">v32</a>, <a href="https://ncatlab.org/nlab/show/ring+of+Witt+vectors">current</a>
Pointed out that the ring of big Witt vectors is represented by the free lambda-ring on one generator (no coincidence; this follows by easy abstract nonsense).