B2.8

Algebraic Topology
Part II, 2002

Show that the fundamental group GG of the Klein bottle is infinite. Show that GG contains an abelian subgroup of finite index. Show that GG is not abelian.