Originally published at 狗和留美者不得入内. You can comment here or there.

I learned that the adjugate is the transpose of the matrix with the minors with the appropriate sign, that as we all know, alternates along rows and columns, corresponding to each element of the matrix on which the adjugate is taken. The matrix, multiplied with its adjugate, in fact, yields the determinant of that matrix, times the identity of course, to matrix it. Note that the diagonal elements of its result is exactly what one gets from applying the minors algorithm for calculating the determinant along each row. The other terms vanish. There are $n(n-1)$ of them, where $n$ is the number of rows (and columns) of the (square) matrix. They are, for each column of the adjugate and each column of it not equal to the current column, the sum of each entry in the column times the minor (with sign applied) determined by the removal of the other selected column (constant throughout the sum) and the row of the current entry. In the permutation expansion of this summation, each element has a (unique) sister element, with the sisterhood relation symmetric, determined by taking the entry of the adjugate matrix in the same column as the non minor element to which the permutation belongs and retrieving in the permutation expansion of the element times minor for that element the permutation, the product representing which contains the exact same terms of the matrix. Note that shift in position of the swapped element in the minor matrix is one less than that in the adjugate matrix. Thus, the signs of the permutations cancel. From this, we arrive at that the entire sum of entry times corresponding minor across the column is zero.

A corollary of this is that $\mathrm{adj}(\mathbf{AB}) = \mathrm{adj}(\mathbf{B})\mathrm{adj}(\mathbf{A})$.

Tags:

### Recent Posts from This Journal

• #### How weak convergence and weak topology arises naturally from infinite dimensional vector spaces

Originally published at 狗和留美者不得入内. You can comment here or there. Let be a vector space over endowed with an inner product . Assume that…

• #### Using the Minkowski functional to prove separation of sets via a hyperplane

Originally published at 狗和留美者不得入内. You can comment here or there. We shall use n.v.s to refer to normed vector space. Definition 1 Let be a…

• #### On the Baire category theorem and the open mapping theorem

Originally published at 狗和留美者不得入内. You can comment here or there. Theorem 1 (Baire Category Theorem) Let be a complete metric space. The…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic