Jacobson himself has defined a ring to be "semisimple" if and only if it is a subdirect product of simple rings, (Jacobson 1989, pp.  203).
ジャコブソン自身は"半単純環"を単純環の subdirect product として定義した(Jacobson 1989, pp.  203)。