Solution

ID: past-exam-of-the-topology-and-groups-course-of-the-university-of-oxford/2023/3/b/ii/solution

Choose a spanning tree of the finite connected graph . It contains every vertex of and has edges by part (i). Collapsing to a point is a homotopy equivalence: is a contractible subcomplex, and collapsing a contractible cofibration in a CW complex preserves homotopy type.
Every edge outside then becomes a circle attached to the common point. Hence the quotient space is a bouquet of circles with
petals. The fundamental group of a bouquet of circles is the free group with one member of a free basis of a group for each petal. Therefore the rank of the fundamental group of a finite connected graph is
More concretely, choose a vertex as base point; follow the unique path in a graph in to one end of a non-tree edge, traverse it, and return through . These based loops give the free basis of a group. Thus is the number of free group generators, equivalently the minimum size of a generating set of a group, rather than the size of every possible redundant generating set of a group. Minimality also follows by abelianization, since has abelianization .

New to topics? Read the docs here!