Let $A$ be an invertible $n\times n$ matrix. Define the matrix of minors $\Delta(A)$ of $A$ to be the matrix whose $(i,j)$ entry is the determinant of the minor of $A$ with the $i$th row and $j$ column omitted.
Certainly, the most important property of $\Delta(A)$ is that it is instrumental in computing the inverse of $A$: $$ A^{-1}= \frac{1}{\operatorname{det}(A)}\sigma\cdot \Delta(A)^T\cdot \sigma$$ where here, $\sigma$ is the diagonal matrix whose diagonal entries alternate $1$ and $-1$.
From this fact and elementary properties of the inverse, it is easy to prove the following
- Taking the matrix of minors is an involution up to scaling; that is, $\Delta(\Delta(A))=\operatorname{det}(A)^{2-n}\cdot A$.
- Taking the matrix of minors is an group homomorphism; that is, $\Delta(AB)=\Delta(A)\Delta(B)$.
If you actually write out either of these identities in terms of minors, you get a series of non-trivial-looking identities on the minors of an invertible matrix.
Is this the easiest way to obtain these identities on minors? It would bother me if it was, for a couple of reasons. First, it seems extremely likely that the second identity above holds for non-invertible matrices. Second, if $A$ is totally positive or non-negative (that is, every minor of every size is positive or non-negative), then so is $\Delta(A)$. However, the inverse of a totally positive matrix will almost never be totally positive, and so the above proof of the identities will stray off the totally positive path.
Therefore,
Can the identities on minors implied by the above relations on $\Delta$ be proven in a more direct way?
Ideally, this proof would be 'subtraction-free', to make it more natural in the totally-positive setting.
Edit: I should be a little bit more clear about what sort of thing I am looking for. I am interested in spaces of totally-positive matrices and the corresponding algebras generated by minors on them (specifically, they are cluster algebras). An important involution of these spaces and algebras is the matrix of minors defined above. Note that taking inverses or cofactors does not preserve totally positivity, and so it doesn't act on this space.
Mainly, I asked this question because I was annoyed at using a map whose properties couldn't be proven without passing to a different, bigger space (not that this doesn't happen all the time in math). I was curious if there was a proof along algebraic lines, following only from the simplest relations on minors (the 3-term Plucker relations).