Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section5.4Matrix Oddities

We have seen that matrix algebra is similar in many ways to elementary algebra. Indeed, if we want to solve the matrix equation \(A X = B\) for the unknown \(X\), we imitate the procedure used in elementary algebra for solving the equation \(a x = b\). Notice how exactly the same properties are used in the following detailed solutions of both equations.

Equation in the real algebra Equation in matrix algebra
\(a x = b\) \(A X = B\)
\(a^{-1}(a x) =a^{-1}b\) if \(a \neq 0\) \(A^{-1}(A X) = A^{-1}B\) if \(A^{-1 }\) exists
\(\left(a^{-1} a\right)x = a^{-1} b\) Associative Property \(\left(A^{-1} A\right)X = A^{-1} B\)
\(1x = a^{-1} b\) Inverse Property \(I X = A^{-1} B\)
\(x = a^{-1} b\) Identity Property \(X = A^{-1} B\)

Certainly the solution process for \(A X = B\) is the same as that of \(a x = b\).

The solution of \(x a = b\) is \(x = b a^{-1} = a^{-1}b\). In fact, we usually write the solution of both equations as \(x =\frac{b}{a}\). In matrix algebra, the solution of \(X A = B\) is \(X = B A^{-1}\) , which is not necessarily equal to \(A^{-1} B\). So in matrix algebra, since the commutative law (under multiplication) is not true, we have to be more careful in the methods we use to solve equations.

It is clear from the above that if we wrote the solution of \(A X = B\) as \(X=\frac{B}{A}\), we would not know how to interpret \(\frac{B}{A}\). Does it mean \(A^{-1} B\) or \(B A^{-1}\)? Because of this, \(A^{-1}\) is never written as \(\frac{1}{A}\).

Observation5.4.1Matrix Oddities

Some of the main dissimilarities between matrix algebra and elementary algebra are that in matrix algebra:

  1. \(A B\) may be different from \(B A\).

  2. There exist matrices \(A\) and \(B\) such that \(A B = \pmb{0}\), and yet \(A\neq \pmb{0}\) and \(B\neq \pmb{0}\).

  3. There exist matrices \(A\) where \(A \neq \pmb{0}\), and yet \(A^2 = \pmb{0}\).

  4. There exist matrices \(A\) where \(A^2=A\) with \(A\neq I\) and \(A\neq \pmb{0}\)

  5. There exist matrices \(A\) where \(A^2=I\), where \(A\neq I\) and \(A\neq -I\)



Discuss each of the “Matrix Oddities” with respect to elementary algebra.


Determine \(2\times 2\) matrices which show that each of the “Matrix Oddities” are true.


Prove the following implications, if possible:

  1. \(A^2= A\) and \(\det A \neq 0 \Rightarrow A =I\)

  2. \(A^2 = I \textrm{ and } \det A \neq 0 \Rightarrow A = I \textrm{ or } A = -I\).


Let \(M_{n\times n}(\mathbb{R})\) be the set of real \(n\times n\) matrices. Let \(P \subseteq M_{n\times n}(\mathbb{R})\) be the subset of matrices defined by \(A \in P\) if and only if \(A^2 = A\). Let \(Q \subseteq P\) be defined by \(A\in Q\) if and only if \(\det A \neq 0\).

  1. Determine the cardinality of \(Q\).

  2. Consider the special case \(n = 2\) and prove that a sufficient condition for \(A \in P \subseteq M_{2\times 2}(\mathbb{R})\) is that \(A\) has a zero determinant (i.e., \(A\) is singular) and \(tr(A) = 1\) where \(tr(A) = a_{11}+ a _{22}\) is the sum of the main diagonal elements of \(A\).

  3. Is the condition of part b a necessary condition?


Write each of the following systems in the form \(A X = B\), and then solve the systems using matrices.

  1. \(\begin{array}{c}2x_1+x_2=3\\ x_1-x_2= 1\\ \end{array}\)

  2. \(\begin{array}{c}2x_1-x_2=4\\ x_1 -x_2= 0\\ \end{array}\)

  3. \(\begin{array}{c}2x_1+x_2=1\\ x_1 -x_2= 1\\ \end{array}\)
  4. \(\begin{array}{c}2x_1+x_2=1\\ x_1 -x_2= -1\\ \end{array}\)

  5. \(\begin{array}{c}3x_1+2x_2=1 \\ 6 x_1 +4x_2= -1\\ \end{array}\)


Recall that \(p(x) = x^2- 5x + 6\) is called a polynomial, or more specifically, a polynomial over \(\mathbb{R}\), where the coefficients are elements of \(\mathbb{R}\) and \(x \in \mathbb{R}\). Also, think of the method of solving, and solutions of, \(x^2- 5x + 6= 0\). We would like to define the analogous situation for \(2\times 2\) matrices. First define where \(A\) is a \(2\times 2\) matrix \(p(A) = A^2 - 5A + 6I\). Discuss the method of solving and the solutions of \(A^2 - 5A + 6I=\pmb{0}\).


For those who know calculus:

  1. Write the series expansion for \(e^a\) centered around \(a=0\).

  2. Use the idea of exercise 6 to write what would be a plausible definion of \(e^A\) where \(A\) is an \(n \times n\) matrix.

  3. If \(A=\left( \begin{array}{cc} 1 & 1 \\ 0 & 0 \\ \end{array} \right)\) and \(B =\left( \begin{array}{cc} 0 & -1 \\ 0 & 0 \\ \end{array} \right)\) , use the series in part (b) to show that \(e^A= \left( \begin{array}{cc} e & e-1 \\ 0 & 1 \\ \end{array} \right)\)and \(e^B= \left( \begin{array}{cc} 1 & -1 \\ 0 & 1 \\ \end{array} \right)\).

  4. Show that \(e^Ae^B\neq e^Be^A\).

  5. Show that \(e^{A+B}= \left( \begin{array}{cc} e & 0 \\ 0 & 1 \\ \end{array} \right)\).

  6. Is \(e^Ae^B=e^{A+B}\)?