**Proof.**
For $I \subset \{ 1, \ldots , n\} $ with $|I| = m$, we denote by $E_ I$ the $m \times n$ matrix of the projection

\[ R^{\oplus n} = \bigoplus \nolimits _{i \in \{ 1, \ldots , n\} } R \longrightarrow \bigoplus \nolimits _{i \in I} R \]

and set $A_ I = E_ I A$, i.e., $A_ I$ is the $m \times m$ matrix whose rows are the rows of $A$ with indices in $I$. Let $B_ I$ be the adjugate (transpose of cofactor) matrix to $A_ I$, i.e., such that $A_ I B_ I = B_ I A_ I = \det (A_ I) 1_{m \times m}$. The $m \times m$ minors of $A$ are the determinants $\det A_ I$ for all the $I \subset \{ 1, \ldots , n\} $ with $|I| = m$. If $f \in J$ then we can write $f = \sum c_ I \det (A_ I)$ for some $c_ I \in R$. Set $B = \sum c_ I B_ I E_ I$ to see that (1) holds.

If $f 1_{m \times m} = BA$ then by the Cauchy-Binet formula (72) we have $f^ m = \sum b_ I \det (A_ I)$ where $b_ I$ is the determinant of the $m \times m$ matrix whose columns are the columns of $B$ with indices in $I$.
$\square$

## Comments (2)

Comment #3577 by Herman Rohrbach on

Comment #3701 by Johan on

There are also: