Reidemeister conjugacy for finitely generated free fundamental groups
Let X be a space with the homotopy type of a bouquet of k circles, and let f: X → X be a map. In certain cases, algebraic techniques can be used to calculate N(f), the Nielsen number of f, which is a homotopy invariant lower bound on the number of fixed points for maps homotopic to f. Given two fixed points of f, x and y, and their corresponding group elements, and , the fixed points are Nielsen equivalent if and only if there is a solution z ∈ π₁(X) to the equation . The Nielsen number is the...