In the following, the square matrix algebra is defined as extensible structure . In this subsection, however, only square matrices and their basic properties are regarded. This includes showing that is a left module, see matlmod. That is a ring and an associative algebra is shown in the next subsection, after theorems about the identity matrix are available. Nevertheless, is called "matrix ring" or "matrix algebra" already in this subsection.