. . . . "universal covering space" . . "edge path group" . "groups" . . . . "edge-path group" . "Fundamental group" . "two basic approaches" . . . "loop" . "Fundamental group" . "induced" . "path multiplication" . . "fundamental groups" . . . "fundamental group" . "fundamental groups of Lie groups" . . "fundamental groupoid" . .