All the other axioms remain the same, except we no longer require commutative multiplication.
The most important skew field is the quaternions, mentioned next. Waring showed that
there were no finite skew fields that weren’t fields (a difficult proof).