Advanced Algebra

MATH32010 Advanced Algebra 20 Full year Undergraduate Level 3 Cesare Giulio Ardito Unit coordinator Florian Eisele Unit coordinator Peter Rowley Unit coordinator School of Mathematics 1 FHEQ level (Framework for Higher Education Qualifications) ' Last part of a Bachelors ' European Credit Transfer & Accumulation System Rating : 10.0 Algebra is one of the fundamental areas of mathematics. Through algebraic structures common to many different areas, it allows to formalise and link disparate mathematical ideas as well as to study them in great depth. Three of the most important and ubiquitous structures are groups, rings and modules. We build to two of the fundamental results in the algebra: Sylow’s theorems for finite groups; and the structure theorem for modules over principal ideal domains, as well giving a glimpse into the world of finite simple groups.  Algebra is one of the fundamental areas of mathematics. Through algebraic structures common to many different areas, it allows to formalise and link disparate mathematical ideas as well as to study them in great depth. Three of the most important and ubiquitous structures are groups, rings and modules. We build to two of the fundamental results in the algebra: Sylow’s theorems for finite groups; and the structure theorem for modules over principal ideal domains, as well giving a glimpse into the world of finite simple groups.  The unit will build on previous units with algebraic content, namely Linear Algebra, Groups and Geometry, and Rings and Fields, to explore group theory, ring theory and linear algebra in greater depth. It will expose students to fundamental and interesting results in the subject, whilst laying foundation for further study.  <ul><li>Define standard subgroup constructions such as normalizer, centralizer and subgroup generated by a set, and prove elementary properties. Calculate these objects in small examples.  </li><li>State, prove and apply Sylow’s theorems.</li><li>Define and apply basic properties of commutative rings.</li><li>Define and provide examples of basic notions relating to modules and homomorphisms</li><li>Compute Smith normal form and apply it to determine the isomorphism type modules over PID’s and to compute the rational canonical form</li><li>Prove simple unseen statements involving the various algebraic structures discussed in this unit</li><li>Recognise examples of simple groups and perform elementary calculations in them.  </li><li>Define and compute composition series in specific examples and state and apply the Jordan-Hölder theorem.</li></ul>   <ul><li>Properties of commutative rings, in particular integral domains, PID’s and Euclidean domains with Z and C[x] as main examples. Show that Euclidean domains are UFD’s [2 weeks]</li><li>Definition of modules, submodules, generators, cyclic modules, homomorphisms, isomorphisms, direct sums. [2 weeks]</li><li>Examples of modules: modules over CG, modules over C[X] as vector spaces with a distinguished endomorphism. Definition of torsion modules and free modules with examples [1 week]</li><li>Smith normal form. Statement and proof of the structure theorem for finitely generated modules over PID’s. Deduce the classification of finite abelian groups. [4 weeks]</li><li>Relationship between of matrices and finitely generated C[x]-modules, and deduce the rational canonical form [2 weeks]</li><li>Simple groups. Composition series and the Jordan-Hölder theorem. [2 weeks]</li><li>Simplicity of Alternating groups and PSLn(F) when n ≥2, |F| ≠ 2,3. Introduction to the classification of finite simple groups. [3 weeks] </li></ul> The content will be delivered through lectures.  There will be 3 hours of contact time per week, consisting of two lectures and a weekly 1-hour tutorial.  There will be two formative exercises, one in each semester based on foundational material from each part of the unit.  1 Written exam 100% Script viewing and general feedback available after marks are released MATH21120 Groups and Geometry Pre-Requisite Compulsory MATH21112 Rings & Fields Pre-Requisite Compulsory MATH20201 Algebraic Structures 1 Pre-Requisite Compulsory MATH20212 Algebraic Structures 2 Pre-Requisite Compulsory MATH32010 Pre-Requisites: MATH21120 and MATH21112 (OR MATH20201 and MATH20212) N <ul><li>John B Fraleigh, A First Course in Abstract Algebra, (5th edition), 1967, Addison-Wesley.</li><li>Brian Hartley, Trevor O. Hawkes, Rings, Modules and Linear Algebra, 1974, Chapman and Hall Limited. </li></ul> Lectures 44 Tutorials 22 0 134