nLab
determinant

Idea
Definition
- Preliminaries on exterior algebra
- Determinant of a matrix
Properties
In terms of Berezinian integrals
Related entries
References

Idea

The determinant is the (essentially unique) universal alternating multilinear map.

Definition

Preliminaries on exterior algebra

Let Vect $_{k}$ be the category of vector spaces over a field $k$ , and assume for the moment that the characteristic $char (k) \neq 2$ . For each $j \geq 0$ , let

{sgn}_{j} : S_{j} \to hom (k, k)

be the 1-dimensional sign representation? on the symmetric group $S_{j}$ , taking each transposition $(i j)$ to $- 1 \in k^{*}$ . We may linearly extend the sign action of $S_{j}$ , so that $sgn$ names a (right) $k S_{j}$ -module with underlying vector space $k$ . At the same time, $S_{j}$ acts on the $j^{th}$ tensor product of a vector space $V$ by permuting tensor factors, giving a left $k S_{j}$ -module structure on $V^{\otimes j}$ . We define the Schur functor

Λ^{j} : {Vect}_{k} \to {Vect}_{k}

by the formula

Λ^{j} (V) = {sgn}_{j} \otimes_{k S_{j}} V^{\otimes j} .

It is called the $j^{th}$ alternating power (of $V$ ).

Proposition

If $V$ is $n$ -dimensional, then $Λ^{j} (V)$ has dimension $(\binom{n}{j})$ . In particular, $Λ^{n} (V)$ is 1-dimensional.

Proof

If $e_{1}, \dots, e_{n}$ is a basis for $V$ , then expressions of the form $e_{n_{1}} \otimes \dots \otimes e_{n_{j}}$ form a basis for $V^{\otimes j}$ . Let $e_{n_{1}} \land \dots \land e_{n_{j}}$ denote the image of this element under the quotient map $V^{\otimes j} \to Λ^{j} (V)$ . We have

e_{n_{1}} \land \dots \land e_{n_{i}} \land e_{n_{i + 1}} \land \dots \land e_{n_{j}} = - e_{n_{1}} \land \dots \land e_{n_{i + 1}} \land e_{n_{i}} \land \dots \land e_{n_{j}}

(consider the transposition in $S_{j}$ which swaps $i$ and $i + 1$ ) and so we may take only such expressions on the left where $n_{1} < \dots < n_{j}$ as forming a spanning set for $Λ^{j} (V)$ , and indeed these form a basis. The number of such expressions is $(\binom{n}{j})$ .

Remark

