A ring which meets all the axioms of being a field but not necessarily the requirement that multiplication is commutative (i.e. axioms (i)–(x) but not necessarily (vii)). Also called a skew field. Finite division rings are fields.