[The University of Leicester]

Department of Mathematics



Next: MA1151 Introductory Real Analysis Up: ModuleGuide03-04 Previous: MA1101 Proof and Logical Structures

MA1102 Algebraic Structures and Number Systems

MA1102 Algebraic Structures and Number Systems

Credits: 10 Convenor: Dr. D. Notbohm Semester: 1 (weeks 7 to 12)
Prerequisites: essential: MA1101
Assessment: Project,coursework and laboratory project: 100% Examination: 0%
Lectures: 18 Problem Classes: 5
Tutorials: none Private Study: 41
Labs: 6 Seminars: none
Project: none Other: none
Surgeries: 5 Total: 75

Subject Knowledge

Aims

This module aims to study the properties of number systems and polynomials through the solution of equations and relates these number systems to the algebraic structures of the group, ring and field. The course aims to show that apparently different structures may share the same properties and thus motivate understanding of abstract axiomatic mathematics. Maple is taught alongside the lecture course as a general tool for mathematics and this enables students to investigate more complex problems related to the lectured material than could otherwise be considered.

The course also aims to understand the interrelationships between the natural numbers, integers, rationals, real numbers and complex numbers, and the extent to which polynomial equations can be solved within each of these number systems.

Learning Outcomes

To know the definitions of and understand the key concepts introduced in this module.

To understand, reconstruct and apply the main results and proofs covered in this course.

To calculate the greatest common divisor of two integers and of two polynomials over a field.

To understand and be able to use congruence arithmetic to solve a variety of problems.

To know the concepts of a field, ring and group and their relationships with the specific number systems and polynomial rings of this module.

To use Maple interactively and to solve problems involving curve sketching and solutions of equations.

Methods

Class sessions, problem classes, handouts and computer laboratories.

Assessment

Marked problem sheets, marked project.

Subject Skills

Aims

The development of abstract mathematics and the axiomatic method.

Learning Outcomes

The ability to apply taught principles and concepts to new situations, to present written arguments and solutions in a coherent and logical form, to use the techniques taught within the course to solve problems. Knowledge of Maple as a tool for doing mathematics and specifically for curve sketching and solving equations.

Methods

Class sessions, laboratories.

Assessment

Marked problem sheets, project.

Explanation of Pre-requisites

Use is made of the following concepts from the modules MA1101 the notion of proof in general; proof by induction, by contradiction, direct proofs and other concept.

Course Description

This course studies the properties of familiar number systems by investigating the extent to which we are able to solve polynomial equations. Starting with the integers, it is clear that the equation $2x=3$ has no integer solution, but this leads to the concept of divisibility with which to investigate integer equations of the form $ax = b$ for which there is an integer solution. However, in order to solve all equations of the form $ax = b$ where $a$ and $b$ are integers ($a \neq 0$), we need `more numbers' than just the integers, so we formally construct the rational numbers to enable us to solve these equations. Moving on, what about other equations like $x^2 = 2$? How do we solve this using only the rationals? The answer is that there is no solution which is a rational number, so again we need to construct some `more numbers'. We discuss the real numbers here but leave the precise definition to the module MA1151. But even the real numbers are not enough, as the equation $x^2 + 1 = 0$ still poses a problem. So, finally, we construct the complex numbers and discuss the fundamental theorem of algebra which tells us that we now have `enough numbers' with which to solve all polynomial equations.

Many of these number systems share the same properties. For example, they all involve the familiar concepts of addition and multiplication. We end the course by setting, and hence unifying, these number systems in the formal framework of the algebraic structures of the field and ring.

Syllabus

The integers, division, greatest common divisor, division algorithm, Euclidean algorithm, coprime and prime integers and their properties.

Congruence as an equivalence relation, residue, Z$_n$, congruence arithmetic, cancellation, solving equations using congruence arithmetic including use of Euclidean algorithm.

The rational numbers constructed by an equivalence relation, field, ordered field, discussion of the real numbers and the least upper bound axiom, the finite fields Z$_p$.

Definition of a polynomial over a field, degree, leading coefficient, monic polynomial, greatest common divisor of two polynomials, division algorithm, Euclidean algorithm.

Algebraic form of a complex number, real and imaginary parts, modulus, conjugate, basic properties, Argand diagram, triangle inequality, solving polynomials and the statement and applications of the fundamental theorem of algebra, polar form of a complex number, argument, properties involving multiplication and division of complex numbers in polar form, De Moivre's Theorem, roots of unity.

Definition of a ring, commutative ring, unit, relationship between ring and field, examples, properties of the set of units of a ring, group, abelian group, relation to the additive structure of a ring, examples, Fermat's Little Theorem, example of a non-abelian group (using permutations).

The course also teaches the interactive use of the software package Maple as a tool in mathematics, and its use in investigating properties of the algebraic systems covered in the lectures. Topics covered with Maple include sketching the curve of a rational function, finding the roots of a polynomial, congruences and complex numbers.

Reading list

Recommended:

Background:

R. B. J. T. Allenby, Rings, Fields and Groups, 2nd. Ed., Arnold.

J. R. Durbin, Modern Algebra: an Introduction, 3rd Ed., Wiley.

A. P. Hillman & G. L. Alexanderson, Abstract Algebra: a First Undergraduate Course, 5th Ed., PWS-Kent.

K. E. Hirst, Numbers, Sequences and Series, Arnold.

W. K. Nicholson, Introduction to Abstract Algebra, PWS-Kent.

I. Stewart & D. Tall, The Foundations of Mathematics, Oxford University Press.

Resources

Problem sheets, handouts, lecture rooms, laboratory.

Module Evaluation

Module questionnaires, module review, year review.

Next: MA1151 Introductory Real Analysis Up: ModuleGuide03-04 Previous: MA1101 Proof and Logical Structures

[University Home] [MCS Home] [University Index A-Z] [University Search] [University Help]

Author: C. D. Coman, tel: +44 (0)116 252 3902
Last updated: 2004-02-21
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.