- B. Fisher. Notes on Witt vectors: a motivated approach. (1999) @ whole article
- J. Commelin and R. Y. Lewis. Formalizing the ring of Witt vectors. (2021) @ Section 6.1

Known Properties

Legend

- = has the property
- = does not have the property
- = information not in database

Name | Measure | |
---|---|---|

Krull dimension (classical) | 0 |

Name | Description |
---|---|

Idempotents | $\{0,1\}$ |