The main theorem of Smith theory asserts that if a $p$-group $G$ acts on a mod-$p$-acyclic space $X$ (which must also be 'finitistic', a fairly weak condition), then the fixed point set $X^G$ is also mod-$p$ acyclic; in particular, it is non-empty.

This is especially useful because $X$ is not assumed to be compact, as is the case for the Lefschetz fixed point theorem, say.

The main theorem of Smith theory asserts that if a $p$-group $G$ acts on a mod-$p$-acyclic space $X$ (which must also be 'finitistic', a fairly weak condition), then the fixed point set $X^G$ is also mod-$p$ acyclic; in particular, it is non-empty.

This is especially useful because $X$ is not assumed to be compact, as is the case for the Lefschetz fixed point theorem, say.