アルティン環
By the Artin–Wedderburn theorem, a unital Artinian ring "R" is semisimple if and only if it is (isomorphic to) formula_2, where each formula_3 is a division ring and formula_4 is the ring of "n"-by-"n" matrices with entries in "D".