Skip to content

Mathematics · Ch 3 — Matrices

Non-Commutativity and Zero-Divisors in Matrix Multiplication

8

Non-Commutativity and Zero-Divisors in Matrix Multiplication

Matrix Multiplication Is Not Commutative

Unlike addition of matrices and unlike ordinary multiplication of real numbers, matrix multiplication does not, in general, satisfy AB=BAAB=BA -- even when both products are defined and have the same order. This is proved, not merely asserted, by a single concrete counterexample.

Counterexample. Let A=[1234]A=\begin{bmatrix}1&2\\3&4\end{bmatrix} and B=[2013]B=\begin{bmatrix}2&0\\1&3\end{bmatrix} (Example 5). Computing both products by the row-by-column rule of Section 5:

AB=[1⋅2+2⋅11⋅0+2⋅33⋅2+4⋅13⋅0+4⋅3]=[461012],AB=\begin{bmatrix}1\cdot2+2\cdot1 & 1\cdot0+2\cdot3\\3\cdot2+4\cdot1 & 3\cdot0+4\cdot3\end{bmatrix}=\begin{bmatrix}4&6\\10&12\end{bmatrix},

BA=[2⋅1+0⋅32⋅2+0⋅41⋅1+3⋅31⋅2+3⋅4]=[241014].BA=\begin{bmatrix}2\cdot1+0\cdot3 & 2\cdot2+0\cdot4\\1\cdot1+3\cdot3 & 1\cdot2+3\cdot4\end{bmatrix}=\begin{bmatrix}2&4\\10&14\end{bmatrix}.

Comparing entry by entry, AB≠BAAB\neq BA -- for instance the (1,1)(1,1) entries alone already differ (4≠24\neq2). A single such example is enough to disprove commutativity as a general law, since a genuine algebraic law must hold for every pair of matrices, not just some. (Exercise: Matrix Multiplication, Q1--Q2 repeats this check with a fresh pair of matrices.)

Zero-Divisors: A Product Can Vanish Without Either Factor Vanishing

In ordinary arithmetic of real numbers, ab=0ab=0 forces a=0a=0 or b=0b=0 -- there is no way around it. Matrices behave completely differently: it is possible for neither factor to be the zero matrix, yet their product still to be the zero matrix.

Worked example. Let

A=[1000],B=[0001].A=\begin{bmatrix}1&0\\0&0\end{bmatrix},\qquad B=\begin{bmatrix}0&0\\0&1\end{bmatrix}.

Neither AA nor BB is the zero matrix (AA has a 11 in position (1,1)(1,1); BB has a 11 in position (2,2)(2,2)). Yet

AB=[1⋅0+0⋅01⋅0+0⋅10⋅0+0⋅00⋅0+0⋅1]=[0000]=O.AB=\begin{bmatrix}1\cdot0+0\cdot0 & 1\cdot0+0\cdot1\\0\cdot0+0\cdot0 & 0\cdot0+0\cdot1\end{bmatrix}=\begin{bmatrix}0&0\\0&0\end{bmatrix}=O. …