Modules
Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
Last update: 02 February 2012
Modules
Let be a ring.
- An abelian group is a set with an operation such that
- If
then
- If
then
- There is an element such that
for all
- If there is an element such that
- An module is an abelian group with an action such that
- If
and
then
and
- If then ,
- If
and then
- The regular module is the abelian group with action given by left multiplication. Equivalently, the regular module is the set
and action
given by
HW:
Show that the regular module is an module.
Examples.
- is a module.
- If and then is an module.
- Let be a ring. Then is an module.
- If is a ring and is an ideal of then is an module.
Let be a field.
- The category of abelian groups is equivalent to the category of modules.
- The category of vector spaces over is equivalent to the category of modules.
- The category of vector spaces over with a linear transformation is equivalent to the category of modules.
Let be a ring. Let be an module.
- A submodule of is a subset such that
- If
then
- If then
- If and then
- A left ideal is a submodule of the regular module.
HW:
Show that 0 is a submodule of .
HW:
Show that is a submodule of .
HW:
Show that is a left ideal of if and only if is a subset of such that
- If
then
- If then
- If and then
Let be a ring and let be an module.
- The annihilator of an element is
- The annihilator of is the set
HW:
Show that is a left ideal of .
HW:
Show that
HW:
Show that is an ideal of
HW:
Give an example of a ring such that
HW:
Give an example of a ring such that
HW:
Give an example when is not and not .
Let be a ring.
- A simple module is an module which has no submodules except and .
- An indecomposable module is an module that cannot be written as for any two submodules of .
- A cyclic module is an module that is generated by a single element.
HW:
Give an example of a simple module.
HW:
Give an example of a ring such that is a simple module.
Let be a ring and let and be modules.
- An module homomorphism is a function such that
- If
then
- If and then
- An endomorphism of is a homomorphism
Let and be modules.
- The set
with addition and action given by
is an module.
- The abelian group with multiplication given by
is a ring.
Let be a ring.
- If is a simple module then is a division ring.
Notes and References
Where are these from?
References
References?
page history