Division Algebra Definition

noun

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

Wiktionary
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.)
Wiktionary