I have read (on Wikipedia, and also on this site) that one can represent linear maps between finite-dimensional modules over division rings by matrices as in the commutative case, but I have never seen the details.
Could anyone tersely explain this very interesting formalism ?