研究特征零的域k上n元多项式代数k^[n]收缩R的结构.证明了：1）若Rk^[r],其中r〈n-1/2,则有k^[n]的自同构ψ,使得ψ（R）=k[x1＋h1,…,xr＋hr......