3.1 Modules
Know basic notions:
(i) for a general, not necessarily commutative ring
:
-module,
submodule, quotient module, isomorphism theorem(s), correspondence
theorem; annihilators and torsion elements; cyclic, simple (or
irreducible) and free modules; direct sums and direct products and their
universal properties; know that the direct product of infinitely many
copies of
is not a free
-module;
spanning and linearly independent subsets; sets of
-module
homomorphisms and the algebraic structures on them:
is always an abelian group and an
-module
if
is commutative;
is always a ring and an
-algebra
if
is commutative; know that
is isomorphic to
if
is commutative;
(ii) for an integral domain
: torsion submodule; well-defined rank of a free
-module;
know that submodules of free modules need not be free but that rk
if
is a free submodule of a free module
.
Know the basic theorems for finitely generated modules over a PID : submodules of a free -module are free (this is also true if is not finitely generated); torsion free finitely generated -modules are free; a finitely generated -module is always the direct some of its torsion submodule and a free (finitely generated) submodule, and is a finite direct sum of cyclic modules; existence and uniqueness of invariant factors and elementary divisors, namely (see also Section 1.3):
Elementary Divisor Form (longest decomposition into cyclics): Any finitely generated -module can be written as , where is the rank of , the are (not necessarily distinct) prime elements of , determined up to multiplication with units by , and the are natural numbers, also uniquely determined by (up to possible permutations of the direct summands). The prime powers are called the elementary divisors of .
Invariant Factor Form (shortest decomposition into cyclics):
with
as before and elements
satisfying
.
These elements
are, up to multiplication with units, uniquely determined by
and called the invariant factors of
.
(Side remark: The number
is often called the Betti number of
.)
Know the "Compatible Basis Theorem": If
is a submodule of a finitely generated free
-module
a PID
,
then there exist an
-basis
of
and elements
(
), up to multiplication with units uniquely determined by
and
and called the invariant factors of
with respect to
,
such that
and
is an
-basis
of
.
Know How to Decompose if is Euclidean:
(I) Write
for
free on
generators
,
and choose (not necessarily free) generators
for
(in other words:
with
is a set of defining relations for
). Define the relations matrix
.
(II) Now apply elementary row and column operations operations to
until you reach a diagonal form
with
and
,
meaning that the resulting matrix has
as its first
entries on the main diagonal and zeros everywhere else (the Euclidean
Algorithm guarantees that this is possible).
(III) Then the
’s which are no units are the invariant factors of
,
and
is isomorphic to
.
Keeping track of the column operations, this procedure also yields
compatible bases for
and
,
implying that
(including the units) are the invariant factors of
with respect to
.
Related Problems
(Sep ) If in a PID have , show that there exists an invertible matrix of determinant 1 over with . (This is false if is merely a UFD).
(Sep ) If are submodules of a general -module , with , show .
(Sep 84 #6) Find the invariant factors of the following matrices over , and decide if they are equivalent: .
(Sept ) If is an artinian module over a general , show that any injective endomorphism is surjective.
(A module over a general ring is called artinian if there is no infinite chain of strictly decreasing submodules of . Standard example (explain why this is an example!): finite dimensional -algebra for a field and finitely generated -module.)(Jan 87 #6; Aug 88 #6) If is an ideal of a commutative ring , show
(a) is simple as an -module is a maximal ideal,
(b) prime is an indecomposable -module;
(An -module is called indecomposable if it cannot be written as the direct sum of two nonzero -modules.)
(c) if is prime, what kind of ring is ?(May ) Let be the free module of rank 2 over the ring of integers. Let be the submodule of spanned by . Find a -basis for the submodule .
(Aug 94 #8) If the annihilator of a left -module is , show that for submodules of we have . Show furthermore that we have , but show that this inclusion could be strict.
Additional question: Is true if is a PID and is a finitely generated torsion -module (no free summand)?(Aug ) Let be a finitely generated module over a ring . Show that any generating set for as -module must contain a finite generating set. Conclude that has a minimal generating set (no proper subset generates ), and that every minimal generating set of is finite.
(Aug ) Let be the free module over with basis a submodule with basis , where
(a) There is a theorem which implies that
has another basis
for which
are a basis for
for some
such that
.
Write a carefully worded statement of this theorem, giving all
appropriate hypotheses and conclusions.
(b) Find the values
for the example given here.
10. (Jan 98 #4) Let
be a module over a ring. A section
of
is a pair of submodules
of
with
;
a trivial section is where
.
A submodule
of
covers a section
if
,
and avoids
if
.
(a) Show that
covers
iff
,
and avoids
iff
.
(b) Show that every
simultaneously covers and avoids any trivial section; that any
with
covers
and that any
with
avoids
.
(c) Give an example of a
-module
and a submodule
that covers one nontrivial section
and avoids another nontrivial section
for which the two quotients
and
are isomorphic.
11. (Jan
) Let
be a PID,
a prime element of
and
a finitely generated
-module
such that there exists a natural number
with
.
We choose
minimal
with this property, i.e.
.
(a) Describe the structure of
.
Show that
is an elementary divisor of
and that each elementary divisor of
divides
.
(b) Let
be any element of
with the property that
.
Show that the cyclic module
has a complement
in
,
i.e.
.
12. (Jan 08 #2) (a) Let
be a commutative ring with 1 , and
a finite direct sum
of simple unital left
-modules
.
Show that
has both the ascending and descending chain conditions on
-submodules.
(b) Where does your argument use the hypotheses that
is unital,
is commutative, or
is unital?
13. (Aug
) (a) Let
be an noetherian module for a ring
,
so that
satisfies the ascending chain condition on submodules. Let
be a surjective
-endomorphism.
Prove that
is an isomorphism.
(b) In (a) suppose that
is a field, so
is a vector space. Give another explanation of (a) in terms of the rank
and nullity of
.
14. (Jan
) Let
be a commutative ring with 1 . Recall that a left R -module
is called Noetherian if it satisfies the ascending chain condition on
submodules and Artinian if it satisfies the descending chain condition
on submodules. Assume that an
-module
is both Artinian and Noetherian. (For example,
might be a field, and
might be a finitedimensional vector space over
). Let
be an
-module
homomorphism.
(a) Prove that there exists
s.t.
and
.
(b) Prove that if
is as in part (a), then
.
(c) Deduce from (a) and (b) that there exist submodules
and
of
s.t.
,
is nilpotent and
is invertible (as a map from
to
).
(d) Now assume that
is a field of characteristic zero,
is a finite-dimensional vector space over
and
for every
.
Prove that
is nilpotent. Hint: Apply (c), assume that
and reach a contradiction by applying the Cayley-Hamilton theorem to
.
15. (Aug
) Let
be a commutative ring with identity, and let
be a nilpotent ideal, i.e.,
for some
.
Let
be two
-modules,
and let
be an
-homomorphism.
Suppose that the induced homomorphism from
to
is surjective. Prove that
is surjective.
16. (Jan
) Let R be a commutative ring with identity. A non-zero
-module
is said to be irreducible if 0 and
are the only submodules of
.
Prove that
is irreducible if and only if
,
where
is a maximal ideal of
.
17. (Aug 16 # 7)
(a)Give a complete and irredundant list of abelian groups of order
144.
(b)Give a complete and irredundant list of finitely generated modules
over
where the polynomial
acts trivially.
18. (Jan 17 #7) Consider the matrix
(a) Find the characteristic and minimal polynomials of this
polynomial and its Jordan normal form.
(b) Consider map
induced by
.
Describe the kernel and cokernel of this map as a sum of copies of
and
.
19. (Aug 18 #4) Let
be an integral domain and let
be a nontrivial torsion
-module.
(a) If
is finitely generated then the annihilator of
in
is nontrivial. Recall that the annihilator of
is the ideal
for all
.
(b) Find an integral domain
and a torsion module
over
whose annihilator is the zero ideal.
20. (Jan
) Let
be a commutative ring with 1 , let
be an
-module
and
a submodule of
.
(a) Prove that if
and
are both finitely generated, then
is finitely generated
(b) Give an example where
is finitely generated and
is not.
21. (Jan 20 #6) In each part of this problem determine if the given
objects are isomorphic:
(a)
and
as
-vector
spaces
(b)
and
as rings
(c)
and
as rings
(d)
and
as
-modules
22. (Jan 22 #6) In each part determine whether the statement is TRUE (in
all cases) or FALSE (in at least one case) and prove your claim. An
answer (correct or incorrect) without explanation will not receive any
credit.
(a) Let
be a commutative domain with 1 and
an
-module.
If
and
are both torsion elements, then
is also a torsion element.
(b) If
and
are fields, then
is nonzero.
(c) If
is a commutative ring with 1 and every
-module
is free, then
is a field.
(d) If
is a commutative ring with 1 and
is a finitely generated
-module,
then every submodule of
is finitely generated.