(5 · 3) + (5 · 1 + 1 · 3)X + (1 · 1 + (-2) · 3)X2 + ((-2) · 1)X3 = 15 + 8X - 5X2 - 2X3.
In Z/2Z[X] we have
since 2 = 0 and therefore 2X = 0.
(9X4)3 + (3X - 9X4)3 - (9X3 - 1)3
and collect equal powers of X, we obtain the expression 1. We conclude that this polynomial is equal to 1. Here, `expansion' is based on the operations `multiplication and addition of polynomials'. An interpretation of the equality is that, for every integer one substitutes for X, the resulting number is 1.
(X2 - 1)2 + (2X)2 = (X2 + 1)2.
Even more so than for integers,
different notations for the same
expression are possible.
(See the Prerequisites.)