Matrix algebra over a ring

Matrix over a module

Let be a (left) -module. The matrix space is the (left) -module #m/def/module

consisting of rectangular arrays and acted on the matrix algebra so that for and we have

In particular, is a (left) module.

Properties


#state/develop | #lang/en | #SemBr