Assertion: division algebra | /r/CapableOf | arise in this fashion
Facets:
Source sentences:
text: Whenever A is an associative unital algebra over the field F and S is a simple module over A, then the endomorphism ring of S is a division algebra over F; every associative division algebra over F arises in this fashion.