• (mathematics) is a ring in which every nonzero element has a multiplicative inverse but multiplication is not necessarily commutative (abstract algebra)