Согласно стандартной теореме о разделении переменных любой многочлен от многих переменных над полем может быть разложен в конечную сумму произведений радикального многочлена и гармонического многочлена. Это эквивалентно тому, что кольцо многочленов является свободным модулем над кольцом радикальных многочленов.
Литература
Lie Group Representations of Polynomial Rings by Bertram Kostant, American Journal of Mathematics Vol 85 No 3 (Июль 1963)