This is part one of a year-long graduate course on Abstract Agebra. It covers
the basic concepts of algebra that are that are necessary for graduate level core mathematics. It is now part of the qualifying exam system and can be used to cover the PhD Breadth Requirement for Algebra. To receive credit for the course as part of the qualifying exam structure, you must obtain an A- or higher grade.
The course will be divided in three parts. In the first part, we will study Groups and their algebraic structures. In the second part, we will focus on Ring Theory, with emphasis on the commutative setting. Finally, in the last part, we will discuss various topics of linear and multilinear algebra, including tensor and exterior algebras. Time permitted, additional topics will be covered.
Content:
Prerequisites: Math 5112, or Grad standing.
Other textbooks and resources: (for ebooks, access requires connection via an OSU proxy, e.g., by using a VPN or being on campus)
The course will be divided in three parts. In the first part, we will study Groups and their algebraic structures. In the second part, we will focus on Ring Theory, with emphasis on the commutative setting. Finally, in the last part, we will discuss various topics of linear and multilinear algebra, including tensor and exterior algebras. Time permitted, additional topics will be covered.
Content:
- Group Theory: Monoids, subgroups, cyclic groups, homomorphisms, normal subgroups, factor groups, direct products, group actions, counting lemmas, Sylow theorems, composition series, Jordan-Hölder theorem, solvable and nilpotent groups, semi-direct products, permutation group, simple grups, simplicity of alternating groups.
- Ring Theory: basic definitions of rings, ideals and modules, ring homomorphisms, commutative rings, integral domains, Chinese remainder theorem, prime and maximal ideals, prime avoidance, rings and modules of fractions, localization, Noetherian and Artinian rings, Hilbert basis theorem, Primary decomposition, PID, UFD, polynomial rings over UFDs, irreducibility criteria, symmetric polynomials, discriminant, modules over PIDs
- Linear and Multilinear Algebra: Vector spaces, basic operations on vector spaces (direct sum, tensor product, dual vector spaces, Hom-spaces), bilinear and multilinear forms, quadratic forms, positive definite and semidefinite forms, tensor algebra, symmetric and exterior algebra, definition of determinant and minors of an endomorphism, automorphisms preserving a bilinear form (symplectic and orthogonal matrices), polar, Gauss and Jordan decompositions of a matrix.
Prerequisites: Math 5112, or Grad standing.
Syllabus and references
Main resource: The course will be based on in class material and lecture notes (posted after each live Zoom lecture).Other textbooks and resources: (for ebooks, access requires connection via an OSU proxy, e.g., by using a VPN or being on campus)
- Basic Algebra I, II by N. Jacobson, Dover.
- Algebra by S. Lang, 3rd Edition, Springer.
- Abstract Algebra by D. Dummit and R. Foote, Wiley.
- Algebra by N. Bourbaki (Chapters 1-3), Springer.
- Introduction to Commutative Algebra by Atiyah and Macdonald, Addison Wesley.
- Commutative Algebra with a view toward Algebraic Geometry by David Eisenbud. Available online through OSU library.
- Expository Notes by Keith Conrad. Available here.
Back to Top
Exams
- Midterm 1: Friday October 2, 2020 (online). Topics: Group Theory
- Midterm 2: Monday November 9, 2020 (online). Topics: TBD
- Final exam (CUMULATIVE): Friday December 11, 2020 (10:00am-11:45am, held online). This date is tentative.
Back to Top
Homework
There will be 13 homework problem sets. These will be posted as the semester progresses.Homeworks will be submitted in pdf format via Carmen by the due date. No late homework will be accepted without medical excuse. Assigments must be prepared in LaTeX, using the template provided below.
Participants are encourage to work in teams, but individual solutions must be submitted for grading and credit.
- Homework template.
- Homework 1: Problems 8, 11, 12, 17 and 18, due on Friday September 4th, 2020.
May the source be with you. - Homework 2: Problems 4, 5, 7, 10 and 11, due on Friday September 11th, 2020.
May the source be with you.
- Homework 3: Problems 2, 5, 6, 11 and 14, due on Friday September 18th, 2020.
May the source be with you.
- Homework 4: Problems 2, 10, 12, 13 and 17, due on Friday September 25th, 2020.
May the source be with you.
- Homework 5: Problems 2, 4, 7, 9 and 10, due on Wednesday September 30th, 2020.
May the source be with you.
- Homework 6: Problems 3, 4, 5, 6 and 8, due on Friday October 9th, 2020.
May the source be with you.
- Homework 7: Problems 3, 4, 6, 9 and 10, due on Friday October 16th, 2020.
May the source be with you.
- Homework 8: Problems 4, 5, 6, 11 and 12, due on Saturday October 24rd, 2020.
May the source be with you.
- Homework 9: Problems 1, 2, 5, 10 and 14, due on Saturday October 31th, 2020.
May the source be with you.
- Homework 10: Problems 4, 5, 7, 11, and 12, due on Saturday November 7th, 2020.
May the source be with you.
- Homework 11: Problems 2, 4, 13, 17 and 19, due on Saturday November 21th, 2020.
May the source be with you.
- Homework 12: Problems 4, 9, 10, 14 and 17, due on Saturday November 28th, 2020.
May the source be with you.
- Homework 13: Problems 1, 3, 9, 11 and 13, due on Thursday December 3rd, 2020.
May the source be with you.
Back to Top
Tentative Schedule
The following is the schedule of topics that we plan to cover each week (it is subject to change). For a list of topics cover each class, see the corresponding handwritten notes in the section entitled Lectures.
Week | Topics |
1 | Definitions (Groups, homomorphisms, normal subgroups).
Quotient groups. Basic Isomorphism Theorems. |
2 | Presentation of a group. Groups actions. Counting lemmas. |
3 | Sylow Theorems. Simple groups. |
4 | Semidirect products. Short exact sequences. Composition series. |
5 | Jordan-Hölder theorem. Derived groups. Solvable and nilpotent groups. Simplicity of alternating groups. |
6 | Definitions (rings, ideals). Isomorphism theorems. Characteristic. Modules - direct sums, products, homomorphisms, exact sequences. |
7 |
Commutative rings. Prime and maximal ideals. Integral domains. Rings of fractions. Prime avoidance, Chinese Remainder Theorem. |
8 | Localization, Noetherian rings, Hilbert Basis Theorem. Nilpotent and Jacobson radicals. |
9 | Artinian rings, Hensel's lemma, Primary decomposition. |
10 | Free modules, torsion modules, PIDs, modules over PIDs. |
11 | Modules over PIDS, Smith normal forms, rational normal forms and Jordan normal forms of matrices. |
12 | Nakayama's Lemma, Cayley-Hamilton theorem. Vector spaces. Basic operations on vector spaces: direct sum, dual vector spaces, Hom-spaces. |
13 | Bilinear and multilinear forms. Tensor products. Hom-tensor adjointness, canonical tensors. |
14 | Tensor, Symmetric and Exterior algebras. Determinants and minors of endomorphisms. Permanents. |
15 | Bilinar and quadratic forms, symmetric and skew-symmetric forms, Sylvester's theorem. Gaussian decomposition theorems for matrices. |
Back to Top
Lectures
- Lecture 1 (Introduction, course overview and examples), August 25, 2020. [Slides]
- Lecture 2 (Subgroups, Normal subgroups, Quotient and cyclic groups, the quaternion group Q8), August 26, 2020. [Slides pre-class], [Slides post class]
- Lecture 3 (Order and exponent of a group; three isomorphism theorems for groups), August 38, 2020. [Slides pre-class], [Slides post class]
- Lecture 4 (Free groups, universal proerties, presentation of groups by generators and relations, examples), August 31, 2020. [Slides]
- Lecture 5 (Group actions: definition, orbit, stabilizers, fixed point sets, examples; first counting lemmas), September 2, 2020. [Slides pre-class], [Slides post class]
- Lecture 6 (Group actions II: Counting lemmas, Burnside's Lemma; applications), September 4, 2020. [Slides pre-class], [Slides post class]
- Lecture 7 (Sylow Theorems), September 9, 2020. [Slides pre-class], [Slides post class]
- Lecture 8 (Sylow Theorems II), September 11, 2020. [Slides pre-class], [Slides post class]
- Lecture 9 (Semidirect Products), September 14, 2020. [Slides pre-class], [Slides post class]
- Lecture 10 ((Short) exact sequences; sections and retractions), September 16, 2020. [Slides pre-class], [Slides post class]
- Lecture 11 (Composition Series, Schrier's Theorem and Zassenhaus' Lemma), September 18, 2020. [Slides pre-class], [Slides post class]
- Lecture 12 (Jordan-Hölder series, derived series and solvable groups), September 21, 2020. [Slides pre-class], [Slides post class]
- Lecture 13 (Solvable groups: many characterizations via composition series, examples; Lower central series and nilpotent groups), September 23, 2020. [Slides pre-class], [Slides post class]
- Lecture 14 (Nilpotent groups: various characterizations, examples; Simplicity of the Alternating group An for n ≥ 5), September 25, 2020. [Slides pre-class], [Slides post class]
- Lecture 15 (Basics on Rings I: definitions, ideals, special rings, homomorphisms, Isomorphism theorems), September 28, 2020. [Slides pre-class], [Slides post class]
- Lecture 16 (Algebra of ideals; characteristic of a ring; Modules: definitions, homomorphisms, direct product, direct sum, short exact sequences), September 30, 2020. [Slides pre-class], [Slides post class]
- Lecture 17 (Chinese Remainder theorem; prime and maximal ideals; prime avoidance), October 5, 2020. [Slides pre-class], [Slides post class]
- Lecture 18 (Local rings, nilpotent elements, mutliplicatively closed sets, ring of fractions), October 7, 2020. [Slides pre-class], [Slides post class]
- Lecture 19 (ring of fractions, module of fractions, ideals on rings of fractions, examples), October 9, 2020. [Slides pre-class], [Slides post class]
- Lecture 20 (Localization, Noetherian rings: examples, and first properties), October 12, 2020. [Slides pre-class], [Slides post class]
- Lecture 21 (Noetherian modules and Hilbert's Basis Theorem), October 14, 2020. [Slides pre-class], [Slides post class]
- Lecture 22 (Artinian rings: examples, first properties: dimension 0 and finitely many maximal ideals, niradicals of Artinian rings are nilpotent ideals), October 16, 2020. [Slides pre-class], [Slides post class]
- Lecture 23 (Artinian rings II: structure theorem, Noetherianness, Hensel's lemma for Artinian and local rings), October 19, 2020. [Slides pre-class], [Slides post class]
- Lecture 24 (Artinian rings and primary decomposition: definitions, examples of primary ideals, irreducible ideals, finiteness minimal primes associated to an ideal in a Noetherian ring), October 21, 2020. [Slides pre-class], [Slides post class]
- Lecture 25 (Artinian rings and primary decomposition II: Noetherian, dimension zero rings are Artinian; uniqueness of radicals of primary components for reduced primary decompositions in the Noetherian setting), October 23, 2020. [Slides pre-class], [Slides post class]
- Lecture 26 (Primary decomposition III: uniqueness features, associate vs. minimal primes, uniqueness of minimal primary components, primary decomposition for PIDs), October 26, 2020. [Slides pre-class], [Slides post class]
- Lecture 27 (Modules over PIDs I: Free modules over commutative rings, ranks, submodules of free modules; torsion for modules), October 28, 2020. [Slides pre-class], [Slides post class]
- Lecture 28 (Modules over PIDs II: Splitting of f.g. modules over PIDs, Decomposition of torsion modules over PIDs into p-torsion components), October 30, 2020. [Slides pre-class], [Slides post class]
- Lecture 29 (Modules over PIDs III: Classification theorems), November 2, 2020. [Slides pre-class], [Slides post class]
- Lecture 30 (Moduldes over PIDs IV: second classification and structure theorems, Smith normal forms of matrices over PIDs), November 4, 2020. [Slides pre-class], [Slides post class]
- Lecture 31 (Rational normal forms and Jordan canonical forms of matrices), November 6, 2020. [Slides pre-class], [Slides post class]
- Lecture 32 (General Jordan-Chevalley canonical forms, Cayley-Hamilton Theorem for matrices over a field), November 13, 2020. [Slides pre-class], [Slides post class]
- Lecture 33 (Consequences of Cayley Hamilton, Cayley-Hamilton for matrices over commutative rings, Nakayama's Lemma; Basics on Linear algebra: vector spaces, Hom-spaces, bases, direct sums, dual vector spaces), November 16, 2020. [Slides pre-class], [Slides post class]
- Lecture 34 (Double duals and inclusion V* ↪ (V*)*, bilinear maps and tensor products), November 18, 2020. [Slides pre-class], [Slides post class]
- Lecture 35 (Explict construction of tensor products, bases for tensor products, dimension of tensor products, hom-tensor adjointness), November 20, 2020. [Slides pre-class], [Slides post class]
- Lecture 36 (Canonical tensors for finite-dimensional vector spaces, tensor algebras, symmetric and exterior algebras as quotients, dimensions of symmetric and exterior products), November 23, 2020. [Slides pre-class], [Slides post class]
- Lecture 37 (Symmetric and exterior algebras as subalgebras of the tensor algebra, universal properties, tensor, symmetric and exterior powers of linear maps, compatibility with direct sums; determinants and minors; permanents), November 25, 2020. [Slides pre-class], [Slides post class]
- Lecture 38 (Determinants, Gaussian decompositions, bilinear forms: first properties, degenerate vs. non-degenerate froms), November 30, 2020. [Slides pre-class], [Slides post class]
- Lecture 39 (Symmetric, skew-symmetric and alternate bilinear forms; matrix representation of bilinar forms over finite dimensional vector spaces; towards Sylvester's theorem), December 2, 2020. [Slides pre-class], [Slides post class]
- Lecture 40 (Classification of bilinear real symmetric forms; Sylvester's theorem; classification of bilinear symmetric and skew-symmetric forms over characteristic not 2), December 4, 2020. [Slides pre-class], [Slides post class]
Back to Top