# Subsemigroup/Examples/2x2 Matrices with One Non-Zero Entry

## Example of Subsemigroup

Let $\struct {S, \times}$ be the semigroup formed by the set of order $2$ square matrices over the real numbers $R$ under (conventional) matrix multiplication.

Let $T$ be the subset of $S$ consisting of the matrices of the form $\begin{bmatrix} x & 0 \\ 0 & 0 \end{bmatrix}$ for $x \in \R$.

Then $\struct {T, \times}$ is a subsemigroup of $\struct {S, \times}$.

## Proof

From the Subsemigroup Closure Test it is sufficient to demonstrate that $\struct {T, \times}$ is closed.

Let $A = \begin{bmatrix} x & 0 \\ 0 & 0 \end{bmatrix}$ and $B = \begin{bmatrix} y & 0 \\ 0 & 0 \end{bmatrix}$.

Then:

 $\ds A B$ $=$ $\ds \begin{bmatrix} x & 0 \\ 0 & 0 \end{bmatrix} \begin{bmatrix} y & 0 \\ 0 & 0 \end{bmatrix}$ $\ds$ $=$ $\ds \begin{bmatrix} x y + 0 \times 0 & x \times 0 + 0 \times 0 \\ 0 \times y + 0 \times 0 & 0 \times 0 + 0 \times 0 \end{bmatrix}$ Definition of Matrix Product (Conventional) $\ds$ $=$ $\ds \begin{bmatrix} x y & 0 \\ 0 & 0 \end{bmatrix}$ $\ds$ $\in$ $\ds T$

Hence the result.

$\blacksquare$