Euler-characteristic divisibility from a fixed-point-free cyclic action

ID: euler-characteristic-divisibility-from-a-fixed-point-free-cyclic-action

Let have prime order on a finite CW complex, and suppose every nonidentity power is fixed-point-free. On rational homology,
is the projection onto the invariant subspace. Therefore
The left side is an integer, so divides .

New to topics? Read the docs here!