一种特殊的多元多项式.若数域P上的n元多项式各项的次数都等于m，则称该多项式为n元m次齐次多项式，简称m次齐式，亦称n个变量的m次型。一次型亦称线性型.两个n元齐次多项式的乘积仍是齐次多项式，且次数就等于这两个齐次多项式次数之和.数域P上任一个n元多项式都可以惟一地表示为P上齐次多项式之和。