Universal Algebra Seminar

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"A finite pointed group with no finite basis, Part 1"

We'll go over a construction of Roger Bryant, by building a finite pointed group (P,p) with no finite basis for its laws, as far as we can go. We'll recap basic equational theory stuff, then wade knee-deep into semidirect products and counting arguments.

MC 5413