  This paper is devoted to the study of a natural group topology on the
fundamental group which remembers local properties of spaces forgotten by
covering space theory and weak homotopy type. It is known that viewing the
fundamental group as the quotient of the loop space often fails to result in a
topological group; we use free topological groups to construct a topology which
promotes the fundamental group of any space to topological group structure. The
resulting invariant, denoted $\pi_{1}^{\tau}$, takes values in the category of
topological groups, can distinguish spaces with isomorphic fundamental groups,
and agrees with the quotient fundamental group precisely when the quotient
topology yields a topological group. Most importantly, this choice of topology
allows us to naturally realize free topological groups and pushouts of
topological groups as fundamental groups via topological analogues of classical
results in algebraic topology.
