skip to content

Free groups and the Axiom of Choice

Presented by: 
P Kleppmann University of Cambridge
Saturday 10th October 2015 - 14:00 to 14:55
INI Seminar Room 1
The role of the Axiom of Choice in Mathematics has been studied extensively. Given a theorem of ZFC, one may ask how strong it is compared to the Axiom of Choice. Although a large collection of results has been analysed in this way, there are still simple and elegant theorems that offer resistance. One such result is the Nielsen-Schreier theorem, which states that subgroups of free groups are free.

I will introduce recent results that help to establish the strength of Nielsen-Schreier, focussing on the method of representative functions. Then I discuss potential applications of this technique to other algebraic structures admitting a basis, such as free abelian groups and vector spaces.

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons