You already trust one of arithmetic's oldest promises. Three times five is fifteen; five times three is also fifteen. Order doesn't change the answer when you multiply numbers.

Does the same promise hold for polynomials? Is (x + 1)(x² - 3) the same as (x² - 3)(x + 1)? You can feel it probably should be — polynomials are built out of numbers and variables. But feeling is not proof. Let's see why it works, and where it surprisingly fails.

The short answer

Yes. Polynomial multiplication is commutative. For any two polynomials P(x) and Q(x),

P(x) · Q(x) = Q(x) · P(x).

Always. No exceptions for degree, sign, or fractional coefficients. The order of the factors never changes the product.

Why — the structural argument

A polynomial is a finite sum of terms, each of the form a_i x^i, where a_i is a real number and i is a non-negative integer.

Expand P · Q. When you multiply two sums, you get every pairwise product of their terms. Each product looks like

a_i x^i · b_j x^j = (a_i · b_j) · x^(i + j).

The a_i · b_j is a product of two ordinary numbers. The x^(i+j) comes from the exponent rule x^i · x^j = x^(i+j). So P · Q is the sum of these pieces over all pairs (i, j).

Now expand Q · P:

b_j x^j · a_i x^i = (b_j · a_i) · x^(j + i).

Compare piece by piece. a_i · b_j = b_j · a_i because number multiplication commutes. x^(i+j) = x^(j+i) because addition of exponents commutes. So every pairwise piece of P · Q matches a piece of Q · P. The sums are identical.

Polynomial commutativity is not a new fact. It is number commutativity lifted one level up.

Worked example

Take P(x) = x + 2 and Q(x) = x² - 1.

Direct expansion of P · Q:

(x + 2)(x² - 1) = x · x² + x · (-1) + 2 · x² + 2 · (-1) = x³ - x + 2x² - 2 = x³ + 2x² - x - 2.

Now flip the order. Expand Q · P:

(x² - 1)(x + 2) = x² · x + x² · 2 + (-1) · x + (-1) · 2 = x³ + 2x² - x - 2.

Identical. The four cross-terms are the same four numbers-times-powers, just listed in a different order.

What about associativity?

Commutativity says you can swap two factors. Associativity says you can regroup three.

(P · Q) · R = P · (Q · R).

Same reason. Each term in the triple product looks like (a_i · b_j · c_k) · x^(i+j+k). Number multiplication is associative, and exponent addition is associative, so the triple product is well-defined no matter how you parenthesise. This is why you write x · x · x = x³ without anyone asking "which two did you multiply first?"

What about distributivity?

Multiplication distributes over addition:

P · (Q + R) = P · Q + P · R.

Also yes. This is the rule you use every time you expand a bracket. It holds for polynomials because each coefficient a_i distributes over (b_j + c_j) term by term.

The three properties together — a commutative ring

When an algebraic structure has addition and multiplication, and both behave this nicely, mathematicians give it a name. The structure is called a commutative ring.

For polynomials in one variable x with real coefficients, here is the full list of what holds:

This is exactly the definition of a commutative ring. The formal name for your object is ℝ[x] — the ring of polynomials in x over the real numbers. Every property you know from integer arithmetic — factorisation, GCDs, long division, the remainder theorem — has a direct analogue here, because the scaffolding is the same.

Where commutativity breaks — matrices

If commutativity is so automatic, why state it as a property? Because there are important objects where it fails.

Matrices are the classic example. For most matrices A and B, AB ≠ BA. Try A = [[0, 1], [0, 0]], B = [[0, 0], [1, 0]]. Then AB = [[1, 0], [0, 0]] but BA = [[0, 0], [0, 1]].

Matrix algebra looks a lot like polynomial algebra, but the shortcut (a + b)(a - b) = a² - b² does not extend to matrices, because that derivation silently uses ab = ba. Polynomials whose coefficients are matrices form a non-commutative ring. So commutativity of ordinary polynomial multiplication is a property inherited from the coefficients you chose. Choose different coefficients and it can disappear.

Useful in practice

Because ℝ[x] is commutative:

Related: is (x + 1)² the same as (x + 1)(x + 1)?

Yes. P² means P · P, and commutativity makes the order irrelevant anyway. Both expand to x² + 2x + 1.

A small trap: is (1 - x)² = (x - 1)²? Yes, because (1 - x) = -(x - 1), and the minus sign squares to a plus. Both equal x² - 2x + 1.

Recognition drill

Each of these is true. Try to see why without computing the full expansion.

Common confusions

"Order never matters at all." Wrong. Order doesn't matter for multiplication and addition. It matters for subtraction (P - Q ≠ Q - P) and division (P / Q ≠ Q / P). Commutativity covers two operations, not everything.

"Commutative means the math is easy." No. The order of factors doesn't change the answer; the actual expansion can still be tedious.

"Everything that looks like a polynomial commutes." No. Polynomials with real or complex coefficients commute. Polynomials whose coefficients are matrices or differential operators generally do not.

Closing

Polynomial multiplication is commutative. It's associative. It distributes over addition. You inherit all three properties directly from the real numbers underneath, term by term. That's why the object ℝ[x] is called a commutative ring — it carries forward the good behaviour of arithmetic into the world of symbolic expressions.

The same niceness that lets you write 3 · 5 = 5 · 3 without thinking is what lets you write (x + 1)(x² - 3) = (x² - 3)(x + 1) without checking. The guarantee runs all the way down.