Shapes

Welcome to Pure Mathematics

We are home to 30 faculty, four staff, approximately 60 graduate students, several research visitors, and numerous undergraduate students. We offer exciting and challenging programs leading to BMath, MMath and PhD degrees. We nurture a very active research environment and are intensely devoted to both ground-breaking research and excellent teaching.


News

More than 100 researchers and students from across Canada and around the world attended the 53rd annual Canadian Operator Algebras Symposium (COSY), which took place from May 26-30 at the University of Waterloo.

Events

Thursday, July 2, 2026 1:30 pm - 3:00 pm EDT (GMT -04:00)

Computability Learning Seminar

Michael Gregory, University of Waterloo

Basic Universal Algebra Aimed at Isomorphism Problems for c.e. Presentations

We begin with the notions of a universal algebra, homomorphism, congruence, and quotient algebra, and discuss the relationship between congruences and homomorphic images. We then introduce term algebras and varieties, culminating in a statement of Birkhoff's HSP Theorem. To prepare for later computability applications, we briefly review lattices and the congruence lattice of an algebra. Finally, we describe how finitely generated and computably enumerable algebras may be specified by presentations.

MC 5403

Friday, July 3, 2026 11:30 am - 12:30 pm EDT (GMT -04:00)

Ergodic Theory Learning Seminar

Julius Frizzell, University of Waterloo

Roth's Theorem

We will continue to discuss unitary transformations and generic measures and work towards a proof of Roth's theorem for arithmetic progressions.

MC 5417