In the case where $char (k) = 2$ , the same development may be carried out by simply decreeing that $e_{n_{1}} \land \dots \land e_{n_{j}} = 0$ whenever $n_{i} = n_{i'}$ for some pair of distinct indices $i$ , $i'$ .

Now let $V$ be an $n$ -dimensional space, and let $f : V \to V$ be a linear map. By the proposition, the map

Λ^{n} (f) : Λ^{n} (V) \to Λ^{n} (V),

being an endomorphism on a 1-dimensional space, is given by multiplying by a scalar $D (f) \in k$ . It is manifestly functorial since $Λ^{n}$ is, i.e., $D (f g) = D (f) D (g)$ . The quantity $D (f)$ is called the determinant of $f$ .

Determinant of a matrix

We see then that if $V$ is of dimension $n$ ,

\det : End (V) \to k

is a homomorphism of multiplicative monoids; by commutativity of multiplication in $k$ , we infer that

\det (U A U^{- 1}) = \det (A)

for each invertible linear map $U \in GL (V)$ .

If we choose a basis of $V$ so that we have an identification $GL (V) ≅ {Mat}_{n} (k)$ , then the determinant gives a function

\det : {Mat}_{n} (k) \to k

that takes products of $n \times n$ matrices to products in $k$ . The determinant however is of course independent of choice of basis, since any two choices are related by a change-of-basis matrix $U$ , where $A$ and its transform $U A U^{- 1}$ have the same determinant.

By following the definitions above, we can give an explicit formula:

\det (A) = \sum_{σ \in S_{n}} sgn (σ) \prod_{i = 1}^{n} a_{i σ (i)} .

Properties

We work over fields of arbitrary characteristic. The determinant satisfies the following properties, which taken together uniquely characterize the determinant. Write a square matrix $A$ as a row of column vectors $(v_{1}, \dots, v_{n})$ .

$\det$ is separately linear in each column vector:

$\det (v_{1}, \dots, a v + b w, \dots, v_{n}) = a \det (v_{1}, \dots, v, \dots, v_{n}) + b \det (v_{1}, \dots, w, \dots, v_{n})$ \det(v_1, \ldots, a v + b w, \ldots, v_n) = a\det(v_1, \ldots, v, \ldots, v_n) + b\det(v_1, \ldots, w, \ldots, v_n)
$\det (v_{1}, \dots, v_{n}) = 0$ whenever $v_{i} = v_{j}$ for distinct $i, j$ .
$\det (I) = 1$ , where $I$ is the identity matrix.

Other properties may be worked out, starting from the explicit formula or otherwise:

If $A$ is a diagonal matrix, then $\det (A)$ is the product of its diagonal entries.
More generally, if $A$ is an upper (or lower) triangular matrix, then $\det (A)$ is the product of the diagonal entries.
If $E / k$ is an extension field and $f$ is a $k$ -linear map $V \to V$ , then $\det (f) = \det (E \otimes_{k} f)$ . Using the preceding properties and the Jordan normal form? of a matrix, this means that $\det (f)$ is the product of its eigenvalues (counted with multiplicity), as computed in the algebraic closure of $k$ .
If $A^{t}$ is the transpose of $A$ , then $\det (A^{t}) = \det (A)$ .

Cramer’s rule

A simple observation which flows from these basic properties is

Proposition

(Cramer’s Rule)

Let $v_{1}, \dots, v_{n}$ be column vectors of dimension $n$ , and suppose

w = \sum_{j} a_{j} v_{j} .

Then for each $i$ we have

a_{j} \det (v_{1}, \dots, v_{i}, \dots, v_{n}) = \det (v_{1}, \dots, w, \dots, v_{n})

where $w$ occurs as the $i^{th}$ column vector on the right.

Proof

This follows straightforwardly from properties 1 and 2 above.

For instance, given a square matrix $A$ such that $\det (A) \neq 0$ , and writing $A = (v_{1}, \dots, v_{n})$ , this allows us to solve the equation

A \cdot a = w

and we easily conclude that $A$ is invertible if $\det (A) \neq 0$ .

Remark

This holds true even if we replace the field $k$ by an arbitrary commutative ring $R$ , and we replace the condition $\det (A) \neq 0$ by the condition that $\det (A)$ is a unit. (The entire development given above goes through, mutatis mutandis.)

Characteristic polynomial and Cayley-Hamilton theorem

Given a linear endomorphism $f : M \to M$ of a finite rank free unital module over a commutative unital ring, one can consider the zeros of the characteristic polynomial $\det (t \cdot 1_{V} - f)$ . The coefficients of the polynomial are the concern of the Cayley-Hamilton theorem.

Over the real numbers: volume and orientation

A useful intuition to have for determinants of real matrices is that they measure change of volume. That is, an $n \times n$ matrix with real entries will map a standard unit cube in $ℝ^{n}$ to a parallelpiped in $ℝ^{n}$ (quashed to lie in a hyperplane if the matrix is singular), and the determinant is, up to sign, the volume of the parallelpiped. It is easy to convince oneself of this in the planar case by a simple dissection of a parallelogram, rearranging the dissected pieces in the style of Euclid to form a rectangle. In algebraic terms, the dissection and rearrangement amount to applying shearing or elementary column operations to the matrix which, by the properties discussed earlier, leave the determinant unchanged. These operations transform the matrix into a diagonal matrix whose determinant is the area of the corresponding rectangle. This procedure easily generalizes to $n$ dimensions.

The sign itself is a matter of interest. An invertible transformation $f : V \to V$ is said to be orientation-preserving if $\det (f)$ is positive, and orientation-reversing if $\det (f)$ is negative. Orientations play an important role throughout geometry and algebraic topology, for example in the study of orientable manifolds (where the tangent bundle as $GL (n)$ -bundle can be lifted to a ${GL}_{+} (n)$ -bundle structure, ${GL}_{+} (n) ↪ GL (n)$ being the subgroup of matrices of positive determinant). See also KO-theory?.

Finally, we include one more property of determinants which pertains to matrices with real coefficients (which works slightly more generally for matrices with coefficients in a local field):

If $A$ is an $n \times n$ matrix, then $\det (\exp (A)) =$ $\exp ($ trace $(A))$

In terms of Berezinian integrals

see Pfaffian for the moment

Related entries

matrix, linear algebra, exterior algebra, characteristic polynomial
quasideterminant, Berezinian,Jacobian, Pfaffian, hafnian, Wronskian
resultant, discriminant?, hyperdeterminant
determinant line, determinant line bundle, Pfaffian line bundle
density bundle

References

The proof of Proposition 3 on surjective endomorphisms of finitely generated modules was extracted from

Stacks Project, Commutative Algebra, section 13 (pdf)

Revised on January 22, 2013 22:04:12 by Urs Schreiber (89.204.135.189)

nLab determinant

Contents

Idea

Definition

Preliminaries on exterior algebra

Proposition

Proof

Remark

Determinant of a matrix

Properties

Cramer’s rule

Proposition

Proof

Remark

Characteristic polynomial and Cayley-Hamilton theorem

Over the real numbers: volume and orientation

In terms of Berezinian integrals

Related entries

References

nLab
determinant