https://9lib.net/document/8ydm1xey-primary-decomposition-j-groups-complex-projective-lens-spaces.html