## MAS220 Algebra

Note: This is an old module occurrence.

You may wish to visit the module list for information on current teaching.

Both semesters, 2016/17 | 20 Credits | ||||

Lecturer: | Prof Neil Dummigan | Home page | Timetable | Reading List | |

Assessment | Full Syllabus |

The definition of abstract algebraic structures such as groups, rings, and vector spaces, is dependent on the concepts of set theory, and did not occur until the late nineteenth and early twentieth centuries. That many of the things mathematicians had already been studying turned out to be examples shows that these are the right definitions, not just exercises in playing with axioms. Through them we achieve a stunning unification of diverse areas of mathematics. The aim of this module is not only to build abstract theories, but to use them to obtain a deeper understanding of familiar mathematics, including arithmetic, coordinate geometry, vectors, calculus, linear and differential equations, with one eye on applications, to underline the significance of this mathematics.

**Prerequisites:** MAS110 (Mathematics Core I); MAS111 (Mathematics Core II); MAS114 (Numbers and Groups)

**Corequisites:** MAS211 (Advanced Calculus and Linear Algebra)

The following modules have this module as a prerequisite:

MAS333 | Fields |

MAS346 | Groups and Symmetry |

MAS435 | Algebraic Topology |

MAS436 | Functional Analysis |

MAS438 | Fields |

MAS439 | Commutative Algebra and Algebraic Geometry |

## Outline syllabus

- Quotient Groups
- Conjugation in Groups
- Group Homomorphisms
- Introduction to Rings
- Ring Homomorphisms
- Divisibility and Factorisation
- Vector Spaces
- Linear Maps
- Conjugation of Matrices
- Inner Products
- Self-adjoint Operators

## Office hours

43 lectures, 11 tutorials

## Assessment

Two short tests during lecture time, (5% each), Thursday Week 9 Semester 1 and Thursday Week 2 Semester 2. One formal 2.5 hour written examination (90%). Format: All questions compulsory, length and number not fixed, total 60 marks.

## Full syllabus

**1. Quotient Groups**

(4 lectures)

**Z**, O

_{2}, GL

_{2}(

**R**) and S

_{n}as examples. Putting a group structure on the set of cosets, various incarnations of even and odd. Normal subgroups, quotient groups.

**2. Conjugation in Groups**

(3 lectures) Conjugation as a group action, conjugacy classes as orbits. Conjugation in GL

_{2}(

**R**), O

_{2}and S

_{n}. Normal subgroups as unions of conjugacy classes. The centre, the class equation, application to p-groups.

**3. Group Homomorphisms**

(3 lectures) Homomorphisms, image subgroups and kernel normal subgroups. First Isomorphism Theorem for groups. Representations, Buckminsterfullerene.

**4. Introduction to Rings**

(4 lectures) Ring axioms. Commutative and non-commutative rings, units, division rings, fields. Examples: polynomial rings, Gaussian integers, Hamilton's quaternions, matrix rings, Weyl algebra.

**5. Ring Homomorphisms**

(2 lectures) Ring homomorphisms, inclusion and evaluation examples. First Isomorphism Theorem for rings.

**6. Divisibility and Factorisation**

(6 lectures) Divisibility, integral domains, Euclidean domains, Euclid's algorithm. Irreducibles, associates, modular arithmetic in Euclidean domains, rings of congruence classes. Unique factorisation in Euclidean domains, application to the Gaussian integers and the two-square theorem.

**7. Vector Spaces**

(5 lectures) Vectors in the plane and space. Cartesian coordinates. Spaces of linear functions, lines and planes and their bases. n-dimensional space,

**R**

^{n}and linear equations. F

^{n}for any field, the ASCII code. Vector spaces. Subspaces, including null spaces and spans. Basis and dimension.

**C**,

**F**

_{4}and

**H**as vector spaces. Infinite-dimensional spaces of continuous functions.

**8. Linear Maps**

(7 lectures) Evident isomorphisms. Homomorphisms of vector spaces, example F

^{n}→ F, re-name linear maps. Example F

^{n}→ F

^{m}, matrices. Linear coordinate changes, geometrical transformations. Evaluation, differentiation and integration of functions as linear maps, linear differential equations. Ring of linear operators, group of units, Weyl algebra revisited. Image and kernel subspaces for linear maps. Null spaces, column spaces, rank. Quotient spaces, restriction of functions. First Isomorphism Theorem for vector spaces. Rank-Nullity Theorem.

**9. Conjugation of Matrices**

(1 lecture) Matrix of a linear operator with respect to a basis. Change of basis. Trace, determinant, eigenvalues and eigenvectors of a linear operator. Crystals.

**10. Inner Products**

(5 lectures) Dot product of vectors in the plane or space, geometrical demonstration of symmetry and bilinearity. Deduction of algebraic formula, Pythagoras' Theorem. Dot product, lengths and angles (well-defined?) in

**R**

^{n}. Real inner product spaces, Cauchy-Schwarz Inequality, Triangle Inequality. Substitution of integration for addition for inner products of functions. Orthogonality of trigonometric functions. Orthogonal complements. Linear functions, lines and planes, and Rank-Nullity, all revisited. Orthogonal projection, Gram-Schmidt process, Legendre polynomials. Fourier coefficients as inner products.

**11. Self-adjoint Operators**

(3 lectures) The adjoint property of the transpose of a matrix, general definition of the adjoint of an operator. Self-adjoint operators, real eigenvalues and orthogonal eigenvectors for distinct eigenvalues. Integration by parts, self-adjoint differential operators, orthogonality of trigonometric functions. Solution of Legendre's equation using orthogonality of Legendre polynomials. Complex inner product spaces, Spectral Theorem.

## Reading list

Type | Author(s) | Title | Library | Blackwells | Amazon |
---|---|---|---|---|---|

C |
Allenby | Rings, Fields and Groups | Blackwells | Amazon | |

C |
Cameron | Introduction to Algebra | Blackwells | Amazon | |

C |
Carter | Visual group Theory | Blackwells | Amazon | |

C |
Chatters and Hajarnavis | An Introductory Course in Commutative Algebra | Blackwells | Amazon | |

C |
Halmos | Finite-Dimensional Vector Spaces | Blackwells | Amazon | |

C |
Herstein | Abstract Algebra | Blackwells | Amazon | |

C |
Jordan and Jordan | Groups | Blackwells | Amazon | |

C |
Kaye and Wilson | Linear Algebra | Blackwells | Amazon | |

C |
Lay | Linear Algebra and its Applications | Blackwells | Amazon | |

C |
Nicholson | Linear Algebra with Applications | Blackwells | Amazon |

(

**A**= essential,

**B**= recommended,

**C**= background.)

Most books on reading lists should also be available from the Blackwells shop at Jessop West.

## Timetable (semester 2)

Tue | 11:00 - 11:50 | tutorial | (group 221) | (odd weeks) | Hicks Lecture Theatre 4 | ||

Tue | 11:00 - 11:50 | tutorial | (group 222) | (odd weeks) | Hicks Lecture Theatre D | ||

Tue | 11:00 - 11:50 | tutorial | (group 223) | (odd weeks) | Hicks Seminar Room F20 | ||

Thu | 09:00 - 09:50 | lecture | Hicks Lecture Theatre 1 | ||||

Thu | 11:00 - 11:50 | tutorial | (group 224) | (odd weeks) | Hicks Lecture Theatre A | ||

Fri | 10:00 - 10:50 | tutorial | (group 225) | (odd weeks) | Hicks Seminar Room F20 | ||

Fri | 13:00 - 13:50 | lecture | Dainton Building Lecture Theatre 1 |