Definition 1
Tag 0CU7, permanent. Cite it as [Bourbaki, Tag 0CU7].
Commutative Algebra, chapter IX, § 1. Vecteurs de Witt
Let be a ring. The ring is called the ring of Witt vectors with coefficients in .
For in and in , the element is sometimes called the ghost component of index of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.