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

  1. Set of group homomorphisms from to itself is naturally a ring
    where addition is given pointwise and multiplication is given by composition

  2. Giving the structure of an -module through action is equivalent to
    Giving ring homomorphism

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 then

is linearly independent if

then

Basis of Module

Let be a module over
Let set then

is a basis for if and only if it is

  1. Linearly Independent
  2. 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 then

Well-defined as if then so hence

Module Homomorphism

Let be -modules then

is a -module homomorphism if

  1. for all

  2. 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 of

Let be the quotient map

If is a submodule of then is a submodule of
If a submodule of then is a submodule of

Map is an injective from submodules of to submodules of containing
Thus correspond bijectively to submodules of which contain


Annihilator of a Element

Let be an -module
Let then

Annihilator of is defined as

Torsion Element

Let be an -module
Let then

is 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 then

is a submodule of and Quotient Module is a torsion-free module

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

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 elements

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

  1. Let be a spanning set for , then is uniquely determined by the restriction to

  2. Let be a basis for
    For any function then
    Exists unique -module homomorphism


Finitely Generated Modules as Quotients of Free Modules

  1. Let be a nonzero finitely generated module then
    Exists as surjective homomorphism with
  1. Le and be as of then there exists free module with and
    injective homomorphism such that

with

Presentation of a Module

Let be a finitely generated -module
Pair of maps such that

where 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 then

If 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 is

Hence it is unique

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

Chinese Remainder Theorem for PIDs

Let be a set of pairwise coprime elements of PID such that

Then