¿Es necesario demostrar que este conjunto es cerrado bajo multiplicación de la matriz, existe una mejor manera que hacerlo a través de una tabla de Cayley? O más bien supongo que hay y apenas no puedo conseguir mi cabeza alrededor de él. Cualquier ayuda sería mucho apreció.
$\begin{gather*} M= \left\{ \begin{bmatrix} 0 & 1\\ 1 & 0 \end{bmatrix}\begin{bmatrix} 0 & -1\\ -1 & 0 \end{bmatrix}\begin{bmatrix} 1 & 0\\ 0 & 1 \end{bmatrix}, \begin{bmatrix} -1 & 0\\ 0 & -1 \end{bmatrix}\begin{bmatrix} 0 & 1\\ -1 & 0 \end{bmatrix}\begin{bmatrix} 0 & -1\\ 1 & 0 \end{bmatrix}\begin{bmatrix} 1 & 0\\ 0 & -1 \end{bmatrix}\begin{bmatrix} -1 & 0\\ 0 & 1 \end{bmatrix} \right\}\\ \end{gather*}$