The concept of infinity has boggled the minds of mathematicians for years. The world of group theory is not exempt from this frustration.
Infinite groups are difficult to work with.
It would be nice if something about them were finite. This talk introduces the definitions and other tools that we will need to determine whether particular subgroups of finitely generated infinite groups are themselves finitely generated. An existing algorithm that implements these ideas is also discussed. This will be the last WIM event of the semester. This semester the default talk time was at 4pm on Wednesdays.