Example 2

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

Commutative Algebra, chapter IX, § 1. Vecteurs de Witt

We have

P_0 = X_0 Y_0

P_1 = p X_1 Y_1 + X_0^p Y_1 + X_1 Y_0^p.

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

Cited by

Nothing.

Nothing.