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. ThereforeThe left side is an integer, so divides .
New to topics? Read the docs here!