Lift-Group construction
cohomology of S_n