Example 1

Tag 0CWY, permanent. Cite it as [Bourbaki, Tag 0CWY].

Commutative Algebra, chapter IX, § 2. Anneaux de Cohen

Let $k$ be a perfect field of characteristic $p$ . The multiplicative representatives of the ring $\mathbf{W}(k)$ are the Witt vectors $\tau(x) = (x, 0, 0, ...)$ for $x \in k$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.