For Y any space that has the homotopy type of a wedge of finitely many circles, and for g : Y → Y a map, the Nielsen number of g, N (g), is a homotopy invariant lower bound for the size of the fixed point set of any map homotopic to g. Such a map g has k-remnant if, roughly, there is limited cancellation in any product g (u)g (v) where g is the induced homomorphism and u, v ∈ π1(Y ) and |u| = |v| = k. We prove that such maps are (k + 1)-characteristic, meaning that in order to determine the Nielsen classes of fixed points, we need only test whether a limited, specified, set of elements z ∈ π1(Y ) are solutions to the equation z = W −1x f (z)Wy, with x and y fixed points that are represented in the fundamental group by Wx and Wy, respectively. The number of elements to be tested is profoundly decreased by using abelianization as well.This work is a significant extension of Wagner's results involving maps with remnant and Wagner's algorithm. Our proofs involve new concepts and techniques.We present an algorithm for N (g) for any map g with k-remnant, and we provide examples for which no algebraic techniques previously known would work. One example shows that for any k there is a map that does not have (k − 1)-remnant but does have k-remnant. (2000). 55M20.
Mathematics Subject Classification