rectification; Abhyankar-Sathaye embedding problem; variable Dold-Kan correspondence; cross effect functor; symmetric power operation; Adams-Riemann-Roch theorem; plethysm problem; computing the homology of Koszul complexes; projective resolution; Adams-Riemann-Roch formula 