Computer Algebra
《Computer Algebra》 · 第 2 页 · Introduction，Lefschetz fixed-point formula
The Lefschetz trace formula states that for a compact oriented manifold $X$ and a continuous map $\alpha:X\to X$ with only finitely many fixed points, each of multiplicity $1$, the number of fixed points is the alternating sum of the traces of $\alpha$ on $H^i(X,\mathbb Q)$.