A constructive proof of the Wedderburn-Artin theorem
Sheng Gao
Abstract
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.