Example 3

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

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

When $p \neq 2$ , we have $I_n = - X_n$ . For $p = 2$ , we have

I_0 = - X_0

I_1 = - (X_0^2 + X_1)

I_2 = - X_0^4 - X_0^2 X_1 - X_1^2 - X_2.

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

Cited by

Nothing.

Nothing.