The last example (Page
) touched upon one of
the core objectives of this chapter and we surely don't need to explain why we
spend so much time to talk about the seemingly unrelated subjects in the last
two sections. Let us go back to the main track: Classifying matrices into
equivalence classes.
Given
-homomorphism
, finding suitable bases
,
for
and
respectively, we know how to
represent
as a matrix
with entries in
. We
note here that the dimension
of
is no longer assumed to be
less than or equal to the dimension
of
and
may not
be one-to-one. The sequence
is exact, but not necessary short exact, where
is easily
seen to be finitely generated.
Given matrices
over a P.I.D.
, by
Definition 65.1,
are equivalent if and only if there are invertible matrices
,
so that
. As usual, matrices
and
can be interpreted as "changing bases"
operations on the
-modules
and
. In
this section, our focal point is to analyze the matrix equivalence
relation in terms of the elementary and secondary
(Definitions 65.2 and 65.3) row and
column operations. In other words, we will show that each invertible square
matrix can be decomposed as a product of a sequence of elementary and secondary
matrices. In Section 7.1.2, we have seen that the effects of
multiplying these types of matrices on the left or right to a matrix
are
equivalent to doing the correspondent elementary and secondary row, column
operations on the matrix
.
Exercise:
Given free
-module
,
be an invertible
matrix.
Show that
Hint: Can be done easily by mimicking the proof for Theorem 35.
Let
be a matrix
over the P.I.D.
,
,
be the standard bases for the free
-modules
and
, respectively.
Clearly, this matrix
induces a
-homomorphism
which is the extension of
,
,
.
The image of
is a free submodule of
. By
Theorems 83 and 84, we may find a new basis
for
and a list of scalars
with
for
so that
is a basis for
. Our second focal point in this section is to fulfill
the promise we made in Section 7.1.2 by proving
that, for each
over a
P.I.D.
,
is equivalent to a matrix
of the following format:
Exercise:
Clearly,
is a finitely generated
-module. Show that
is the invariant factors for
. Note:
All the cyclic submodules of
induced by the
submatrix
have order 1, hence, are trivial submodules. The
copies of
added
to the list
induce the torsion free summand of
.
We will devote the rest of this section to the following three tasks: