Spherical space forms revisited

We give a simplified proof of J. A. Wolf’s classification of finite groups that can act freely and isometrically on a round sphere of some dimension. We slightly improve the classification by removing some non-obvious redundancy. The groups are the same as the Frobenius complements of finite group theory.