Definition 1
Tag 0DL9, permanent. Cite it as [Bourbaki, Tag 0DL9].
Algebra, chapter IX, § 5. Propriétés spéciales aux formes bilinéaires alternées
Given an alternating matrix of even order over an arbitrary commutative ring , the pfaffian of , denoted by , is the element of , where .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.