Lemma 1
Tag 05XB, permanent. Cite it as [Bourbaki, Tag 05XB].
Algebra, chapter II, § 10. Matrices
Let be a matrix of type over a ring . Suppose that and that there exists an element in the first column of which is invertible in . Then there exist two invertible square matrices , and a matrix of type over such that (resp. ) is a product of matrices of the form of order (resp. ) and
The matrix is obtained by adding to the row of of index the row of index multiplied on the left by (no. 9, Example 2); if is invertible, then there exists such that, for the matrix , ; multiplying on the left by suitably chosen matrices of order (for ), a matrix is obtained such that , for . Then the matrix obtained is multiplied successively on the right by suitable matrices of order and a matrix is obtained of the form (57).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.