Assertion: k algebra | /r/HasProperty | central
Facets:
value: for a field
type: OTHER
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.