![]() | Department of Mathematics & Computer Science | |||
![]() |
Credits: 10 | Convenor: Dr. R. J. Marsh | Semester: 2 |
Prerequisites: | essential: MC145, MC241 | |
Assessment: | Regular Coursework: 20% | One and a half hour exam: 80% |
Lectures: | 18 | Problem Classes: | 5 |
Tutorials: | none | Private Study: | 52 |
Labs: | none | Seminars: | none |
Project: | none | Other: | none |
Surgeries: | none | Total: | 75 |
Groups and rings are central concepts in MC254, and the introduction to these topics in MC145 will be very useful to students on this module. The concept of a vector space provides a motivational example of a module, so MC254 can be regarded as an extension of the theory of vector spaces developed in MC241, Linear Algebra. A good understanding of vector spaces, and the distinction between vectors and scalars, is important in understanding rings and modules.
Consider also a vector space over a field (which could, for
example, be the real numbers). Elements of this vector space are vectors.
Elements of the field are called scalars. Given a scalar
and a
vector v, we can form a new vector
. Thus, the scalars `act'
on the vector space. Each scalar
defines a map from the vector
space to itself -- a vector v is mapped to
. This is an example
of a module -- we say that the vector space is a module for
.
In this course, we consider what we can do if we allow more general sets of
scalars -- i.e. we allow a ring to be the set of scalars. So a module is
a `vector space' over a ring.
Much of the theory of commutative rings is motivated by the properties of the integers in addition to the usual ring properties of addition and multiplication. This leads firstly to the idea of a Euclidean domain, which gives a general setting for the division algorithms already seen in MC145 for the integers and polynomials over a field, and secondly to the concept of a principal ideal domain, which gives particularly useful structure theorems for both rings and modules. Describing the structure of rings and modules is important in abstract algebra and enables us to apply this theory to many diverse areas of mathematics, since rings and modules form one of the important languages of advanced mathematics; from the examples listed above, it can be seen that the ideas in this course are used in number theory, linear algebra and group theory. The final part of this course considers some general theorems which allow us to describe the structure of any module.
Further Study
Topics related to the course are covered in the material mentioned in the `Reading' section below. This module will provide students with a basic understanding of ring and module theory, one of the languages of advanced mathematics, which is employed in a number of fields of study, including group theory, number theory and linear algebra. It is also employed in the theories of algebraic groups, quantum groups and representation theory, areas of research carried out in the Department. Further study of this topic, and its relationship to field theory, is possible in the module MC382, Abstract Algebra.
To understand and be able to use the main results and proofs of this course.
To be able to investigate the properties of a ring or module.
To relate the concept of an ideal to homomorphisms and factor rings.
To distinguish between the concepts of primeness and irreducibility.
To know the interrelationships between Euclidean domains, principal ideal domains and unique factorisation domains.
To understand the unique factorisation properties motivated by the example of the integers.
To understand how every finitely generated module is a homomorphic image of a free module.
The ability to check that a proof is correct.
The ability to solve mathematical problems.
The ability to present written arguments and solutions in a coherent and logical form.
Module Concepts Module, submodule, factor module, module homomorphism, kernel, image, cyclic module, finitely generated modules, direct sum of modules, free module.
Theorems
Construction of ideals, Isomorphism theorems for rings and for modules,
Every principal ideal domain is a unique factorisation domain,
If R is a UFD then so is R[x].
Characterisation of a division ring as a ring with precisely two right
ideals,
Relationship between divisibility in an integral domain and its relation to
principal ideals,
Every Euclidean domain is a principal ideal
domain, Every prime element in an integral domain is irreducible and the
converse holds in a principal ideal domain,
is not a principal ideal domain,
Characterisation of cyclic modules,
Every finitely generated module is a homomorphic image of some
Rn, Every module is a homomorphic image of a free module.
Main Examples
Example of a non-principal ideal and a one-sided ideal,
ideals in , adjoining a square root to
to get
, the norm function on
,
An example of a principal ideal domain which is not a Euclidean domain,
Discussion of unique factorisation in
and
where F is a field.
D. A. R. Wallace, Groups, Rings and Fields, Springer.
R. B. J. T. Allenby, Rings, Fields and Groups, 2nd Ed., Arnold.
A. W. Chatters and C. R. Hajarnavis, An Introductory Course in Commutative Algebra, Oxford University Press.
J. B. Fraleigh, A First Course in Abstract Algebra, 5th Ed., Addison-Wesley.
B. Hartley and T. Hawkes, Rings, Modules and Linear Algebra, Chapman and Hall (out of print).
W. K. Nicholson, Introduction to Abstract Algebra, PWS-Kent.
D. Sharpe, Rings and Factorization, Cambridge University Press (out of print).
The exam paper contains 4 questions. Any number of questions may be attempted, but only the best 3 answers will be taken into account. Full marks may be obtained for answers to 3 questions. All questions carry equal weight.
![]() ![]() ![]() ![]() ![]() |
Author: S. J. Ambler, tel: +44 (0)116 252 3884
Last updated: 10/4/2000
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.