Finite division rings are commutative: Every finite division ring is commutative; equivalently, every finite division ring is a field.

Remarks

This is the standard corollary of , which asserts that any finite has commutative multiplication. Thus a finite division ring is a .