Show simple item record

dc.contributor.advisorForster, Thomas
dc.contributor.authorKleppmann, Philipp
dc.date.accessioned2016-02-15T16:07:15Z
dc.date.available2016-02-15T16:07:15Z
dc.date.issued2016-01-05
dc.identifier.otherPhD.39301
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/253759
dc.description.abstractThe Nielsen–Schreier theorem states that subgroups of free groups are free. As all of its proofs use the Axiom of Choice, it is natural to ask whether the theorem is equivalent to the Axiom of Choice. Other questions arise in this context, such as whether the same is true for free abelian groups, and whether free groups have a notion of dimension in the absence of Choice. In chapters 1 and 2 we define basic concepts and introduce Fraenkel–Mostowski models. In chapter 3 the notion of dimension in free groups is investigated. We prove, without using the full Axiom of Choice, that all bases of a free group have the same cardinality. In contrast, a closely related statement is shown to be equivalent to the Axiom of Choice. Schreier graphs are used to prove the Nielsen–Schreier theorem in chapter 4. For later reference, we also classify Schreier graphs of (normal) subgroups of free groups. Chapter 5 starts with an analysis of the use of the Axiom of Choice in the proof of the Nielsen–Schreier theorem. Then we introduce representative functions – a tool for constructing choice functions from bases. They are used to deduce the finite Axiom of Choice from Nielsen–Schreier, and to prove the equivalence of a strong form of Nielsen–Schreier and the Axiom of Choice. Using Fraenkel–Mostowski models, we show that Nielsen–Schreier cannot be deduced from the Boolean Prime Ideal Theorem. Chapter 6 explores properties of free abelian groups that are similar to those considered in chapter 5. However, the commutative setting requires new ideas and different proofs. Using representative functions, we deduce the Axiom of Choice for pairs from the abelian version of the Nielsen–Schreier theorem. This implication is shown to be strict by proving that it doesn’t follow from the Boolean Prime Ideal Theorem. We end with a section on potential applications to vector spaces.en
dc.language.isoenen
dc.rightsCC0 1.0 Universal*
dc.rights.urihttp://creativecommons.org/publicdomain/zero/1.0/*
dc.subjectResearch Subject Categories::MATHEMATICSen
dc.titleFree groups and the axiom of choiceen
dc.typeThesisen
dc.type.qualificationlevelDoctoral
dc.type.qualificationnameDoctor of Philosophy (PhD)
dc.publisher.institutionUniversity of Cambridgeen
dc.publisher.departmentDepartment of Pure Mathematics and Mathematical Statisticsen
dc.identifier.doi10.17863/CAM.16244


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

CC0 1.0 Universal
Except where otherwise noted, this item's licence is described as CC0 1.0 Universal