Module
Let be a ring with identity
Module over is abelian group with
Multiplication Action of on written as
which satisfies
Modules as Ring Homomorphisms into Endomorphism Rings
Let be an abelian group and ring
Set of group homomorphisms from to itself is naturally a ring
where addition is given pointwise and multiplication is given by compositionGiving the structure of an -module through action is equivalent to
Giving ring homomorphismProof
As is abelian
If then is a group homomorphism
As then addition in is commutative
Composition of functions gives a multiplication which distributes over addition
Hence is a ringIf map denoted by then equation
defines in terms of and conversely
Action is a homomorphism of abelian group
with compatibility of with multiplication and addition
Submodule
Let be an -module
Let then
is a submodule if it is an abelian subgroup of and for all and then
Submodule Generated by Subset
Let be an subset of an -module then
Submodule generated or spanned by is
where goes over submodules of containing
Equivalent Form
Sum of Submodules
Let be submodules then
Linearly Independent of a Set of a Module
Let be a module over
Let set thenis linearly independent if
then
Basis of Module
Let be a module over
Let set thenis a basis for if and only if it is
- Linearly Independent
- Spans
Free Module
Let be a module over
is a Free module if it has a basis
Freely Generated Module
Let be a module over
is finitely generated if it is generated by some finite subset
Quotient Modules
Let be a submodule of
Module is the quotient module of by If
For and thenWell-defined as if then so hence
Module Homomorphism
Let be -modules then
is a -module homomorphism if
for all
for all ,
So respects addition and multiplication by rings elements with
is a submodules of
is a submodules of
Submodule Correspondence lemma
Let be an -module
Let be a submodule ofLet be the quotient map
If is a submodule of then is a submodule of
If a submodule of then is a submodule ofMap is an injective from submodules of to submodules of containing
Thus correspond bijectively to submodules of which containProof
For
If thenAs is a submodule then
Hence
If then
As and is a submodule so
Hence is a submodule ofSimilar process for
As is any subset of then as is surjective
Then is a submodule in then map is surjective in submodules in to submodules in
Then is an injective mapAs then for any submodule of then
Hence image of map consists of submodules of containing
Suppose is an arbitrary submodule of and consider then
As contains then so
Hence any submodule containing is preimage of submodule of
Annihilator of a Element
Let be an -module
Let thenAnnihilator of is defined as
Torsion Element
Let be an -module
Let thenis a Torsion Element if
Torsion Module
Let be an -module
is a Torsion Module if for all then
Torsion-Free Module
Let be an -module
is Torsion Free if has no non-zero torsion elements
Cyclic Module
Let be an -module
is a Cyclic Module if it is geenrated by a single element
Torsion Submodule and Torsion-Free Quotient lemma
Let be an -module
Let thenis a submodule of and Quotient Module is a torsion-free module
Proof
Let then
Exists nonzero such that
As as is an integral domain hence
Thus if then hence
is a submodule ofSuppose is a torsion element in then
Exists nonzero such that
SoSo by definition, exists such that
But as is an integral domainAs
Hence
So is torsion free
Rank of Module lemma
Let be a finitely generated free -module then
Rank of is the size of a basis for and is uniquely determined
Proof
Let be a basis for
Let be the maximal ideal ofLet be the submodule generated by set
Let
As is an ideal then is a submodule of
As generates then
Any element in form where and meansAs contains for where
Then sums are also in so hencewhere submodule does not depend on choice of basis of
Let be the quotient map
Quotient Module is a module for as well as quotient field throughIf then
Hence
Suppose is a basis for then is a basis for -vector space
Assume where dimension is independent of
As generates and is surjective then generates
SupposeFor for then
Then
As then for for each then for each so
Hence is linearly independent and hence a -basis for
Submodules of Free Modules over a PID Are Free
Let be a finitely generated free module over a PID
Let be a basis
If is a submodule of then
is free and has rank at most elementsProof
Proof by induction on
If then
is homomorphism defined by
By First Isomorphism Theorem thenAs submodules of is an ideal and is a PID then any submodules of of are cyclic
HenceAs is a integral domain then
where so is free of rank or
Suppose
Let
LetAs is a submodule of free module and has rank
Then by induction is free of rankLet be a basis of
By second isomorphism theorem thenAs then it has basis so is either zero or free of rank
If then doneOtherwise let so that is a basis of
Claim is a basis for
If then since is a basis of then
Exists such thatHowever
So as has basis then exists such that
Hence
Suppose then
Hence as is a basis for
ButHence
is a basis for and since then done
Module Homomorphisms
Let be -modules
Let denote the set of module homomorphisms from to
with property if then is a module homomorphism where
Homomorphisms from Free Modules Are Determined by a Basis lemma
Let and be -module
Let be a -module homomorphism then
Let be a spanning set for , then is uniquely determined by the restriction to
Let be a basis for
For any function then
Exists unique -module homomorphismProof
If then as spans then there is and such that
As is a -homomorphism then
Hence is uniquely determined by
If is a basis of then
For then there is function bywith is -linear by uniqueness
If and and for then
Thus
Finitely Generated Modules as Quotients of Free Modules
- Let be a nonzero finitely generated module then
Exists as surjective homomorphism with
- Le and be as of then there exists free module with and
injective homomorphism such thatwith
Proof
Let be any finite subset of
Let be a basis forExtend map for to homomorphism
by Homomorphisms from free modules are determined by a basisis a generating set of is equivalent to map being surjective
So by surjectivity of and First Isomorphism Theorem thenAs is a PID then submodule is a free submodule of rank
Let be a basis of ofDefine by sending standard basis of to
Hence is injective and has image
Presentation of a Module
Let be a finitely generated -module
Pair of maps such thatwhere come from Finitely generated modules as quotients of free modules
Then are called the presentation of the finitely generated modules
Resolution of a Module
Let be a finitely generated -module
Let be the presentation of thenIf is injective then
are called the resolution of the finitely generated modules
Torsion-Free Modules over PID corollary
Let be a finitely generated torsion-free module over where is a PID then
is free
Generally if is a finitely generated -module then
Rank of free part of given in structure theorem isHence it is unique
Proof
By Structure Theorem for Finitely Generated Modules over a Euclidean Domain then
is isomorphic to module to module in formLet and so
If then as then
If then say thenHence is torsion
Otherwise suppose where and so
Thusas a free module is torsion free
Hence
Thus is torsion free if an only if is free
By Second Isomorphism Theorem thenHence
Structure Theorem for Finitely Generated Abelian Groups corollary
Let be a finitely generated abelian group then
Exists integer and integers greater than such that
where are uniquely determined
Proof
Same as Structure theorem for finitely generated abelian groups
but insist as unit group
Chinese Remainder Theorem for PIDs
Let be a set of pairwise coprime elements of PID such that
Then
Proof
As s are pairwise coprime then for define
Hence for each then
Thus for thenHence by Chinese Remainder Theorem and induction on then
where use induction on factor as