Assertion: ring | /r/HasProperty | semisimple
Facets:
value: as right module
type: MANNER
Source sentences:
text: A ring is called a semisimple ring if it is semisimple as a left module (or right module) over itself, that is, a direct sum of simple modules.
text: A ring is semisimple if and only if it is artinian and is semiprimitive.