Assertion: k algebra | /r/HasProperty | simple ring
Facets:
Source sentences:
text: For a field k, a k-algebra is central if its center is k and is simple if it is a simple ring.