1

Let $K$ be a field and $R=K[X]/(X^n)$ where $n \in \mathbb{Z}_{n\geq1}$ and $(X^n)$ is the ideal generated by $X^n$. We denote $x:=X+(X^n) \in R$, any equivalence class $r$ in $R$ has a representing element of the form: $$r=a_0+a_1X+ \dots + a_{n-1}X^{n-1}.$$

I am confused about the statement in bold. How would I find such an element for $X^3 \in K[X]$ if $n=2$ for example?

Rebekah
  • 997

2 Answers2

1

$K[X]$ is a $K$-vector space with basis $$1, X, X^2, X^3,\dots$$ Making the quotient by $(X^n)$, you are killing all elements of the basis of degree $\geq n$, getting a basis for $R$ which is simply $1, X,X^2, \dots, X^{n-1} \ \ (+(X^n))$.

So, a polynomial $\sum_k a_k X^k$ is transformed by killing all terms of degree $\geq n$, becoming $\sum_{k \leq n-1}a_kX^k$. In you particular example, $X^3$ becomes $0$.

Crostul
  • 36,738
  • 4
  • 36
  • 72
1

By the Division Algorithm $\ f = q\, x^n + r\ $ with $\,\deg r < n,\,$ hence $\,f\equiv r\pmod{\!x^n}$

See this answer for further discussion of such normal forms in quotient of Euclidean domains.

Same for $R[x]/g$ over any commutative ring $R$ and any polynomial $g$ whose leading coeff is a unit (invertible), since this enables division with smaller (degree) remainder (as explained in the links).

Bill Dubuque
  • 272,048