Division ring (source code)

= Division ring
{wiki}

A division ring is a nonzero <ring> in which every nonzero element has a multiplicative inverse. Its multiplication need not be <commutative ring>[commutative].