division algebra

noun2

1. •
   A linear algebra such that its non-zero vectors form a multiplicative group.
2. •
   An algebra over a field such that every non-zero element of it has a multiplicative inverse. (It is not required to have a unity element.)