Question: what is the algebraic definition of division?
Answer: A division algebra, also called a "division ring" or "skew field," is a ring in which every nonzero element has a multiplicative inverse, but multiplication is not necessarily commutative. ... In French, the term "corps non commutatif" is used to mean division algebra, while "corps" alone means field.