Math Studies Algebra, Fall 2015 and Spring 2016

Robot flying a dodecahedral balloon over fields
From symmetry groups to fields
© 2015 Laure Bukh
Used with permission


Mondays, Wednesdays, Fridays 10:30 (Spring semester)
Mondays, Wednesdays, Fridays 13:30 (Fall semester)


Porter Hall 22A (Spring semester)
Wean Hall 8427 (Fall semester)


Algebra is the art of changing the perspective. The change is mainly achieved through abstraction, which strips the irrelevant details and brings the important to the forefront. The extra generality also enables the connections between far-flung mathematical concepts.

The aim of this course is both to introduce the algebraic way of thinking, and to convey the basic language of algebra. That language is the language of groups, rings, modules, fields. We shall see, for example, how the group theory unifies such topics as integer arithmetic, tessellations, solubility of polynomial equations, and counting holes in a pretzel. We shall also learn and use some category theory, which is a higher-level abstraction that unifies different algebraic notions.


The book for the course is Abstract Algebra, 3rd ed., by Dummit and Foote. A copy of the first edition is on reserve in the library.

For the representation theory part of the course, we are mostly following Linear Representations of Finite Groups by Serre. It is available online via library subscription.

There is a very cute proof by Arnold that quintic equations admit no ‘parametric’ solution. The video of Dror Bar-Natan presenting this proof in CMU is available from Prof. Bar-Natan's website. In class we prove a stronger result, but we must work harder for it.

Not all topics that we cover are in the book, and some topics we will cover differently.

Links to additional resources will be posted as the course progresses.

More fun (Spring semester):

More fun can be had at my office hours on Mondays 11:30am–12:30pm and Thursdays 10:30–11:30am in Wean 6202 or 6th floor lounge. I am also available by appointment.

More fun (Fall semester):

More fun can be had at my office hours on Mondays 2:30–3:30pm and Thursdays 9:30–10:30am in Wean 6202 or 6th floor lounge. I am also available by appointment.

Course activities (Spring and Fall semesters):

Mastery of any subject requires practice. Hence, there will be regular homeworks. For your own good, you are strongly encouraged to do as much homework as possible individually. Collaboration and use of external sources are permitted, but must be fully acknowledged and cited. All the writing must be done individually. Failure to do so will be treated as cheating. Collaboration may involve only discussion; all the writing must be done individually. The homeworks will be returned one week after they are due.

Students are expected to fully participate in the class. The main advantage of a class over just reading a textbook is the ability to ask questions, propose ideas, and interact in other ways. In particular, discussions during the lectures are encouraged.

In the fall semester, the homework will count for 25% of the grade. During the semester there will be three in-class tests (on September 25, October 21, December 4). Each test will count for 15% of the grade. A take-home final exam will count for 30%. No collaboration or use of external resources is allowed on tests or on the final.

In the spring semester, the homework will count for 25% of the grade. It will be assigned biweekly. During the semester there will be two in-class tests (on February 19 and on April 1). Each test will count for 22.5% of the grade. A take-home final exam will count for 30%.

Homework must be submitted in LaTeX via e-mail. I want both the LaTeX file and the PDF that is produced from it. The filenames must be of the form lastname_alg_homeworknumber.tex and lastname_alg_homeworknumber.pdf respectively. Pictures do not have to be typeset; a legible photograph of a hand-drawn picture is acceptable.

The homework must be submitted by 10:30am of the day it is due (in the fall semester, it was due 1:30pm of the day it is due). For each minute that it is late, the grade will be reduced by 10%.

