表示 的以 中元素为系数的次数小于 的多项式以及零多项式组成的集合. 在 中把多项式的加法作为我们的加法. 设

,则数乘规定为

容易验证 (1)-(8) 成立,所以 在上述运算下是一个线性空间.