Determinant
The determinant is an important notion in linear algebra.
For an matrix , the determinant is defined by the sum where is the set of all permutations on the set , and is the parity of the permutation .
For example, the determinant of a matrix is .
This quantity may seem unwieldy, but surprisingly, it is multiplicative. That is, for any matrices (over the same commutative field),
More generally, if is a commutative field and is an element of a (strictly power associative) -dimensional -algebra , then the determinant of is times the constant term of the characteristic polynomial of .
Our generalized determinants also satisfy the multiplicative property when is associative.
Contents
[hide]Matrix Determinants are Multiplicative
In this section we prove that the determinant as defined for matrices is multiplicative.
We first note that from rearrangements of terms. If we let , we then have
On the other hand, where is the set , and is the set of functions mapping into itself.
From equation (1), it thus suffices to show that if is not a permutation on , then
To this end, suppose that is not a permutation. Then there exist distinct integers such that . Let be the permutation on that transposes and while fixing everything else. Then as the latter product is the same as the former, with two terms switched. On the other hand is an odd permutation, so Since , we can partition the elements of into pairs for which the equation above holds. Equation 2 then follows, and we are done.
Equivalence of Definitions
We now prove that our two definitions are equivalent. We first note that the definitions coincide in the case of upper-triangular matrices, as each entry in the diagonal of an upper-triangular matrix corresponds to a (generalized) eigenvalue of the matrix.
We now use the fact that every element of is similar to an upper triangular matrix; that is, there exists an upper triangular matrix and an invertible matrix such that Writing for our specialized determinant for matrices and for our generalized definition with the characteristic polynomial, we have as the characteristic polynomial does not change under automorphisms of that fix . Our two definitions are therefore equivalent.
References
- Garibaldi, Skip, "The Characteristic Polynomial and Determinant Are Not Ad Hoc Constructions". American Mathematical Monthly 111 (2004), no. 9, p. 761, Nov. 2004. Preprint