# Property: division ring

Definition: all nonzero elements are units

• passes to $eRe$ for any full idempotent $e$