Let be a ring.
The matrix algebra over is a free -bimodule with decomposition module
where
is an -bimodule consisting of rectangular arrays with entries in
and addition and scalar multiplication defined pointwise.
Given and
we define the matrix product
which may be extended to the whole of by defining for .