division algebra

(algebra) A linear algebra such that its non-zero vectors form a multiplicative group.

(algebra) 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.)