A constructive proof of the Wedderburn-Artin theorem
  In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings. 
Sheng Gao
math.RT