pair antipodal points subgroup free group free result quite interesting statement purely algebraic yet simplest known proof topological namely free group ''g'' may realized fundamental group graph ''x'' main theorem covering spaces tells us every subgroup ''h'' ''g'' fundamental group covering space ''y'' ''x'' every ''y'' graph therefore fundamental group ''h'' free hand type application also handled simply
Formal science Mathematics Pure mathematics Geometry Algebraic topology