Finite division rings are commutative

By Wedderburn's little theorem, every finite division ring is a field.
Finite division rings are commutative

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

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