Assertion: associative algebra | /r/HasAspect | every non-zero element
Facets:
Source sentences:
text: For associative algebras, the definition can be simplified as follows: a non-zero associative algebra over a field is a division algebra if and only if it has a multiplicative identity element 1 and every non-zero element a has a multiplicative inverse (i.e. an element x with ax = xa = 1).