Assertion: matrix ring | /r/HasProperty | semisimple
Facets:
Source sentences:
text: A matrix ring over a division ring is semisimple (actually simple).