A semisimple ring is a finite direct product of full matrix rings over division rings
Link: https://en.wikipedia.org/wiki/Artin%E2%80%93Wedderburn_theorem