Determinant product theorem
The determinant is a multiplicative mapping in the sense that
for all
matrices
and
.
This means that the mapping
is a group homorphism from the general linear group into the unit group
of the body. The kernel of this mapping is the special linear group.
More generally, the Binet-Cauchy theorem applies to the determinant of a square matrix that is the product of two (not necessarily square) matrices. Even more generally, a formula for the calculation of a minor of order
product of two matrices results as a direct consequence of the Binet-Cauchy theorem. If
an
matrix and
is an
matrix and if
and
with
then the following applies with the same terms as for the generalised development theorem

The case
yields Binet-Cauchy's theorem (which becomes
the ordinary determinant product theorem for ) and the special case
yields the formula for ordinary matrix multiplication.
Existence of the inverse matrix
matrix A
is invertible (i.e. regular) if
a unit of the underlying ring (i.e.
for solids). If
is invertible, then the determinant of the inverse is
.
Similar matrices
→ Main article: Similarity (matrix)
If
and
are similar, that is, if there
exists an invertible matrix such that
then their determinants coincide, because
.
Therefore, independently of a coordinate representation, one can
define the determinant of a linear self-mapping (where
a finite-dimensional vector space) by
choosing a basis for describing the mapping
by a matrix relative to this basis and taking the determinant of this matrix. The result is independent of the chosen basis.
There are matrices that have the same determinant but are not similar.
Block matrices
For the determinant of a
block matrix

with square blocks
and
one can, under certain conditions, give formulae which exploit the block structure. For
or
follows from the generalised development theorem:
This formula is also called a box set.
If is
invertible, it follows from the decomposition

the formula

If
is invertible, then it can be formulated:

In the special case that all four blocks have the same size and commutate in pairs, this results in the following with the help of the determinant product theorem

Let
denote a commutative subring of the ring of all
matrices with entries from the body
such that
(for example, the subring generated by these four matrices), and let
be the corresponding mapping that
assigns its determinant to a square matrix with entries from This formula also holds if A is not invertible and generalises for matrices of
.
Eigenvalues and characteristic polynomial
Is the characteristic polynomial of the
matrix 

,
then
the determinant of
.
Decomposes the characteristic polynomial into linear factors (with not necessarily different α
):
,
so in particular
.
If λ
are the different eigenvalues of the matrix
with
-dimensional generalised eigenspaces, then
.
Continuity and differentiability
The determinant of real square matrices of fixed dimension
is a polynomial function
, which follows directly from Leibniz's formula. As such, it is continuous and differentiable everywhere. Its total differential at the point
can be represented by Jacobi's formula:

where
denotes the
matrix complementary to and
denotes the trace of a matrix. In particular, for invertible
that

or as an approximation formula

if the values of the matrix
are sufficiently small. The special case when
equal to the unit matrix
results in
