Elementary matrix

There are three types of elementary matrices, which correspond to three types of row operations (respectively, column operations):

Row switching

A row within the matrix can be switched with another row.

${\displaystyle R_{i}\leftrightarrow R_{j}}$

Row multiplication

Each element in a row can be multiplied by a non-zero constant. It is also known as scaling a row.

${\displaystyle kR_{i}\rightarrow R_{i},\ {\mbox{where }}k\neq 0}$

Row addition

A row can be replaced by the sum of that row and a multiple of another row.

${\displaystyle R_{i}+kR_{j}\rightarrow R_{i},{\mbox{where }}i\neq j}$

If E is an elementary matrix, as described below, to apply the elementary row operation to a matrix A, one multiplies A by the elementary matrix on the left, EA. The elementary matrix for any row operation is obtained by executing the operation on the identity matrix. This fact can be understood as an instance of the Yoneda lemma applied to the category of matrices.^[1]

The first type of row operation on a matrix A switches all matrix elements on row i with their counterparts on a different row j. The corresponding elementary matrix is obtained by swapping row i and row j of the identity matrix.

${\displaystyle T_{i,j}={\begin{bmatrix}1&&&&&&\\&\ddots &&&&&\\&&0&&1&&\\&&&\ddots &&&\\&&1&&0&&\\&&&&&\ddots &\\&&&&&&1\end{bmatrix}}}$

So T_i,j A is the matrix produced by exchanging row i and row j of A.

Coefficient wise, the matrix T_i,j is defined by :

${\displaystyle [T_{i,j}]_{k,l}={\begin{cases}0&k\neq i,k\neq j,k\neq l\\1&k\neq i,k\neq j,k=l\\0&k=i,l\neq j\\1&k=i,l=j\\0&k=j,l\neq i\\1&k=j,l=i\\\end{cases}}}$

• The inverse of this matrix is itself: ${\displaystyle T_{i,j}^{-1}=T_{i,j}.}$
• Since the determinant of the identity matrix is unity, ${\displaystyle \det(T_{i,j})=-1.}$ It follows that for any square matrix A (of the correct size), we have ${\displaystyle \det(T_{i,j}A)=-\det(A).}$
• For theoretical considerations, the row-switching transformation can be obtained from row-addition and row-multiplication transformations introduced below because ${\displaystyle T_{i,j}=D_{i}(-1)\,L_{i,j}(-1)\,L_{j,i}(1)\,L_{i,j}(-1).}$

The next type of row operation on a matrix A multiplies all elements on row i by m where m is a non-zero scalar (usually a real number). The corresponding elementary matrix is a diagonal matrix, with diagonal entries 1 everywhere except in the ith position, where it is m.

${\displaystyle D_{i}(m)={\begin{bmatrix}1&&&&&&\\&\ddots &&&&&\\&&1&&&&\\&&&m&&&\\&&&&1&&\\&&&&&\ddots &\\&&&&&&1\end{bmatrix}}}$

So D_i(m)A is the matrix produced from A by multiplying row i by m.

Coefficient wise, the D_i(m) matrix is defined by :

${\displaystyle [D_{i}(m)]_{k,l}={\begin{cases}0&k\neq l\\1&k=l,k\neq i\\m&k=l,k=i\end{cases}}}$

• The inverse of this matrix is given by ${\displaystyle D_{i}(m)^{-1}=D_{i}\left({\tfrac {1}{m}}\right).}$
• The matrix and its inverse are diagonal matrices.
• ${\displaystyle \det(D_{i}(m))=m.}$ Therefore, for a square matrix A (of the correct size), we have ${\displaystyle \det(D_{i}(m)A)=m\det(A).}$

The final type of row operation on a matrix A adds row j multiplied by a scalar m to row i. The corresponding elementary matrix is the identity matrix but with an m in the (i, j) position.

${\displaystyle L_{ij}(m)={\begin{bmatrix}1&&&&&&\\&\ddots &&&&&\\&&1&&&&\\&&&\ddots &&&\\&&m&&1&&\\&&&&&\ddots &\\&&&&&&1\end{bmatrix}}}$

So L_ij(m)A is the matrix produced from A by adding m times row j to row i. And A L_ij(m) is the matrix produced from A by adding m times column i to column j.

Coefficient wise, the matrix L_i,j(m) is defined by :

${\displaystyle [L_{i,j}(m)]_{k,l}={\begin{cases}0&k\neq l,k\neq i,l\neq j\\1&k=l\\m&k=i,l=j\end{cases}}}$

• These transformations are a kind of shear mapping, also known as a transvections.
• The inverse of this matrix is given by ${\displaystyle L_{ij}(m)^{-1}=L_{ij}(-m).}$
• The matrix and its inverse are triangular matrices.
• ${\displaystyle \det(L_{ij}(m))=1.}$ Therefore, for a square matrix A (of the correct size) we have ${\displaystyle \det(L_{ij}(m)A)=\det(A).}$
• Row-addition transforms satisfy the Steinberg relations.

• Gaussian elimination
• Linear algebra
• System of linear equations
• Matrix (mathematics)
• LU decomposition
• Frobenius matrix