The main result of this subsection are the theorems showing that is a ring (see matring) and an associative algebra (see matassa). Additionally, theorems for the identity matrix and transposed matrices are provided.