Definition of division algebra:
(n) :
(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.)
(n) :
(algebra) A linear algebra such that its non-zero vectors form a multiplicative group.