Corollary 2

Tag 0636, permanent. Cite it as [Bourbaki, Tag 0636].

Let $(x_i)_{1 \leq i \leq n}$ be a sequence of n elements of M such that

x_1 \wedge x_2 \wedge \cdots \wedge x_n = 0;

then, for every alternating n-linear mapping

g : M^n \to N

g(x_1, \ldots, x_n) = 0

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

Cited by

Nothing.

Nothing.