Lectures (Fall and Spring semesters):

  • August 31: Introduction. Groups. Associativity as a consequence of function composition. Examples of groups. SL2(R). Dihedral groups.
  • September 2: Generators for the dihedral groups. Normal form for the dihedral group. Group presentations (somewhat informal). Symmetric groups. Cyclic permutations. Homework #1
  • September 4: Fields. Matrix groups GLn and SLn. Subgroups. The Heisenberg group. Homomorphisms. Isomorphisms. Group actions.
  • September 7: Labor Day
  • September 9: Partially ordered sets. Lattice of subgroups of a group. Centralizers and center. Conjugation. Conjugation in the symmetric group. Normalizers. Normal subgroups. A non-trivial normal subgroup of the dihedral group. Homework #2
  • September 11: Subgroup generated by a subset: top-down and bottom-top approaches. Cyclic groups. Uniqueness of the cyclic groups.
  • September 14: Orders of elements in cyclic groups. Zorn's lemma. Axiom of choice. Well-ordering principle. Every finitely generated group contains a maximal subgroup.
  • September 16: Every finitely generated group contains a maximal subgroup (part II). Quotient groups. Kernels. Cosets. Homework #3
  • September 18: Cosets. Lagrange's theorem. Normal subgroups again. Normality is not transitive. Set multiplication. Quotient groups.
  • September 21: Index of a subgroup. Index-2 subgroups are normal. Cardinality of the product of subgroups.
  • September 23: First isomorphism theorem. Third isomorphism theorem. Simple groups. Alternating group. Homework #4
  • September 25: Test
  • September 28: Alternating group is generated by 3-cycles. Alternating group is simple.
  • September 30: Alternating group is simple. The 15 puzzle. Groups actions, revisited. Permutation representations. Linear representations. Left and right regular representations. Orbits. Kernels and faithfulness. Homework #5
  • October 2: Transitivity. Stabilizers. Stabilizers in an orbit. Core of a subgroup. Conjugacy classes. Subgroups of index p.
  • October 5: Largest subgroup of An isomorphic to a symmetric group. Sizes of orbits in general, and conjugacy classes in particular. (Finite) p-groups.
  • October 7: Cauchy's theorem. First Sylow's theorem. Homework #6
  • October 9: Second and third Sylow's theorems. Groups of order pq (abelian case).
  • October 12: Groups of order 12. Arbitrary direct products. Direct sums. Semidirect product.
  • October 14: Examples of semidirect products. Action of semidirect products. Classification of trivial semidirect products. Homework #7
  • October 16: Groups of order 12. Upper central series. Nilpotent groups. Lower central series.
  • October 19: The relation between the upper and lower central series. Finite nilpotent groups.
  • October 21: Test Homework #8
  • October 23: Mid-semester break
  • October 26: Rings. Examples of rings. Mn(R). Units. Zero divisors.
  • October 28: Integral domains. Polynomial rings. Power series. Laurent series. Group rings. Ring homomorphisms. Ideals. Homework #9
  • October 30: Quotient rings. Principal ideals. Ideals, rings, fields generated by a set. Complex numbers as a quotient ring. Categories.
  • November 2: Examples of categories. How to stop worrying and love the universes. Products. Uniqueness of products. Opposite category. Coproducts. Products and coproducts in the catagory of abelian groups.
  • November 4: Products and coproducts in the category of groups (without proofs). Free products. Fundamental groups (without proofs). Isomorphism theorems for rings. Maximal ideals. Prime ideals. Homework #10
  • November 6: Rings of fractions (localization). Universal property of the ring of fractions. Universal property of quotients.
  • November 9: More about universal properties. Field of fractions. Chinese remainder theorem.
  • November 11: Euclidean domains. Gaussian integers are an Euclidean domain.
  • November 13: Principal ideal domains. Euclidean domains are principal ideal domains. Irreducible and prime elements. Unique factorization domains. PID are UFD (existence part). Homework #11
  • November 16: PID are UFD (uniqueness part). Polynomials rings over UFD are UFD.
  • November 18: Irreducible polynomials. Roots of polynomials of a field. Eisenstein's criterion.
  • November 20: Newton polygons and irreducibility. Noetherian rings. Hilbert basis theorem. Homework #12
  • November 23: Monomial orderings. Gröbner bases. The division algorithm.
  • November 25: Thanksgiving (part I).
  • November 27: Thanksgiving (part II).
  • November 30: Monomial ideals. Ascending chain condition. Syzigies. Buchberger's criterion (part I). Guest lecture by James Cummings
  • December 2: Buchberger's criterion (part II). Buchberger's algorithm. Minimal Gröbner bases.
  • December 4: Test
  • December 7: Reduced Gröbner bases. Uniqueness of reduced Gröbner bases. Elimination ideals. Radical of an ideal (no proofs). Computing elimination ideals via Gröbner bases.
  • December 9: Computing intersection of ideals. Modules. Modules over F[x] (part I).
  • December 11: Modules over F[x] (part II). Z-modules. Generation of modules. Direct sum of modules. Finitely generated modules over PID (statement).
  • December 14–20: Take-home final exam. Final exam rules

Back to the homepage