AIHL 1.14.2 Algebra of matrices