Matrices: Edge Cases and Subtle Traps (7)

easy 2 min read

Question

If AA and BB are 2×22 \times 2 matrices with AB=OAB = O (the zero matrix), does it follow that A=OA = O or B=OB = O? Many students answer “yes”. What’s the actual situation?

Solution — Step by Step

Take A=(1000)A = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} and B=(0010)B = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}.

AB=(10+0110+0000+0100+00)=(0000)AB = \begin{pmatrix} 1\cdot 0 + 0\cdot 1 & 1\cdot 0 + 0\cdot 0 \\ 0\cdot 0 + 0\cdot 1 & 0\cdot 0 + 0\cdot 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}

AB=OAB = O but neither AA nor BB is the zero matrix. So the implication fails for matrices.

The conclusion: AB=OAB = O does not imply A=OA = O or B=OB = O. Matrices have zero divisors.

Why This Works

For real numbers, ab=0ab = 0 means a=0a = 0 or b=0b = 0. This works because reals form a field — no zero divisors. Matrices form a ring but not a field, and rings can have zero divisors. The example above is the standard one.

If AA is invertible, then AB=O    B=A1O=OAB = O \implies B = A^{-1}O = O. So the implication does hold when one of the matrices is invertible. The failure happens specifically for singular (non-invertible) matrices.

Alternative Method

Use determinants. If AB=OAB = O, then det(A)det(B)=0\det(A)\det(B) = 0, so at least one of AA, BB has determinant zero — i.e. is singular. But singular doesn’t mean zero. Same conclusion.

Thinking matrices behave like numbers. They don’t:

  • ABBAAB \ne BA in general.
  • AB=OAB = O doesn’t force A=OA = O or B=OB = O.
  • A2=OA^2 = O doesn’t force A=OA = O.

Common Mistake

Carrying scalar intuition into matrix algebra. The fix: whenever you “divide” by a matrix, ask whether it’s invertible. If not, you can’t divide. JEE Advanced loves this — singular-matrix traps appear almost every year.

Want to master this topic?

Read the complete guide with more examples and exam tips.

Go to full topic guide →

Try These Next