Assertion: commutative algebra | /r/HasProperty | finite-dimensional
Facets:
value: necessarily
type: DEGREE
Source sentences:
text: Thus, a semisimple algebra over a field is necessarily finite-dimensional, while a simple algebra may have infinite dimension, for example, the ring of differential operators.